// dummy vector
#pragma once
namespace std {
template <typename T> class vector {};
} // namespace std