#include <stddef.h>
#include <fcntl.h>
#include <errno.h>
#include <stdio.h>
#include <sys/types.h>
#include <sys/stat.h>
#include <ctype.h>
#include <string.h>
#include <sys/file.h>
#include <alloca.h>
#include <stdlib.h>

/* Make the basic types 64-bit quantities on the host */
#define	HOST_64_BIT	long 

typedef unsigned  long uint64e_type;
typedef unsigned  long uint64_type;
typedef  long int64_type;

#define BYTES_IN_PRINTF_INT 4

/* 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"