#line 1 "-"
#line 1 "test/add.g"
// Test some builtin operators
fun main() -> int@ {
  return 1 + 2 - 3;
}