/* tsystem.h */
#define ATTRIBUTE_UNUSED

extern void abort (void) __attribute__ ((noreturn));