#include <inttypes.h>
#define PRIXLEAST32                                                         "lX"

/*
STDC(199901)
*/