public final class MainKt { // source: 'main.kt' public final static method foo(): int public final static method test(): void }