#include <inttypes.h>
#define SCNx16                                                              "hx"

/*
STDC(199901)
*/