extern static void THDiskFile_bigEndianEncoding(File.HType self);
extern static void THDiskFile_noBuffer(File.HType self);
extern static string THDiskFile_name(File.HType self);
extern static void THDiskFile_longSize(File.HType self, int size);