#include <cstdio>
#define INT_MAX 2147483647

int main() {
  int a = INT_MAX;
  printf("a: %d\n", a);
  printf("a + 1: %d\n", a + 1);
  int b = 100;
  printf("b: %d\n", b * 3);
}