Close a previously successfully opened file. The argument of the command is the file number that was used in the command OPEN to open the file.
If the file number is not associated with a successfully opened file then error is raised.