Use of <vector> instead of (silly) pointers