fn tricky(x: i32, y: i32) -> i32
  zero = constant(i32, 0)
  xx = add(x, zero)
  a = add(xx, y)
  b = add(x, y)
  bb = add(zero, b)
  c = add(a, bb)
  r = return(start, c)