On Sat, 2025-06-07 at 17:03 +0200, Andreas Schwab wrote: > On Jun 07 2025, John Paul Adrian Glaubitz wrote: > > > you cannot change the ABI because that would change the ABI. > > That's the fundamental property of an ABI. Not if the ABI was made-up by yourself ;-). Adrian -- .''`. John Paul Adrian Glaubitz : :' : Debian Developer `. `' Physicist `- GPG: 62FF 8A75 84E0 2956 9546 0006 7426 3B37 F5B5 F913