cheri-security / MorelloLinux / exampleCode / src / util