+#include <stddef.h>
#include <fcntl.h>
#include <errno.h>
#include <stdio.h>
#define BYTES_IN_PRINTF_INT 4
-#define uint64_typeLOW(x) (uint32_type)(((x) & 0xffffffff))
-#define uint64_typeHIGH(x) (uint32_type)(((x) >> 32) & 0xffffffff)
+/* These must have type unsigned long because they are used as
+ arguments in printf functions. */
+#define uint64_typeLOW(x) ((unsigned long) (((x) & 0xffffffff)))
+#define uint64_typeHIGH(x) ((unsigned long) (((x) >> 32) & 0xffffffff))
+
#include "fopen-same.h"