static VImage binfile( char*, int, int, int, int ); VImage cache( int, int, int ); int header_int( char* ); double header_double( char* ); char* header_string( char* );