Simplify CHERI builtin implementation.