// ĠOriginal Ġbug : ĠK T - 3 6 8 5 4 Ċ Ċ interface ĠA Ġ{ ĊĠĠĠ Ġfun Ġfoo ( a : ĠString , Ġb : ĠString Ġ= Ġ" b "): ĠString Ċ } Ċ Ċ class ĠB Ġ: ĠA Ġ{ ĊĠĠĠ Ġoverride Ġfun Ġfoo ( a : ĠString , Ġb : ĠString ) Ġ= Ġa Ġ+ Ġb Ċ } Ċ Ċ fun Ġbox (): ĠString Ġ{ ĊĠĠĠ Ġval Ġf Ġ= ĠA :: foo ĊĊĠĠĠ Ġassert (" ab " Ġ== Ġf . call By ( map Of ( ĊĠĠĠĠĠĠĠĠĠĠĠ Ġf . parameters . first () Ġto ĠB (), ĊĠĠĠĠĠĠĠĠĠĠĠ Ġf . parameters . single Ġ{ Ġit . name Ġ== Ġ" a " Ġ} Ġto Ġ" a " ĊĠĠĠ Ġ))) ĊĊĠĠĠ Ġreturn Ġ" OK " Ċ } Ċ Ċ fun Ġmain () Ġ{ ĊĠĠĠ Ġprintln ( box ()) Ċ } Ċ