/* we suppose both tab are already created */
static void copy_tab(int src_tab[], int dest_tab[], unsigned min_tab_size, unsigned index_offset) {
/* we suppose both tab are already created */
static void copy_tab(int src_tab[], int dest_tab[], unsigned min_tab_size, unsigned index_offset) {