#include <inttypes.h>
#define SCNd64                                                             "lld"

/*
STDC(199901)
*/