Extract the big C bits from objc.scm