0001 #include "_share/util.h"
0002 #include "UniPrint/print.h"
0003 
0004 #define output(x) printf("%c", (x))
0005 void convert(uint64_t, int);