#ifndef _ASSERT_H_
#define _ASSERT_H_

/* Assert implementation with ideas from X++ by Sommerfeld, et al */

extern int __fail_line;
/*  next line was : #ifdef __SABER__ */
#ifdef __STDC__
extern const char *__fail_file;
extern const char *__fail_assertion;
#else
extern char *__fail_file;
extern char *__fail_assertion;
#endif


#ifndef          NDEBUG
#ifdef                              _HC2_
#include <stdio.h>
#define _assert(ex)	{if (!(ex)){fprintf(stderr,"Assertion failed: file \"%s\", line %d\n", __FILE__, __LINE__);exit(1);}}
#define assert(ex)	_assert(ex)

#else                            /* _HC2_ */

#ifdef      __STDC__

extern int write(int, const char *, int);
#ifdef              __GNUC__
extern volatile void abort(void);
#else            /* __GNUC__ */
extern void abort(void);
#endif           /* __GNUC__ */

#define __assert_line(line) #line
#define __assert_string(expression, lineno, fname) "Assertion failed: file " fname ": line " __assert_line(lineno) ": " #expression "\n"
#else    /* __STDC__ */
extern int write();
extern void abort();
#define __assert_string(expression, lineno, fname) "Assertion failed: expression\n"
#endif   /* __STDC__ */

#define assert(expression) {if(!(expression)) { \
     __fail_line=__LINE__;__fail_file=__FILE__; \
     __fail_assertion=__assert_string(expression, __LINE__, __FILE__); \
     (void)write(2,__fail_assertion, \
		 sizeof(__assert_string(expression, __LINE__, __FILE__))); \
     abort();}}

#endif                            /* _HC2_ */

#else   /* ifndef NDEBUG */
#define assert(expression) {}
#endif         /* NDEBUG */

#endif