#line 1 "-"
#line 1 "test/lambda.g"
fun id(int a) -> int { return a; }

fun main() -> int@ {
  let w = 2;
  let z = 2;
  let f = fun(int x) z : id(x) - z;
  let r1 = f(w);
  let g = fun(int x) y=z : id(x) - y;
  let r2 = g(w);
  return r1 + r2;
}