#line 1 "-"
#line 1 "test/cast.g"
fun main() -> int@ {
  return cast<int>(0.0);
}