introduce revive.el