Pointers Are Complicated II, or: We need better language specs

12 posts were split to a new topic: Formalizing LLVM IR and Rust