var topLevelInt: Int field = 0 get set class MyClass { var delegatedToTopLevel: Int /* by */ field = ::topLevelInt get(): Int { return .#delegatedToTopLevel$delegate.getValue(thisRef = , property = MyClass::delegatedToTopLevel) } set(: Int) { return .#delegatedToTopLevel$delegate.setValue(thisRef = , property = MyClass::delegatedToTopLevel, value = ) } constructor() /* primary */ { super/*Any*/() /* () */ } }