demo_func_filesystem_filesize.php: