implemented support for FLAT_ARRAYS in Alloc.h