import cpp

from ForStmt for
where for.conditionAlwaysTrueUponEntry()
select for