codeql/java/ql/test-kotlin1/library-tests/java_and_kotlin_internal/Java.java

public class Java {
	void javaFun() {
		new Kotlin().kotlinFun$main();
		KotlinKt.topLevelKotlinFun();
	}
}