io.output ([file])
Similar to
io.input
, but operates over the default output file.