TAG_COND_TOPLEVEL
tag = smlNewTag(TAG_COND_TOPLEVEL);
ntag = smlGetTagByName(tag, 0, TAG_COND_TOPLEVEL);
TAG_COND_TOPLEVEL);