Pointers Are Complicated, or: What's in a Byte?
language design