record NSObject = externalClass(Void,
    ClassMethods(
        (#"alloc", Id),
        (#"class", Id), // XXX Class
    ),
    InstanceMethods(
        (#"init", Id),
        (#"description", NSString),
        (#"retain", Id),
        (#"release", Id),
        (#"autorelease", Id),
        (#"class", Id),
    ),
);

record NSString = externalClass(NSObject,
    ClassMethods(
        (#"stringWithUTF8String:", Id, Pointer[CChar]),
        (#"stringWithFormat:", Id, NSString),
    ),
    InstanceMethods(
        (#"UTF8String", Pointer[CChar]),
    ),
);