static AbstractSSI vectorizeSSIIfBeneficial(SSI ssi) {
  var vectorSSI = new VectorSSI(ssi);
  ret vectorSSI.sizeInInts() < ssi.sizeInInts() ? vectorSSI : ssi;
}