Replace VEC (varobj_update_result) with std::vector