RIGAL/examp1/ex1.txt

    z:=1 ; x:= ( z + 1 ); 
    y:=1;  
    while y < (x+1) do
         z:=(z+z);
         y:=(y+1) od;

    v:=(1+1);
    v:=((v+v)+v); 
    w:=1;