bool true = 0 == 0; bool false = 0 != 0; void exit( int value; ); void print( ^char s; ); void vsprintf( ^char dest, s; ^^char args; ); void sprintf( ^char dest, s; ... ) begin vsprintf( dest, s, &s + 1 ); end void printf( ^char s; ... ) begin [ 200 ] char dest; vsprintf( dest, s, &s + 1 ); print( dest ); end