+ uint32_t x;
+ get_bytes (f, &x, sizeof x);
+#ifdef WORDS_BIGENDIAN
+ *v = bswap_32 (x);
+#else
+ *v = x;
+#endif
+}
+
+/* Read a 16 bit value from F */
+static void
+get_u16 (FILE *f, uint16_t *v)
+{
+ uint16_t x;
+ get_bytes (f, &x, sizeof x);
+#ifdef WORDS_BIGENDIAN
+ *v = bswap_16 (x);
+#else
+ *v = x;
+#endif