program ex8 {
           declarations
           i -> Integer;
           
statements
           i := 0;
           for(i in 0 to 4) step 1 satisfying (True) {
                                                    write i;
                                                     };
           write "string";
            }