In theory. Recently Iain let me know that zlib's test suite is now passing with ImportC. So the things that are missing are the macro preprocessor and whatever extensions those files use. Once they have been sorted out (the macro preprocessor is the big one of the two), then sure, they should work, if not either it isn't C or its a bug.