import Ġtest .* Ċ Ċ class ĠZ Ġ{} Ċ Ċ fun Ġtest 1 () Ġ: ĠInt Ġ{ ĊĠĠĠ Ġval Ġinput Ġ= ĠZ () ĊĠĠĠ Ġreturn Ġinput . use < Z , ĠInt >{ ĊĠĠĠĠĠĠĠĠ 1 0 0 ĊĠĠĠ Ġ} Ċ } Ċ Ċ fun Ġtest 2 () Ġ: ĠInt Ġ{ ĊĠĠĠ Ġval Ġx Ġ= Ġ 1 0 0 0 ĊĠĠĠ Ġreturn Ġuse 2 () Ġ+ Ġx Ċ } ĊĊ Ċ fun Ġbox (): ĠString Ġ{ ĊĠĠĠ Ġif Ġ( test 1 () Ġ!= Ġ 1 0 0 ) Ġreturn Ġ" test 1 : Ġ${ test 1 () }" ĊĠĠĠ Ġif Ġ( test 2 () Ġ!= Ġ 1 1 0 0 ) Ġreturn Ġ" test 1 : Ġ${ test 2 () }" ĊĊĠĠĠ Ġreturn Ġ" OK " Ċ } Ċ