Symbol: dpt_isa_match