#include <stdint.h>
typedef unsigned short int                                        uint_fast16_t;

/*
STDC(199901)
*/