FILE: helloWorld.kt
    public final fun main(): R|kotlin/Unit| {
        R|kotlin/io/println|(String(Hello, world!))
    }
