12 uint64 uint64_div10(uint64 x, int *remainder);
13 void uint64_decimal(uint64 x, char *buffer);
14 uint64 uint64_make(unsigned long hi, unsigned long lo);
15 uint64 uint64_add(uint64 x, uint64 y);
16 uint64 uint64_add32(uint64 x, unsigned long y);
17 int uint64_compare(uint64 x, uint64 y);