Move some stuff that doesn't pass verification because reasons to the MACROS section.