int64_t getui_val;
void
getui()
{
/*
reads in an unsigned 64-bit integer and stores it in the global
variable getui_val
*/
}
//------------------------------------------------------------------------------
int64_t putui_val;
void
putui()
{
/*
prints the unsigned 64-bit integer global variable putui_val
*/
}
//------------------------------------------------------------------------------
void
main()
{
uint64_t a, b;
getui();
a = getui_val;
getui();
b = getui_val;
b = a+b;
putui_val = b;
putui();
}