#include <inttypes.h>
#define PRIXFAST64                                                         "llX"

/*
STDC(199901)
*/