Make phase4_done() clean up macros (and check the ifstack and istack).