static inline void* array_get_next(array_t* array) {

    unsigned int next = array->next;

    void* result;



    if (array_ensure_allocated(array, next) < 0)

	return NULL;



    array->next = next + 1;

    result = array_get(array, next);



    return result;

}

static inline void* array_get_next(array_t* array) {

    unsigned int next = array->next;

    void* result;



    if (array_ensure_allocated(array, next) < 0)

	return NULL;



    array->next = next + 1;

    result = array_get(array, next);



    return result;

}

static inline void* FUNC_0(array_t* VAR_0) {

    unsigned int VAR_1 = VAR_0->VAR_1;

    void* VAR_2;



    if (array_ensure_allocated(VAR_0, VAR_1) < 0)

	return NULL;



    VAR_0->VAR_1 = VAR_1 + 1;

    VAR_2 = array_get(VAR_0, VAR_1);



    return VAR_2;

}

static inline void* FUNC_0(array_t* VAR_0) { unsigned int VAR_1 = VAR_0->VAR_1; void* VAR_2; if (array_ensure_allocated(VAR_0, VAR_1) < 0)
return NULL; VAR_0->VAR_1 = VAR_1 + 1; VAR_2 = array_get(VAR_0, VAR_1); return VAR_2; }