CHERI-enabled garbage collector.