allowed encoding of variable-length vectors