They made a dialect of C with bounds safety, see:
https://clang.llvm.org/docs/BoundsSafety.html#overview