MacroExpansion with argtav (in progress)