Update sort_int_tab.c