Vec643: _verified_