static int wastedSpaceInVector(Vector v) {
  ret v == null ? 0 : (l(getOpt(v, 'elementData))-v.size())*java_pointerSize();
}