Background: rephrased inside CHERI intro