IO Module
io.write(s: string)
Writes s
to stdout.
io.flush()
Flushes stdout.
io.stdin(): stdin
Returns the stdin user-object.
io.stdout(): stdout
Returns the stdout user-object.
io.stderr(): stderr
Returns the stderr user-object.