allow tail array of empty-vector to be allocated in advance