Re: Stdio.file_size()