Background: added a CHERI TODO