RESTARTED

Definition of RESTARTED