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

/*
STDC(199901)
*/