Example CHERI-aware programs