import fields.FieldsKt; public class FacadeProperty { void method() { int p = FieldsKt.topLevelProperty; } } // REF: (fields).topLevelProperty // CLS_REF: (fields).topLevelProperty