tcg: Add choose_vector_size