Information technology. Programming languages, their environments and system software interfaces. Extensions to the C library - Bounds-checking interfaces