=(g(x1,x2),BEGINs1:=0;s2:=0;WHILEn=(s2,x2)DOBEGINs3:=0;WHILEn=(s3,x1)DOBEGINs1:=+(s1,1);s3:=+(s3,1)ENDOD;s2:=+(s1,1)ENDODENDs1)?