If these new symbols are here for compatibility, shouldn't they get a deprecated pragma?