#include <stdint.h>
typedef long int                                                  int_least32_t;

/*
STDC(199901)
*/