WHILST

Definition of WHILST