1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
 void twoloops(int a, int b) {
   int result;
   int b10;
   int a10;
   a10 = 0;
   b10 = 0;
   while (⟨10 <= a⟩ → ⟨10 <= b⟩) {
     a10 = (a10 + 1) → b10 = (b10 + 1);
     a = (a - 10) → b = (b - 10);
   };
   while (⟨10 <= b⟩ → ⟨10 <= a⟩) {
     b10 = (b10 + 1) → a10 = (a10 + 1);
     b = (b - 10) → a = (a - 10);
   };
   result = ((a10 + b10) * 10);

 }