This code has UB that Miri does not detect. See rust-lang/rust#46188 for context.

It seems quite hard to detect this though... we have to somehow check all declarations of all no_mangle functions that ever get called, or something like that.