1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
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();
}