"Checked C is a new safe #C dialect from #Microsoft
that extends the C language with new pointer types for which
the compiler automatically performs NULL pointer checks and
array bounds checks"...
https://www.cs.rochester.edu/u/jzhou41/papers/freebsd_checkedc.pdf