typedef int8_t          int1;
typedef int16_t         int2;
typedef int32_t         int4;
typedef int64_t         int8;
typedef uint8_t         nat1;
typedef uint16_t        nat2;
typedef uint32_t        nat4;
typedef uint64_t        nat8;