// ĠFILE : ĠB . java Ċ import Ġjava . util . List Ċ Ċ public Ġclass ĠB Ġimplements ĠX Ġ{ ĊĠĠĠ Ġ@ Override ĊĠĠĠ ĠList Ġfoo ( List Ġl ) Ġ{ ĊĠĠĠĠĠĠĠ Ġreturn Ġsuper . foo ( l ); ĊĠĠĠ Ġ} Ċ } Ċ Ċ // ĠFILE : Ġ 1 . kt Ċ Ċ interface ĠX Ġ{ ĊĠĠĠ Ġfun Ġfoo ( l : ĠMutable List < Int >): ĠList < String >? Ċ } Ċ Ċ internal Ġclass ĠC Ġ: ĠB ()