Two Paths to Memory Safety: CHERI and OMA