c++11 loop in Pantelides