Ċ Ċ // ĠFILE : Ġtest . kt Ċ fun ĠString . foo ( a : ĠInt ) Ġ{} Ċ Ċ fun Ġbox () Ġ{ ĊĠĠĠ Ġ" OK ". foo ( 4 2 ) Ċ } Ċ Ċ // ĠLOCAL ĠVARIABLE S Ċ // Ġtest . kt : 7 Ġbox : Ċ // Ġtest . kt : 4 Ġfoo : Ġ$ this $ foo : java . lang . String =" OK ": java . lang . String , Ġa : int = 4 2 : int Ċ // Ġtest . kt : 8 Ġbox :