#include <stdio.h>
#include <stdlib.h>

int sum(int a, int b) { return a + b; }

int main() {
  int x = 2147483647;
  int y = 2;
  int z = x + sum(y, y);

  printf("z = %d\n", z);

  return 0;
}