11.6.1.1520
FILE-POSITION
 
FILE
 
( fileid -- ud ior )

ud is the current file position for the file identified by fileid. ior is the implementation-defined I/O result code. ud is undefined if ior is non-zero.