interface ĠD 1 Ġ{ Ċ Ċ } Ċ interface ĠD 2 Ġ{ Ċ fun Ġfoo (): ĠNumber Ċ } Ċ interface ĠF 3 : ĠD 1 , ĠD 2 ĊĊĊ Ċ open Ġclass ĠD 4 Ġ{ Ċ inline Ġfun Ġfoo (): ĠInt Ġ= Ġ 4 2 Ċ } Ċ class ĠF 5 : ĠF 3 , ĠD 4 () ĊĊĊ Ċ fun Ġbox (): ĠString Ġ{ Ċ val Ġz Ġ= ĠF 5 () Ċ var Ġresult Ġ= Ġz . foo () Ċ return Ġif Ġ( result Ġ== Ġ 5 Ġ* Ġ 4 2 ) Ġ{ Ċ " OK " Ċ } Ġelse Ġ{ Ċ " Fail : Ġ$ result " Ċ } Ċ }