package Ġka ix ue _ io . ext Ċ Ċ fun Ġmethod 3 ( s : ĠString , Ġi : ĠInt ) Ġ{ Ċ } Ċ Ċ val Ġf : ĠString .( Int ) Ġ-> ĠUnit Ġ= Ġ:: method 3 Ċ Ċ fun Ġmain () Ġ{ Ċ // ĠĠĠ Ġ" 1 2 3 ". method 3 () Ġ// Ġwrong ĊĠĠĠ Ġ" 1 2 3 ". f ( 1 ) Ċ }