The good news is that a theoretical future migrating compiler can let the user specify ABI details like "flatten into scalars" even if the traditional platform

The good news is that a theoretical future migrating compiler can let the user specify ABI details like "flatten into scalars" even if the traditional platform ABI forbids that. I guess GCC attributes could do that too, but I don't think they have.