// io.int print(s: string) // output the string s to the standard output device printi(i: int) // output the integer i as a formatted integer to standard // output. Equivalent to print(itos(i)) putc(c: int) // output the character whose ASCII value is c to standard output readln( ): string // read a line from the standard input device getc( ): int // read a single character from standard input eof(): bool // return whether the end of file has been reached on standard input