Symbol: is_ISA_range