/* FIXME: I think it's worth doing some sanity checks on the array size:
* dest_tab_size >= src_tab_size */
if (src_tab == NULL || dest_tab == NULL) {
/* FIXME: I think it's worth doing some sanity checks on the array size:
* dest_tab_size >= src_tab_size */
if (src_tab == NULL || dest_tab == NULL) {