open annotation class TestAnn : Annotation {
  val x: Int
    field = x
    get

  constructor(x: Int) /* primary */ {
    super/*Any*/()
    /* <init>() */

  }

}

@TestAnn(x = 42)
fun testSimpleFunction() {
}