#include <inttypes.h>
#if WORD_BIT == 64
#define PRIXPTR                                                            "llX"
#else
#define PRIXPTR                                                             "lX"
#endif

/*
STDC(199901)
*/