5b: Macro Expansion

    (To be documented)