(with-simple-restart (restart-name format-string format-arguments) body)

If restart-name is not invoked, then all values returned by forms are returned. If control is transferred to this restart, it immediately returns the values nil and t.