internal Ġinterface ĠA Ġ{ ĊĠĠĠ Ġfun Ġfoo (): ĠString Ċ } Ċ Ċ internal Ġclass ĠB Ġ: ĠA Ġ{ ĊĠĠĠ Ġoverride Ġfun Ġfoo () Ġ= Ġ" OK " Ċ } Ċ Ċ internal Ġval Ġglobal Ġ= ĠB () Ċ Ċ internal Ġclass ĠC ( x : ĠInt ) Ġ: ĠA Ġby Ġglobal Ġ{ ĊĠĠĠ Ġconstructor (): Ġthis ( 1 ) Ċ } Ċ Ċ fun Ġbox (): ĠString Ġ{ ĊĠĠĠ Ġreturn ĠC (). foo () Ċ } Ċ