Collection of CHERI C code examples, to be used in tests, documentation, etc. - View it on GitHub