class ĠA ( val Ġk : ĠInt ) Ġ{ ĊĠĠĠ Ġfun Ġfoo ( s : ĠString , Ġx : ĠX , Ġk : ĠInt ): ĠBoolean Ġ{ ĊĠĠĠĠĠĠĠ Ġreturn Ġx . k Ġ+ Ġs . length Ġ- Ġk Ġ+ Ġthis . k / 2 Ġ> Ġ 0 ĊĠĠĠ Ġ} ĊĊĠĠĠ Ġfun Ġtest () Ġ{ ĊĠĠĠĠĠĠĠ Ġfoo (" 1 ", ĠX ( 0 ), Ġ 2 ) ĊĠĠĠ Ġ} Ċ } Ċ Ċ class ĠX ( val Ġk : ĠInt ) Ċ Ċ fun Ġ< T , ĠR > Ġwith ( receiver : ĠT , Ġf : ĠT . () Ġ-> ĠR ): ĠR Ġ= Ġreceiver . f () Ċ Ċ fun Ġtest () Ġ{ ĊĠĠĠ Ġwith ( A ( 3 )) Ġ{ ĊĠĠĠĠĠĠĠ Ġfoo (" 1 ", ĠX ( 0 ), Ġ 2 ) ĊĠĠĠ Ġ} Ċ }