void array_delete(Array *list) { array_list_delete((ArrayList * const ) list); }
void int_array_list_delete(IntArrayList* list){ array_list_delete(list); }