// EXTRA_OBJC_SOURCES: extern (Objective-C) void NSLog();