#line 1 "-"
#line 1 "test/var.g"
fun main() -> int@ {
  let x = 2; let y = 3;
  return x + y - 5;
}