Isn't an even better place to do it in the front end, just after parsing
the alignment request?
Probably not, since it would then have to know the complex formula used
to say what's supported and what isn't.
And then you have the problem of alignment of *types*, where you have to
be able to guarantee the alignment for both stack and memory.