unsigned char b = fgetc(file);
   return (a * uchar_s) + b; }
 
-extern void write_uint16_bigendian(uint16_t x, FILE * file) {
-// Write uint16 to file in beg-endian order.
-  unsigned char a = x / uchar_s;
-  unsigned char b = x % uchar_s;
-  fputc(a, file);
-  fputc(b, file); }
-
 extern uint32_t read_uint32_bigendian(FILE * file) {
 // Read uint32 from file in big-endian order.
   unsigned char a = fgetc(file);
   unsigned char d = fgetc(file);
   return (a * uchar_s * uchar_s * uchar_s) + (b * uchar_s * uchar_s) + (c * uchar_s) + d; }
 
+extern void write_uint16_bigendian(uint16_t x, FILE * file) {
+// Write uint16 to file in beg-endian order.
+  unsigned char a = x / uchar_s;
+  unsigned char b = x % uchar_s;
+  fputc(a, file);
+  fputc(b, file); }
+
 extern void write_uint32_bigendian(uint32_t x, FILE * file) {
 // Write uint32 to file in beg-endian order.
   unsigned char a = x / (uchar_s * uchar_s * uchar_s);
 
 #include <stdint.h>
 
 extern uint16_t read_uint16_bigendian(FILE * file);
-extern void write_uint16_bigendian(uint16_t x, FILE * file);
 extern uint32_t read_uint32_bigendian(FILE * file);
+extern void write_uint16_bigendian(uint16_t x, FILE * file);
 extern void write_uint32_bigendian(uint32_t x, FILE * file);
 
 #endif