fun Ġbox (): ĠString Ġ{ ĊĠĠĠ Ġreturn Ġif Ġ( call ( 1 0 , ĠA () :: calc ) Ġ== Ġ 5 ) Ġ" OK " Ġelse Ġ" fail " Ċ } Ċ Ċ class ĠA Ġ{ ĊĠĠĠ Ġfun Ġcalc ( p : ĠInt ): ĠInt Ġ{ ĊĠĠĠĠĠĠĠ Ġreturn Ġp Ġ/ Ġ 2 ĊĠĠĠ Ġ} Ċ } Ċ Ċ inline Ġfun Ġcall ( p : ĠInt , Ġs : Ġ( Int ) Ġ-> ĠInt ): ĠInt Ġ{ ĊĠĠĠ Ġreturn Ġs ( p ) Ċ } Ċ Ċ // Ġ 1 ĠNEW ĠA Ċ // Ġ 1 ĠNEW