fun main() -> int@ {
  return true ? 0 : 1;
}