static toVector(O[] array) {
  ret new Vector(toList(array));
}