org.eclipse.jdt.core.tests.model/workspace/Formatter/test331/A_out.java

int indx = 7;
for (/*indx is already initialized*/; indx < 20; ++indx) {
}