#include <stdint.h>
#define UINT8_MAX                                                          (255)

/*
STDC(199901)
*/