// TARGET_BACKEND: JVM
// ALLOW_KOTLIN_PACKAGE