Symbol: ahc_isa_idstring