Use `r_sanity_check` instead of `guarantee`.