// ĠEXPECT ED _ RE ACH ABLE _ NODES : Ġ 5 0 6 Ċ package Ġfoo Ċ Ċ interface ĠA Ġ{ ĊĠĠĠ Ġfun Ġbar 2 ( arg : ĠInt Ġ= Ġ 2 3 9 ): ĠInt ĊĊĠĠĠ Ġfun Ġbar ( arg : ĠInt Ġ= Ġ 2 4 0 ): ĠInt Ġ= Ġbar 2 ( arg Ġ/ Ġ 2 ) Ċ } Ċ Ċ open Ġabstract Ġclass ĠB () Ġ: ĠA Ġ{ ĊĠĠĠ Ġoverride Ġfun Ġbar 2 ( arg : ĠInt ): ĠInt Ġ= Ġarg Ċ } Ċ Ċ class ĠC () Ġ: ĠB () Ġ{ Ċ } Ċ Ċ fun Ġbox (): ĠString Ġ{ ĊĠĠĠ Ġif Ġ( C (). bar ( 1 0 ) Ġ!= Ġ 5 ) Ġreturn Ġ" fail 1 : Ġ${ C (). bar ( 1 0 )}" ĊĠĠĠ Ġif Ġ( C (). bar () Ġ!= Ġ 1 2 0 ) Ġreturn Ġ" fail 2 : Ġ${ C (). bar () }" ĊĠĠĠ Ġif Ġ( C (). bar 2 () Ġ!= Ġ 2 3 9 ) Ġreturn Ġ" fail 3 : Ġ${ C (). bar 2 () }" ĊĠĠĠ Ġif Ġ( C (). bar 2 ( 1 0 ) Ġ!= Ġ 1 0 ) Ġreturn Ġ" fail 4 : Ġ${ C (). bar 2 ( 1 0 )}" ĊĠĠĠ Ġreturn Ġ" OK " Ċ } Ċ