Certainly without proguard. I think the after proguard numbers are most important but I don’t know what those would look like for a “typical” Android Kotlin project let alone a typical Ceylon project. The results will depend on how internally tightly coupled the language runtime libraries and how much you use them I guess.