#include <stdint.h>
typedef unsigned char                                              uint_fast8_t;

/*
STDC(199901)
*/