#include <inttypes.h>
#define PRIX16                                                              "hX"

/*
STDC(199901)
*/