oops - bug in array allocator - not enough space allocated