uint32_t filesize(FILE * f);