algorithm2e while loop