Available since: Gideros 2011.6
Equivalent to [[[file:close]]]. Without a file, closes the default output file.
io.close(file)
file: (file) file object to close optional