#include <inttypes.h>
#define PRIuLEAST64                                                        "llu"

/*
STDC(199901)
*/