(Flength): Don't call Farray_length, just use size field.