FILE: topLevelDestructuringWithoutInitializer.kt
