dynamic_array.py

def add(array, size, max_size, x):
    if size == max_size:
        new_array = malloc(2*max_size)
        for x in [0..max_size-1]:
            new_array[x] = array[x]
        max_size *= 2
        array = new_array
    array[size + 1] = x
    return (array, size, max_size)