#include <inttypes.h>
#define PRIiLEAST16                                                         "hi"

/*
STDC(199901)
*/