// ĠDO _ NOT _ CHECK _ SYMBOL _ REST ORE Ċ Ċ interface ĠI 1 Ġ{ ĊĠĠĠ Ġfun Ġfoo () Ċ } Ċ Ċ class ĠI 1 Impl : ĠI 1 Ġ{ ĊĠĠĠ Ġoverride Ġfun Ġfoo () Ġ{} Ċ } Ċ Ċ interface ĠI 2 Ġ{ ĊĠĠĠ Ġfun Ġbar () ĊĠĠĠ Ġfun Ġbaz () Ċ } Ċ Ċ class ĠI 2 Impl : ĠI 2 Ġ{ ĊĠĠĠ Ġoverride Ġfun Ġbar () Ġ{} ĊĠĠĠ Ġoverride Ġfun Ġbaz () Ġ{} Ċ } Ċ Ċ open Ġclass ĠA Ġ: ĠI 1 Ġby ĠI 1 Impl () Ċ Ċ class ĠB Ġ: ĠI 2 Ġby ĠI 2 Impl (), ĠA () Ġ{ ĊĠĠĠ Ġoverride Ġfun Ġbaz () Ġ{} Ċ } Ċ Ċ // Ġclass : ĠB Ċ