// Test some builtin operators
fun main() -> int@ {
  return 1 + 2 - 3;
}