"Filesize returns the total number of records in file F. It cannot be invoked with a file of type Text. (under linux and unix, this also means that it cannot be invoked on pipes). If F is empty, 0 is returned."
It also returns zero if the file is untyped, i.e. hasn't been declared with "of byte" etc.
