arrayassert
arrayassert(a->num <= a->max);
arrayassert(index_ < a->num);
arrayassert(a->num == 0);
arrayassert(a->num <= a->max);
arrayassert(index_ < a->num);
arrayassert(index_ < a->num);
arrayassert(index_ < a->num);