For the syntax, I think [Pre-RFC] Single function call `unsafe` would be a good thing to lift, we can just declare unsafe macro_call!(args..) (or whichever syntax is used) to call an unsafe-to-invoke macro macro_call, but not change the safety context of the arguments nor what the macro expands to.