#include	<stdint.h>
typedef long            ER;
typedef long            ER_INT;

/* typedef long		intptr_t; */
typedef int		int_t;
typedef unsigned char   char_t;

typedef unsigned char   bool_t;

typedef double          double64_t;
typedef float           float32_t;

/*
typedef signed long   int32_t;
typedef signed short  int16_t;
typedef signed char   int8_t;

typedef unsigned long   uint32_t;
typedef unsigned short  uint16_t;
typedef unsigned char   uint8_t;


  int64_t, uint64_t, int128_t, uint128_t ga
*/