-void write_uint32_bigendian(uint32_t x, FILE * file) {
-// Write uint32 to file in beg-endian order.
- unsigned char a = x / (UCHARSIZE * UCHARSIZE * UCHARSIZE);
- unsigned char b = (x - (a * UCHARSIZE * UCHARSIZE * UCHARSIZE)) / (UCHARSIZE * UCHARSIZE);
- unsigned char c = (x - ((a * UCHARSIZE * UCHARSIZE * UCHARSIZE) + (b * UCHARSIZE * UCHARSIZE))) / UCHARSIZE;
- unsigned char d = x % UCHARSIZE;
+extern void write_uint32_bigendian(uint32_t x, FILE * file) {
+ unsigned char a = x / (uchar_s * uchar_s * uchar_s);
+ unsigned char b = (x - (a * uchar_s * uchar_s * uchar_s)) / (uchar_s * uchar_s);
+ unsigned char c = (x - ((a * uchar_s * uchar_s * uchar_s) + (b * uchar_s * uchar_s))) / uchar_s;
+ unsigned char d = x % uchar_s;