#include <stdio.h>
int main (int argc, char **argv) {
  int x, y;
  x = 20, y = 10;
  printf("%d+%d=%d\n", x, y, x+y);
  /* Set the break point here and change value of x from gdb */
  printf("%d*%d=%d\n", x, y, x*y);
   /* Set the break point here and change value of y from gdb */
  printf("%d/%d=%d\n", x, y, x/y);
  return 0;
}