interface K { public void k(); }