open annotation class AnnParam : Annotation {
  constructor() /* primary */ {
    super/*Any*/()
    /* <init>() */

  }

}

var p: Int
  field = 0
  get
  set

class C {
  constructor(p: Int) /* primary */ {
    super/*Any*/()
    /* <init>() */

  }

  var p: Int
    field = p
    get
    set

}
