package Ġfoo Ċ Ċ // ĠCHECK _ CAL LED _ IN _ SCOPE : Ġscope = multiply By 2 Ġfunction = multiply By 2 $ f Ċ // ĠCHECK _ NOT _ CAL LED _ IN _ SCOPE : Ġscope = multiply By 2 Ġfunction = run Ċ Ċ internal Ġinline Ġfun Ġrun < T >( no inline Ġfunc : Ġ( T ) Ġ-> ĠT , Ġarg : ĠT ): ĠT Ġ{ ĊĠĠĠ Ġreturn Ġfunc ( arg ) Ċ } Ċ Ċ internal Ġfun Ġmultiply By 2 ( x : ĠInt ): ĠInt Ġ{ ĊĠĠĠ Ġreturn Ġrun ({ Ġit Ġ* Ġ 2 Ġ}, Ġx ) Ċ } Ċ Ċ fun Ġbox (): ĠString Ġ{ ĊĠĠĠ ĠassertEquals ( 0 , Ġmultiply By 2 ( 0 )) ĊĠĠĠ ĠassertEquals ( 4 , Ġmultiply By 2 ( 2 )) ĊĠĠĠ ĠassertEquals ( 8 , Ġmultiply By 2 ( 4 )) ĊĊĠĠĠ Ġreturn Ġ" OK " Ċ }