void junk_file_pointer() { int_field_put(file_pointer_offset(), -1); }
void BufferedFile::set_file_pointer(OsFile_Handle val) { int_field_put(file_pointer_offset(), (int)val); }
OsFile_Handle file_pointer() { return (OsFile_Handle)int_field(file_pointer_offset()); }