WHILERE

Definition of WHILERE