void setLength(unsigned length) { indexingHeader()->setPublicLength(length); }
unsigned vectorLength() { return indexingHeader()->vectorLength(); }
void setVectorLength(unsigned length) { indexingHeader()->setVectorLength(length); }
void setLength(unsigned length) { indexingHeader()->setPublicLength(length); }
unsigned vectorLength() { return indexingHeader()->vectorLength(); }
void setVectorLength(unsigned length) { indexingHeader()->setVectorLength(length); }