run() calls set_otions() again at the end to restore old values.