a := 2;
b := 4;
r := 0;
while (a) {
  r := r + b ;
  a := a - 1
}