adding the print_vector()