Added redo-exec to run things outside of redo