// IGNORE_BACKEND_LEGACY: JVM