// !ADD_KOTLIN_API
import static kotlinApi.KotlinApiKt.extensionFunction;
import static kotlinApi.KotlinApiKt.getExtensionProperty;
import static kotlinApi.KotlinApiKt.setExtensionProperty;

class C {
    int foo() {
        extensionFunction(1)
        setExtensionProperty("a", 1);
        return getExtensionProperty("b");
    }
}
