CHERI is big endian