demo_func_filesystem_file_exists.php: