class ĠRef ( var Ġvalue : ĠInt ) Ċ Ċ interface ĠI Host Ġ{ ĊĠĠĠ Ġfun ĠString . ext Length () Ġ= Ġlength Ċ } Ċ Ċ fun Ġtest 1 ( x : ĠString ?) Ġ= Ġx ?. length Ċ fun Ġtest 2 ( x : ĠString ?) Ġ= Ġx ?. hashCode () Ċ fun Ġtest 3 ( x : ĠString ?, Ġy : ĠAny ?) Ġ= Ġx ?. equals ( y ) Ċ Ċ fun Ġtest 4 ( x : ĠRef ?) Ġ{ ĊĠĠĠ Ġx ?. value Ġ= Ġ 0 Ċ } Ċ Ċ fun ĠI Host . test 5 ( s : ĠString ?) Ġ= Ġs ?. ext Length () Ċ Ċ fun ĠInt . foo () Ġ= Ġ 2 3 9 Ċ Ċ fun Ġbox () Ġ{ ĊĠĠĠĠ 4 2 ?. foo () Ċ } Ċ