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