-int print_character(FILE *file, char c) {
-int print_character_stdout(char c) { // Wrapper around print_character
- return_value = print_character(stdout, c);
-int print_string(FILE *file, string s) { // Wrapper around print_character
- feed_characters(s, print_character);
-int print_string_stdout(string s) { // Wrapper around print_string
- return_value = print_string(stdout, s);
-int print_error_string(string s) { // Wrapper around print_string
- return_value = print_string(stderr, s);
-int printInteger(int x) {
- print_character_stdout('\n');