Add a set of macros for using the new '[[[deprecated]]' attribute. No code changes (yet)