#include <inttypes.h>
#define SCNdFAST16                                                          "hd"

/*
STDC(199901)
*/