fun main() -> int@ {
  return cast<int>(0.0);
}