procedure start                                                       
                                                                                           
                                                                                           
                                                                                           
                                                                                           
                                                                                      arg=2
                                                                                           
                                                                                           
                                                                                           
                                                                                           
                       arg=2 and i=3                                                       
                                                                                           
                                                                                           
                                                                                           
                                                                                           
                       arg=2 and i=2                                                       
                                                                                           
                                                                                           
                                                                                           
                                                                                           
                                                                                           
                       arg=2 and i=1                                                       
                                                                                           
                                                                                           
                                                                                           
                                                                                           
                                                                                      arg=1
                                                                                           
                                                                                           
                                                                                           
                                                                                           
                          arg=1 and i=3                                                    
                                                                                           
                                                                                           
                                                                                           
                                                                                           
                          arg=1 and i=2                                                    
                                                                                           
                                                                                           
                                                                                           
                                                                                           
                          arg=1 and i=1                                                    
                                                                                           
                                                                                           
                                                                                           
                                                                                           
                                                                                           
                                                 procedure end