extern unsigned long long zero_int63();

extern unsigned long long one_int63();

extern unsigned long long add_int63(unsigned long long *, unsigned long long, unsigned long long);

extern unsigned long long print_int63(unsigned long long *, unsigned long long);

extern void print_new_line(unsigned long long);
