#include <inttypes.h>
#define SCNxFAST32                                                          "lx"

/*
STDC(199901)
*/