// FILE: 1.kt

// FILE: 2.kt