interface A { fun f(c: C) }