The Pascal compiler company
6.6.5.2 It is an error if the file is undefined immediately prior to any use of put, write, writeln or page.
In other words, it is an error to perform output on a file which does not exist.
This error is reported if I/O checking is enabled.