fun Ġfoo ( s : ĠString ) Ġ{} Ċ Ċ class ĠA Ġ{ ĊĠĠĠ Ġfun Ġbar (): ĠString Ġ= Ġ"" Ċ } Ċ Ċ fun ĠA . baz ( x : ĠInt ) Ġ{} ĊĊ Ċ fun Ġbox (): ĠString Ġ{ ĊĠĠĠ Ġval Ġf Ġ= Ġ"${ :: foo }" ĊĠĠĠ Ġif Ġ( f Ġ!= Ġ" kotlin . reflect . K Function 1 < java . lang . String , Ġkotlin . Unit >") Ġreturn Ġ" Fail Ġfoo : Ġ$ f " ĊĊĠĠĠ Ġval Ġname Of A Ġ= Ġ( A () Ġas Ġjava . lang . Object ). getClass (). getName () ĊĊĠĠĠ Ġval Ġg Ġ= Ġ"${ A :: bar }" ĊĠĠĠ Ġif Ġ( g Ġ!= Ġ" kotlin . reflect . K Member Function 0 <$ name Of A , Ġjava . lang . String >") Ġreturn Ġ" Fail Ġbar : Ġ$ g " ĊĊĠĠĠ Ġval Ġh Ġ= Ġ"${ A :: baz }" ĊĠĠĠ Ġif Ġ( h Ġ!= Ġ" kotlin . reflect . K Extension Function 1 <$ name Of A , Ġjava . lang . Integer , Ġkotlin . Unit >") Ġreturn Ġ" Fail Ġbaz : Ġ$ h " ĊĊĠĠĠ Ġreturn Ġ" OK " Ċ } Ċ