// ĠTARGET _ BACKEND : ĠJVM _ IR Ċ Ċ annotation Ġclass ĠMy Replace With ( val Ġx : ĠString , Ġvar arg Ġval Ġy : ĠString ) Ċ Ċ annotation Ġclass ĠMy Deprecated ( ĊĠĠĠ Ġval Ġreplace With : ĠMy Replace With Ġ= ĠMy Replace With (""), Ċ ) Ċ Ċ fun Ġget Int ( x : ĠString , Ġvar arg Ġy : ĠString ): ĠInt Ġ= Ġ 1 Ċ Ċ fun Ġtest ( x : ĠInt Ġ= Ġget Int ("")) Ġ{} Ċ Ċ fun Ġbox () Ġ= Ġ" OK " Ċ