annotation class Anno(value: kotlin.Int) {
  val value: kotlin.Int
}
