FILE: topLevelDestructuringWithAnnotation.kt
