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

/*
STDC(199901)
*/