2013-11-23-12.52.55: For consistency and clarity, pervasively renamed   new_array0  to  make_zero_length_vector.