To make Edebug properly instrument expressions that call macros, some extra care is needed. This subsection explains the details.