add-02.c

#include <stdio.h>
#include <stdint.h>
#include <inttypes.h>

int main (void)
{
  uint64_t x = 5000000000;
  uint64_t y = 6000000000;
  uint64_t z = x + y;
  printf ("%" PRIu64 "\n", z);
  return 0;
}