Objective-C bugs (GCC)