Languages interfacing through an ABI implicitly need to agree on their memory models, calling conventions, exception unwinding, etc. There's lots of detail in

Languages interfacing through an ABI implicitly need to agree on their memory models, calling conventions, exception unwinding, etc. There's lots of detail in the D language garbage collection docs: https://dlang.org/spec/garbage.html https://dlang.org/spec/garbage.html The whole thing might be instructive, but 28.3.3 has a bunch of particular expectations of the D GC.