Pointers Are Complicated III, or: Pointer-integer casts exposed (ralfj.de)

I'm starting to be carefully optimistic that Rust will have sane, sound and understandable unsafe semantics someday. In that sense it's showing us the way: you can care about getting details right and have nice things!