SML_TAG__R_ISVALID
assert(SML_TAG__R_ISVALID(r_tag));
assert(SML_TAG__R_ISVALID(tag));
assert(SML_TAG__R_ISVALID(r_tag));
assert(SML_TAG__R_ISVALID(r_tag));
assert(SML_TAG__R_ISVALID(r_tag));