lec_13 vector::resize() improved