#include <stdint.h>

#define UINT32_C(__value)                           ((uint_least32_t)__value##U)

/*
STDC(199901)
*/