support the RANDOMIZED_RESETS option