Related, a tool for checking whether the ABIs actually match in practice (it turns out to be very tricky in some cases):

https://faultlore.com/abi-cafe/book/