This isn't just about the abstract machine. This is also about making it hard to end up using uninitialized memory, which is a security hole. Abstractions like

This isn't just about the abstract machine. This is also about making it hard to end up using uninitialized memory, which is a security hole. Abstractions like ReadBuf allow safe code to efficiently work with uninitialized buffers without risking exposure of random memory contents.