Added enclosing loop header code1