#include <stdint.h>
#define INTMAX_MIN                                           (-INTMAX_MAX - 1LL)

/*
STDC(199901)
*/