CHERI compiler-defined macros in Eclipse
Elementary capability definitions