Implementation of C11 Annex K "Bounds-checking interfaces" ISO/IEC 9899:2011 - View it on GitHub