> rounding the pointer down, thus producing a valid one
A "valid" pointer to the wrong object?
Which is ok since it is UB to deref
Which is ok since it is UB to deref