file_size
file_size — gives the file size.
file_size (filename)
filenameA file name as a string, as defined by the operating system.
The size of the file in bytes if the file exists and is readable, else
nil.
Gamma>file_size("myfile.dat");1467Gamma>file_size("non_existing.file");nilGamma>file_size("unreadable.file");nilGamma>