// 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

// The following definitions are Iota+ code only

interface OutputStream {
    print(s: string)
	// output the string s
    putc(c: int)
	// output the character whose ASCII value is c
    flush()
        // make sure any pending output is flushed
}

interface InputStream {
    readln(): string
	// read a line from the input
    getc(): int
	// read a single character from the input
    eof(): bool
	// return whether the end of file has been reached on the input
}

stdout: OutputStream
stdin: InputStream