···106106stdio:
107107 Output is written to a file. Input is read from a file.
108108109109+ append=[0|1]
110110+ If true, open the output file for appending instead of
111111+ truncating it.
112112+109113 file=<filename>
110114 Set the output file name.
111115