Objective-C code-generation, #408.