so that Executor#execute is safe to run more than once