/*1:*/
#line 17 "./mytypes.w"

typedef long SInt32;
typedef unsigned long UInt32;
typedef short SInt16;
typedef unsigned short UInt16;
typedef char SInt8;
typedef unsigned char UInt8;
typedef unsigned char Boolean;
#define true 1
#define false 0

void abort_message(char*s);
#line 2 "./temp.w"




/*:1*/