int i = 0;

for(; i<10; ++i)

{ do something; }

   allocate a cell  -- 这里没有类型化的内存分配

then

   bind i to the given Cell

then

   give the Cell bound to i

then

   store the value of 0 in the given Cell -- 注意这里0是字符值

then

   unfolding

give the Integer bound to i

        and then give(the given Integer is less than the value of 10)

           then

                check(the given TruthValue is true)

                   and then execute do something

                      and then give the Integer bound to i

                         and then give sum(the value of 1, the given Integer)

                            and then store the given Integer in the Cell bound to i

                              and then unfold

            or

check(the given TrueValue is false) and then complete