Proper+ compiler generates complete C header.