I/O parameter: file