> And va_args would be broken ever since @yebblies yanked out the x32 ABI fix I did for `__argTypes`.

I did?