#line 1 "-"
#line 1 "test/fun.g"
fun times2(int x) -> int@ {
  return 2 * x; 
}

fun times3(int x) -> int@ {
  return 3 * x; 
}

fun main() -> int@ {
  return times2(3) - times3(2);
}