#include <inttypes.h>
#define PRIxMAX                                                            "llx"

/*
STDC(199901)
*/