std::vector<int> x = {1,2,3} ;
IntegerVector xx = import( x.begin(), x.end() );