/* std.h */

typedef unsigned char int8;
typedef unsigned short int int16;
typedef unsigned _BitInt(1) boolean;

#define $1 (int8 *)
#define $2 (int16)
#define false 0
#define true  1
#define printf(args...) _printf16(args)

void _printf16(const int8*,...);
void putchar16(const int8);