Sample Adoption of the Bounds Safety Extension in C - View it on GitHub