7 extern uint16_t read_uint16_bigendian( FILE * file )
10 x = (uint16_t) fgetc(file) << 8;
11 x = x + (uint16_t) fgetc(file);
15 extern uint32_t read_uint32_bigendian( FILE * file )
18 x = (uint32_t) fgetc(file) << 24;
19 x = x + ( (uint32_t) fgetc(file) << 16 );
20 x = x + ( (uint32_t) fgetc(file) << 8 );
21 x = x + (uint32_t) fgetc(file);
25 extern void write_uint16_bigendian( uint16_t x, FILE * file )
27 fputc( x >> 8, file );
28 fputc( x & 0xFF, file );
31 extern void write_uint32_bigendian( uint32_t x, FILE * file )
33 fputc( x >> 24, file);
34 fputc( ( x >> 16 ) & 0xFF, file);
35 fputc( ( x >> 8 ) & 0xFF, file);
36 fputc( x & 0xFF, file);