#include <stdint.h>
#define INT8_MIN                                                          (-128)

/*
STDC(199901)
*/