package foo; public class TopUser { public void use() { TopLevelKt.topMe(); } }