Can you add a comment explaining that we have a `mut` pointer simply to avoid aliasing - and why we're avoiding aliasing?