#define NS_DESIGNATED_INITIALIZER __attribute__((objc_designated_initializer))
@class NSString;
@interface B1
-(instancetype)init;
@end
@interface S1 : B1
@property (nonatomic) int prop;
+(instancetype)s1;
-(instancetype)initWithFoo:(NSString*)foo NS_DESIGNATED_INITIALIZER;
@end