ARRAYASSERT        98 kern/include/array.h 	ARRAYASSERT(index < a->num);
ARRAYASSERT       105 kern/include/array.h 	ARRAYASSERT(index < a->num);
ARRAYASSERT        71 kern/lib/array.c 	ARRAYASSERT(a->num == 0);
ARRAYASSERT       117 kern/lib/array.c         ARRAYASSERT(a->num <= a->max);
ARRAYASSERT       118 kern/lib/array.c         ARRAYASSERT(index < a->num);