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