Stdio.file_size()