int Stdio.file_size(string filename)
Give the size of a file. Size -1 indicates that the file either does not exist, or that it is not readable by you. Size -2 indicates that it is a directory.
file_stat, Stdio.write_file, Stdio.read_bytes
Stdio.file_equal()