package locals_out; public class A_test555 { public boolean flag; public void foo() { int x= 0; while (true) { for (int y= x; true; ) { x = extracted(); } } } protected int extracted() { int x; /*[*/x= 20;/*]*/ return x; } }