std :: io_file
#include <std/io_file.h> source ยท definition
#include <std/io_file.h>
long long file_size(&File f)