#include <stdint.h>
typedef signed char                                                int_least8_t;

/*
STDC(199901)
*/