@Miaourt Best design is to provide an atomic thing and then stop.

A language to describe an ABI could be neat, but it ought to be another project entirely. And I think the only realistic way to do it would be as a subset of C. (Which reminds me of how C++ screwed itself so badly that most C++ libraries use C headers)