They are bizarre, because C developer culture isn't known for doing what is necessary to prove the absence of UB and memory safety problems. It's all up to the

They are bizarre, because C developer culture isn't known for doing what is necessary to prove the absence of UB and memory safety problems. It's all up to the programmer who obviously won't invest the time because that would ruin the development velocity.