Consider following code:
int64_t signed_vector_size(const std::vector v){ return (int64_t)v.size(); }
This does not work since std::vecto