// File ĠA . java Ċ import Ġkotlin . Metadata ; Ċ import Ġorg . jetbrains . annotations . NotNull ; Ċ Ċ public Ġfinal Ġclass ĠA Ġ{ ĊĠĠ Ġprivate ĠString Ġr Ġ= Ġ" fail "; ĊĊĠĠ Ġ@ NotNull ĊĠĠ Ġpublic Ġfinal ĠString Ġget R () Ġ{ ĊĠĠĠĠĠ Ġreturn Ġ" OK "; ĊĠĠ Ġ} Ċ } ĊĊ Ċ // File ĠMain . kt Ċ // ĠTARGET _ BACKEND : ĠJVM Ċ // ĠWITH _ RUNTIME Ċ Ċ @ file : Jvm Mult if ile Class Ċ Ċ fun Ġbox () Ġ= ĠA (). getR () ĊĊ