1 Bounds-checking interfaces (requires at least C11)