REGB2 = TAG_Int(UNTAG_Int(REGB1)-UNTAG_Int(REGB2));
/* ./../lib/standard//collection//sorter.nit:30 */
CALL_sorter___AbstractSorter___sub_sort(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1], REGB0, REGB2);
REGB2 = TAG_Int(UNTAG_Int(REGB1)-UNTAG_Int(REGB2));
/* ./../lib/standard//collection//sorter.nit:30 */
CALL_sorter___AbstractSorter___sub_sort(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1], REGB0, REGB2);