Valen’s Memory Safety: A New Kind of Borrow Checking — Blankdot