interface ĠFoo Ġ{ ĊĠĠĠ Ġfun Ġfoo ( s : ĠString ) Ċ } Ċ Ċ open Ġclass ĠFoo 1 Ġ: ĠFoo Ġ{ ĊĠĠĠ Ġoverride Ġfun Ġfoo (/* rename */ s : ĠString ) Ġ{ Ġ} Ċ } Ċ Ċ class ĠFoo 2 Ġ: ĠFoo Ġ{ ĊĠĠĠ Ġoverride Ġfun Ġfoo ( s : ĠString ) Ġ{ Ġ} Ċ } Ċ Ċ class ĠFoo 3 Ġ: ĠFoo 1 () Ġ{ ĊĠĠĠ Ġoverride Ġfun Ġfoo ( s : ĠString ) Ġ{ Ġ} Ċ }