#import <Foundation/Foundation.h>

@interface A : NSObject

@property (readonly) NSString *thing;

@end

@implementation A

@synthesize thing;

- (id)init {
    self = [super init];
    if (self) {
        thing = @"Hello";
    }
    return self;
}

@end

int main(int argc, char *argv[]) {
    @autoreleasepool {
        A *a = [[A alloc] init];
        NSLog(@"%@", a.thing);
    }
    return 0;
}