Can we have a test of a nested macro expansion, i.e. a macro application that expands into another macro application?