#include <stdio.h>
main () {
  int variavel;
  variavel = 2147483647;
  printf ("%d\n", variavel);
  variavel = variavel + 1;
  printf ("%d\n", variavel);
}