interface ĠA Ġ{ ĊĠĠĠ Ġval Ġfoo : ĠString Ċ } Ċ Ċ class ĠB Ġ: ĠA Ġ{ ĊĠĠĠ Ġoverride Ġvar Ġfoo : ĠString Ġ= Ġ" Fail " ĊĠĠĠĠĠĠĠ Ġprivate Ġset ĊĊĠĠĠ Ġfun Ġset OK ( other : ĠB ) Ġ{ ĊĠĠĠĠĠĠĠ Ġother . foo Ġ= Ġ" OK " ĊĠĠĠ Ġ} Ċ } Ċ Ċ fun Ġbox (): ĠString Ġ{ ĊĠĠĠ Ġval Ġb Ġ= ĠB () ĊĠĠĠ Ġb . set OK ( b ) ĊĠĠĠ Ġreturn Ġb . foo Ċ } Ċ