8 typedef struct counter64 U64;
12 void divBy10(U64, U64 *, unsigned int *);
13 void multBy10(U64, U64 *);
14 void incrByU16(U64 *, unsigned int);
15 void incrByU32(U64 *, unsigned int);
18 void printU64(char *, U64 *);
19 void printI64(char *, U64 *);
20 int read64(U64 *, const char *);
21 void u64Subtract(U64 * pu64one, U64 * pu64two,