I think you misunderstand the genericicity of macros in Lisp. Macros take one or more S-exps and return and S-exp. nothing more, nothing less.

There’s no reason why macros need to generate valid code. Though in Lisp, it’s pretty easy to make any code you want valid.