num_to_move       115 kern/lib/array.c         unsigned num_to_move;
num_to_move       120 kern/lib/array.c         num_to_move = a->num - (index + 1);
num_to_move       121 kern/lib/array.c         memmove(a->v + index, a->v + index+1, num_to_move*sizeof(void *));