/* XDS v2.51: Copyright (c) 1999-2003 Excelsior, LLC. All Rights Reserved. */
/* Generated by XDS Modula-2 to ANSI C v4.20 translator */

#ifndef TERMINATION_H_
#define TERMINATION_H_
#ifndef X2C_H_
#include "X2C.h"
#endif

extern X2C_BOOLEAN TERMINATION_IsTerminating(void);

extern X2C_BOOLEAN TERMINATION_HasHalted(void);


extern void TERMINATION_BEGIN(void);


#endif /* TERMINATION_H_ */
