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);