Remember kids, unsafe is not undefined behaviour. It just means you need to prove via unchecked English statements that your code is not UB.