merge check_vec into main