Program to compute x**y:

Where x, y, and z are of type Z (int):

z := 1;
m := 0;
while m < y do
    z := z * x;
    m := m + 1;
end while