interface Mixin {public void m();}