⎕TZ should not be saved with SAVE or DUMP. I should be able to count on ⎕TZ containing the locally applicable time zone - not the one the developer had! If, for some reason the developer wants to change ⎕TZ, it should be done explicitly in a function. A global value should never be saved.