Path	Lines of Code
include/_builtin_string_checked.h	56
include/stdio_checked.h	140
include/stdlib_checked.h	84
include/string_checked.h	105
spec/bounds_safety/checking-variable-bounds.tex	2120