So now think what might happen, when not used properly.
Some form of bounds checking should have been part of the design, like memory tagging.