Update flexarray.c