procedure filesize: file size
link filesize July 9, 1998; Ralph E. Griswold This file is in the public domain.
filesize(s) returns the number of characters in the file named s; it fails if s cannot be opened.