Is My Highly Unsafe Code Correct? In Place Mapping a Vector

[H2CO3]

It's better practice to call .cast() on pointers instead of as _ because that catches changes in mutability.