RESTUMP

Definition of RESTUMP