} else {
orderedinserts = true;
}
keysequence = new CounterGenerator(insertstart);
operationchooser = new DiscreteGenerator();
if (Config.getConfig().memadd_proportion > 0) {
operationchooser.addValue(Config.getConfig().memadd_proportion, "ADD");
}
if (Config.getConfig().memappend_proportion > 0) {