__import_module__ category_top;
@interface Foo(Right1)
-(void)right1;
@end
@interface Foo(Right2)
-(void)right2;
@interface Foo(Duplicate) // expected-warning {{duplicate definition of category}}