More Objective-C gateway stuff