1
2
3
4
5
6
7
8
9
#include <stdio.h>
#include <stdint.h>
#include <inttypes.h>

uint64_t
foo(uint64_t a, uint64_t b)
{
    return a+b;
}