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

int main(void) {
  int i1, i2;
  i1 = INT32_MAX;
  i2 = 1;
  i1 = i1 + i2;
  printf("i1 + i2: %d\n", i1);
}