#include <inttypes.h>
#define SCNx8                                                              "hhx"

/*
STDC(199901)
*/