void print_int(int value);
void println_int(int value);
//void print_float(float value);
//void print_double(double value);
void print_string(char * value);
void as_exit(int code);