It's not a difficult bug to fix, but it is a very difficult bug to detect, since miri won't think anything is wrong.