Objective-C example translation