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)