CHERI is not little endian...