// ĠTARGET _ BACKEND : ĠJVM Ċ // ĠJVM _ TARGET : Ġ 1 . 8 Ċ // ĠSAM _ CONVERSION S : ĠIN DY Ċ // ĠFILE : Ġsimple . kt Ċ fun Ġok () Ġ= Ġ" OK " Ċ Ċ fun Ġbox () Ġ= ĠSam (:: ok ). get () Ċ Ċ // ĠFILE : ĠSam . java Ċ public Ġinterface ĠSam Ġ{ ĊĠĠĠ ĠString Ġget (); Ċ } Ċ