pub fn dump_vector_of_int(vec: &Vector<i32>) -> Result<String>