SeqM3AST_SM_Opaque_type_Revln          SeqM3AST_SM_Opaque_type_Revln_rep