#include <stdint.h>
#define INT_FAST8_MAX                                                      (127)

/*
STDC(199901)
*/