CHERI-RISC-V model written in Sail - View it on GitHub