topLevelProperty.kt 25 Bytes