@one.Anno
val topLevelPropertyWithAnnotations: kotlin.Short
  @one.Anno
  get()