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

/*
STDC(199901)
*/