Comment by moyix

This is true for a lot of things but for low-level code you can always fall back to "the intention is to not violate memory safety".