isa_cmp: reorder + style