#include <inttypes.h>
#define PRIX8                                                              "hhX"

/*
STDC(199901)
*/