fun topLevelFun(s: kotlin.String): kotlin.String
