in include/checkedc_extensions.h [21:24]
inline int __attribute__((__always_inline__)) strncmp_array_ptr(const char *src : count(n), const char *s2 : count(n), size_t n) { _Unchecked { return strncmp(src, s2, n); } }