extern exit extern string_length extern string_copy extern string_equals extern print_char extern print_newline extern print_uint extern print_int extern read_char extern read_word extern parse_uint extern parse_int
extern print_to_descriptor
