Symbol: SML_TAG__R_ISVALID