Procedure double(n: positive integer) while n > 0 n = 2n

a. Double the value of n.
b. Divide the value of n by 2.
c. Set n equal to twice its current value.
d. Repeat the process until n becomes zero.