Symbol: sm_isa_match