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

  }

}

val test1: Int /* by */
  field = lazy<Int>(initializer = local fun <anonymous>(): Int {
    return 42
  }
)
  get(): Int {
    return #test1$delegate.getValue<Int>(thisRef = null, property = ::test1)
  }
