New version of pico_vector.h