int foo(int x) {
  if ((x+3)*4 == 20) {
    return 14;
  }
  else {
    return x*7;
  }
}