This reflects the fact that the C linker is not necessarily the problem,
and that this exception is also raised when different calls to the same
thunk (for instance, with different preallocated outputs) give different
results.