Symbol: isa_insl