SML_TAG__ISVALID
assert(SML_TAG__ISVALID(tag));
assert(SML_TAG__ISVALID(tag));
assert(SML_TAG__ISVALID(a_tag));
assert(SML_TAG__ISVALID(tag));
assert(SML_TAG__ISVALID(tag));
assert(SML_TAG__ISVALID(tag));
assert(SML_TAG__ISVALID(tag));
assert(SML_TAG__ISVALID(tag));
assert(SML_TAG__ISVALID(tag));
assert(SML_TAG__ISVALID(tag));
assert(SML_TAG__ISVALID(tag));
assert(SML_TAG__ISVALID(rtag));
assert(SML_TAG__ISVALID(*tag));
assert(SML_TAG__ISVALID(rtag));
assert(SML_TAG__ISVALID(rtag));
assert(SML_TAG__ISVALID(a_subTag));
assert(SML_TAG__ISVALID(tag));
assert(SML_TAG__ISVALID(sub_tag));
assert(SML_TAG__ISVALID(tag));
assert(SML_TAG__ISVALID(tag));
assert(SML_TAG__ISVALID(tag));
assert(SML_TAG__ISVALID(tag));
assert(SML_TAG__ISVALID(a_tag));
assert(SML_TAG__ISVALID(&tag->tags[index]));
assert(SML_TAG__ISVALID(&tag->tags[k]));