// Ġ" Add Ġparameter Ġto Ġfunction Ġ' f '" Ġ" true " Ċ interface ĠO Ġ{ ĊĠĠĠ Ġfun Ġf ( a : ĠInt ) Ċ } Ċ Ċ interface ĠO O Ġ: ĠO Ġ{ ĊĠĠĠ Ġoverride Ġfun Ġf ( a : ĠInt ) Ġ{ ĊĠĠĠ Ġ} Ċ } Ċ Ċ interface ĠO OO Ġ: ĠO O Ġ{ ĊĠĠĠ Ġoverride Ġfun Ġf ( a : ĠInt ) Ġ{} Ċ } Ċ Ċ fun Ġusage ( o : ĠO ) Ġ{ ĊĠĠĠ Ġo . f ( 1 ) Ċ } Ċ Ċ fun Ġusage ( o : ĠO O ) Ġ{ ĊĠĠĠ Ġo . f ( 1 3 , Ġ< caret > 1 2 ) Ċ } Ċ Ċ fun Ġusage ( o : ĠO OO ) Ġ{ ĊĠĠĠ Ġo . f ( 3 ) Ċ } Ċ