#include <stdint.h>
#define UINT16_C(value)                                  ((uint_least16_t)value)

/*
STDC(199901)
*/