generator::dummy_vector renamed to generator::vector