#include <stdint.h>
#define UINT_LEAST32_MAX                                           (4294967295U)

/*
STDC(199901)
*/