Writing into Uninitialized Buffers in Rust