import test.AddTopLevelPropertyReceiverBeforeKt;

class Test {
    static void test() {
        AddTopLevelPropertyReceiverBeforeKt.getP();
        AddTopLevelPropertyReceiverBeforeKt.setP(1);
    }
}