annotation class Foo(vararg ints: kotlin.Int) {
  val ints: kotlin.IntArray
}