@Property
@PropertyAndField
@ParameterPropertyAndField
@Everything
var prop: kotlin.Int
  @Get
  @Everything
  get()