PREP(initStores);
PREP(initValidationHarness);
PREP(saveHotState);