// LANGUAGE_VERSION: 1.6
// IGNORE_BACKEND_LEGACY: JVM
// IGNORE_BACKEND: JVM
