#include <stdint.h>
#define UINT_LEAST16_MAX                                                 (65535)

/*
STDC(199901)
*/