1 void foo(void)2foo (void) 3 { 4 int i, x, y, z; 5 6 x = 0; 7 y = 1; 8 i = 0; 9 10 while (i < 2) 11 i++; /* in-loop */ 12 13 x = i; /* after-loop */ 14 y = 2 * x; 15 z = x + y; 16 y = x + z; /* until-here */ 17 x = 9; 18 y = 10; /* until-there */ 19 } 20 21 int main()22main () 23 { 24 int a = 1; 25 foo (); 26 a += 2; 27 return 0; /* at-return */ 28 } 29