#include <stdio.h>
main () {
  int variavel;
  variavel = 2000000000;
  printf ("%d\n", variavel);
  variavel = variavel * 2;
  printf ("%d\n", variavel);
}