I've written up an early draft proposal for a new @abi attribute. This idea originated as a way to make subtler changes than @preconcurrency allows, but it looks like it will be a very flexible tool. It's sort of like a safer, more ergonomic version of @_silgen_name that's compatible with a lot more declarations. I'm also working on an early ...