\HEADING 84  P A S - P. WOLFERS SOFTWARE: V3.1-B2 OF 30-JUN-2016  - Run the 18-SEP-2016 at 20:35:21

 Generic_Search for np = 1 with Arg_1 f_type form_int      
 CHILD frm = form_int eff = form_int ---> true
 Ok for Entry : form_int      ,  ------        -> form_int       -> code = pcod_ineg
 CHILD frm = form_char eff = form_int ---> false
 CHILD frm = form_ennum eff = form_int ---> false
 Generic_Search for np = 1 with Arg_1 f_type form_int      
 CHILD frm = form_int eff = form_int ---> true
 Ok for Entry : form_int      ,  ------        -> form_int       -> code = pcod_ineg
 CHILD frm = form_char eff = form_int ---> false
 CHILD frm = form_ennum eff = form_int ---> false
 CHILD frm = form_char eff = form_int ---> false
 CHILD frm = form_ennum eff = form_int ---> false
 CHILD frm = form_char eff = form_int ---> false
 CHILD frm = form_char eff = form_int ---> false
 CHILD frm = form_ennum eff = form_int ---> false
 CHILD frm = form_char eff = form_int ---> false
 CHILD frm = form_ennum eff = form_int ---> false
 CHILD frm = form_char eff = form_int ---> false
 CHILD frm = form_ennum eff = form_int ---> false
 CHILD frm = form_char eff = form_int ---> false
 CHILD frm = form_ennum eff = form_int ---> false
 CHILD frm = form_char eff = form_int ---> false
 CHILD frm = form_ennum eff = form_int ---> false
 CHILD frm = form_char eff = form_int ---> false
 CHILD frm = form_ennum eff = form_int ---> false
 CHILD frm = form_int eff = form_int ---> true
 CHILD frm = form_int eff = form_int ---> true
 CHILD frm = form_int eff = form_int ---> true
 CHILD frm = form_char eff = form_int ---> false
 CHILD frm = form_char eff = form_int ---> false
 CHILD frm = form_ennum eff = form_int ---> false
 CHILD frm = form_int eff = form_int ---> true
 CHILD frm = form_int eff = form_int ---> true
 CHILD frm = form_int eff = form_int ---> true
 CHILD frm = form_int eff = form_int ---> false
 CHILD frm = form_record eff = form_int ---> false
 CHILD frm = form_char eff = form_int ---> false
 CHILD frm = form_ennum eff = form_int ---> false
 Generic_Search for np = 2 with Arg_1 f_type form_int      , Arg_2 f_type form_int      
 Search for std bin
 CHILD frm = form_int eff = form_int ---> true
 CHILD frm = form_int eff = form_int ---> true
 Ok for Entry : form_int      , form_int       -> form_lit       -> code = pcod_igt
 CHILD frm = form_ennum eff = form_lit ---> false
 CHILD frm = form_int eff = form_int ---> true
 CHILD frm = form_record eff = form_int ---> false
 CHILD frm = form_char eff = form_int ---> false
 CHILD frm = form_int eff = form_int ---> true
 CHILD frm = form_record eff = form_int ---> false
 CHILD frm = form_char eff = form_int ---> false
 Generic_Search for np = 1 with Arg_1 f_type form_int      
 CHILD frm = form_int eff = form_int ---> true
 Ok for Entry : form_int      ,  ------        -> form_char      -> code = pcod_noop
 CHILD frm = form_record eff = form_int ---> false
 CHILD frm = form_char eff = form_int ---> false
 Generic_Search for np = 1 with Arg_1 f_type form_int      
 CHILD frm = form_int eff = form_int ---> true
 Ok for Entry : form_int      ,  ------        -> form_char      -> code = pcod_noop
 CHILD frm = form_int eff = form_int ---> true
 CHILD frm = form_int eff = form_int ---> false
 CHILD frm = form_record eff = form_int ---> false
 CHILD frm = form_char eff = form_int ---> false
 CHILD frm = form_int eff = form_int ---> true
 CHILD frm = form_record eff = form_wwset ---> false
 CHILD frm = form_char eff = form_wwset ---> false
 CHILD frm = form_set eff = form_wwset ---> false
 CHILD frm = form_record eff = form_wwset ---> false
 CHILD frm = form_char eff = form_wwset ---> false
 CHILD frm = form_set eff = form_wwset ---> false
 CHILD frm = form_record eff = form_wwset ---> false
 CHILD frm = form_char eff = form_wwset ---> false
 CHILD frm = form_set eff = form_wwset ---> false
 Generic_Search for np = 1 with Arg_1 f_type form_int      
 CHILD frm = form_int eff = form_int ---> true
 Ok for Entry : form_int      ,  ------        -> form_int       -> code = pcod_ineg
 Generic_Search for np = 1 with Arg_1 f_type form_int      
 CHILD frm = form_int eff = form_int ---> true
 Ok for Entry : form_int      ,  ------        -> form_int       -> code = pcod_ineg
 CHILD frm = form_record eff = form_wwset ---> false
 CHILD frm = form_char eff = form_wwset ---> false
 CHILD frm = form_set eff = form_wwset ---> false
 CHILD frm = form_record eff = form_int ---> false
 CHILD frm = form_char eff = form_int ---> false
 CHILD frm = form_record eff = form_int ---> false
 CHILD frm = form_char eff = form_int ---> false
 Generic_Search for np = 1 with Arg_1 f_type form_int      
 CHILD frm = form_int eff = form_int ---> true
 Ok for Entry : form_int      ,  ------        -> form_int       -> code = pcod_ineg
 Generic_Search for np = 1 with Arg_1 f_type form_int      
 CHILD frm = form_int eff = form_int ---> true
 Ok for Entry : form_int      ,  ------        -> form_int       -> code = pcod_ineg
 Generic_Search for np = 1 with Arg_1 f_type form_int      
 CHILD frm = form_int eff = form_int ---> true
 Ok for Entry : form_int      ,  ------        -> form_int       -> code = pcod_ineg
 Generic_Search for np = 1 with Arg_1 f_type form_int      
 CHILD frm = form_int eff = form_int ---> true
 Ok for Entry : form_int      ,  ------        -> form_int       -> code = pcod_ineg
 CHILD frm = form_record eff = form_int ---> false
 CHILD frm = form_char eff = form_int ---> false
 CHILD frm = form_record eff = form_int ---> false
 CHILD frm = form_char eff = form_int ---> false
 Generic_Search for np = 1 with Arg_1 f_type form_int      
 CHILD frm = form_int eff = form_int ---> true
 Ok for Entry : form_int      ,  ------        -> form_int       -> code = pcod_ineg
 Generic_Search for np = 1 with Arg_1 f_type form_int      
 CHILD frm = form_int eff = form_int ---> true
 Ok for Entry : form_int      ,  ------        -> form_int       -> code = pcod_ineg
 Generic_Search for np = 1 with Arg_1 f_type form_int      
 CHILD frm = form_int eff = form_int ---> true
 Ok for Entry : form_int      ,  ------        -> form_int       -> code = pcod_ineg
 CHILD frm = form_record eff = form_wwset ---> false
 CHILD frm = form_char eff = form_wwset ---> false
 CHILD frm = form_set eff = form_wwset ---> false
 CHILD frm = form_record eff = form_wwset ---> false
 CHILD frm = form_char eff = form_wwset ---> false
 CHILD frm = form_set eff = form_wwset ---> false
 Generic_Search for np = 1 with Arg_1 f_type form_int      
 CHILD frm = form_int eff = form_int ---> true
 Ok for Entry : form_int      ,  ------        -> form_int       -> code = pcod_ineg
 CHILD frm = form_record eff = form_wwset ---> false
 CHILD frm = form_char eff = form_wwset ---> false
 CHILD frm = form_set eff = form_wwset ---> false
 CHILD frm = form_record eff = form_int ---> false
 CHILD frm = form_char eff = form_int ---> false
 CHILD frm = form_int eff = form_int ---> true
 Generic_Search for np = 1 with Arg_1 f_type form_int      
 CHILD frm = form_int eff = form_int ---> true
 Ok for Entry : form_int      ,  ------        -> form_int       -> code = pcod_ineg
 Generic_Search for np = 1 with Arg_1 f_type form_int      
 CHILD frm = form_int eff = form_int ---> true
 Ok for Entry : form_int      ,  ------        -> form_int       -> code = pcod_ineg
 CHILD frm = form_record eff = form_wwset ---> false
 CHILD frm = form_char eff = form_wwset ---> false
 CHILD frm = form_set eff = form_wwset ---> false
 CHILD frm = form_record eff = form_wwset ---> false
 CHILD frm = form_char eff = form_wwset ---> false
 CHILD frm = form_set eff = form_wwset ---> false
 CHILD frm = form_record eff = form_wwset ---> false
 CHILD frm = form_char eff = form_wwset ---> false
 CHILD frm = form_set eff = form_wwset ---> false
 CHILD frm = form_record eff = form_wwset ---> false
 CHILD frm = form_char eff = form_wwset ---> false
 CHILD frm = form_set eff = form_wwset ---> false
 CHILD frm = form_record eff = form_wwset ---> false
 CHILD frm = form_char eff = form_wwset ---> false
 CHILD frm = form_set eff = form_wwset ---> false
 CHILD frm = form_record eff = form_int ---> false
 CHILD frm = form_char eff = form_int ---> false
 CHILD frm = form_ennum eff = form_int ---> false
 CHILD frm = form_record eff = form_int ---> false
 CHILD frm = form_char eff = form_int ---> false
 CHILD frm = form_ennum eff = form_int ---> false
 CHILD frm = form_record eff = form_int ---> false
 CHILD frm = form_char eff = form_int ---> false
 CHILD frm = form_ennum eff = form_int ---> false
  P A S - P. WOLFERS SOFTWARE: V3.1-B2 OF 30-JUN-2016  - Run the 18-SEP-2016 at 20:35:21    Page   1
 The Current Source File is "/home/pierre/Soft/cpsh_kits/cpascal_src_V3.1B3/es0.pas".

 The Current Compiled Module is ".standard.".

       C    1    1  {%pragma trace 1; debug_on;}
            1    2  program ESSAI_0;
            1    3  label et_stop;
            1    4  type real = single;
            1    5  var
            1    6    i, j, k: integer := 0;
       C    1    7  
            1    8  function err_hdl( ierr: cc__int ): cc__int;
            1    9  begin
 CHILD frm = form_wfile eff = form_file ---> true
 Generic_Search for np = 1 with Arg_1 f_type form_file     
 CHILD frm = form_wfile eff = form_file ---> true
 Generic_Search for np = 1 with Arg_1 f_type form_record   
 CHILD frm = form_char eff = form_record ---> false
 CHILD frm = form_char eff = form_record ---> false
 CHILD frm = form_pointer eff = form_record ---> false
 CHILD frm = form_record eff = form_record ---> true
 CHILD frm = form_record eff = form_record ---> true
 CHILD frm = form_char eff = form_record ---> false
 Generic_Search for np = 1 with Arg_1 f_type form_int      
 CHILD frm = form_char eff = form_int ---> false
 CHILD frm = form_char eff = form_int ---> false
 CHILD frm = form_pointer eff = form_int ---> false
 CHILD frm = form_record eff = form_int ---> false
 CHILD frm = form_conf eff = form_int ---> false
 CHILD frm = form_int eff = form_int ---> false
 CHILD frm = form_int eff = form_int ---> true
 Generic_Search for np = 1 with Arg_1 f_type form_record   
 CHILD frm = form_char eff = form_record ---> false
 CHILD frm = form_char eff = form_record ---> false
 CHILD frm = form_pointer eff = form_record ---> false
 CHILD frm = form_record eff = form_record ---> true
 CHILD frm = form_record eff = form_record ---> true
 CHILD frm = form_char eff = form_record ---> false
 Generic_Search for np = 0 with No arg.
     1      1   10    WRITELN( err, 'L''erreur # ', ierr, ' a ete detectee.' );
            1   11    goto et_stop;
            1   12    err_hdl := 1
 Generic_Search for np = 2 with Arg_1 f_type form_int      , Arg_2 f_type form_int      
 CHILD frm = form_int eff = form_int ---> true
 CHILD frm = form_pointer eff = form_int ---> false
 Search for std bin
 CHILD frm = form_pointer eff = form_int ---> false
 CHILD frm = form_int eff = form_int ---> true
 CHILD frm = form_fentry eff = form_int ---> false
 Search for std bin
 CHILD frm = form_fentry eff = form_int ---> false
 CHILD frm = form_int eff = form_int ---> true
 CHILD frm = form_ennum eff = form_int ---> false
 CHILD frm = form_ennum eff = form_int ---> false
 Ok for Entry : form_equv     , form_ennum     ->  ------        -> code = pcod_istore
     0      1   13  end err_hdl;
       C    1   14  
       C    1   15  
            1   16  function FAC( r$a: real ): real;
            1   17  begin
 Generic_Search for np = 2 with Arg_1 f_type form_single   , Arg_2 f_type form_single   
 Search for std bin
 CHILD frm = form_int eff = form_single ---> false
 Search for std bin
 CHILD frm = form_single eff = form_single ---> true
 Search for std bin
 CHILD frm = form_int eff = form_single ---> false
 Search for std bin
 CHILD frm = form_single eff = form_single ---> true
 CHILD frm = form_int eff = form_single ---> false
 Search for std bin
 CHILD frm = form_int eff = form_single ---> false
 Search for std bin
 CHILD frm = form_single eff = form_single ---> true
 CHILD frm = form_single eff = form_single ---> true
 Ok for Entry : form_single   , form_single    -> form_single    -> code = pcod_fsub
 Generic_Search for np = 1 with Arg_1 f_type form_single   
 CHILD frm = form_int eff = form_single ---> false
 CHILD frm = form_single eff = form_single ---> true
 Ok for Entry : form_single   ,  ------        -> form_single    -> code = pcod_fabs
 Generic_Search for np = 2 with Arg_1 f_type form_single   , Arg_2 f_type form_single   
 Search for std bin
 CHILD frm = form_int eff = form_single ---> false
 Search for std bin
 CHILD frm = form_char eff = form_single ---> false
 Search for std bin
 CHILD frm = form_lit eff = form_single ---> false
 Search for std bin
 CHILD frm = form_single eff = form_single ---> true
 CHILD frm = form_int eff = form_single ---> false
 Search for std bin
 CHILD frm = form_int eff = form_single ---> false
 Search for std bin
 CHILD frm = form_single eff = form_single ---> true
 CHILD frm = form_single eff = form_single ---> true
 Ok for Entry : form_single   , form_single    -> form_lit       -> code = pcod_flt
     1      1   18    if ABS(r$a - 1.0) < 0.1 then FAC := 1.0
 Generic_Search for np = 2 with Arg_1 f_type form_single   , Arg_2 f_type form_single   
 CHILD frm = form_single eff = form_single ---> true
 CHILD frm = form_pointer eff = form_single ---> false
 Search for std bin
 CHILD frm = form_pointer eff = form_single ---> false
 CHILD frm = form_single eff = form_single ---> true
 CHILD frm = form_fentry eff = form_single ---> false
 Search for std bin
 CHILD frm = form_fentry eff = form_single ---> false
 CHILD frm = form_single eff = form_single ---> true
 CHILD frm = form_ennum eff = form_single ---> false
 Search for std bin
 CHILD frm = form_single eff = form_single ---> true
 CHILD frm = form_int eff = form_single ---> false
 Search for std bin
 CHILD frm = form_int eff = form_single ---> false
 Search for std bin
 CHILD frm = form_single eff = form_single ---> true
 CHILD frm = form_single eff = form_single ---> true
 Ok for Entry : form_single   , form_single    ->  ------        -> code = pcod_fstore
 Generic_Search for np = 2 with Arg_1 f_type form_single   , Arg_2 f_type form_int      
 Search for std bin
 CHILD frm = form_int eff = form_single ---> false
 Search for std bin
 CHILD frm = form_single eff = form_single ---> true
 Search for std bin
 CHILD frm = form_int eff = form_single ---> false
 Search for std bin
 CHILD frm = form_single eff = form_single ---> true
 CHILD frm = form_int eff = form_int ---> true
 Ok for Entry : form_single   , form_int       -> form_single    -> code = pcod_fsub
            1   19               else FAC := r$a*FAC( r$a - 1 )
 Generic_Search for np = 1 with Arg_1 f_type form_single   
 CHILD frm = form_single eff = form_single ---> true
 Generic_Search for np = 2 with Arg_1 f_type form_single   , Arg_2 f_type form_single   
 Search for std bin
 CHILD frm = form_int eff = form_single ---> false
 Search for std bin
 CHILD frm = form_single eff = form_single ---> true
 CHILD frm = form_int eff = form_single ---> false
 Search for std bin
 CHILD frm = form_int eff = form_single ---> false
 Search for std bin
 CHILD frm = form_single eff = form_single ---> true
 CHILD frm = form_single eff = form_single ---> true
 Ok for Entry : form_single   , form_single    -> form_single    -> code = pcod_fmul
 Generic_Search for np = 2 with Arg_1 f_type form_single   , Arg_2 f_type form_single   
 CHILD frm = form_single eff = form_single ---> true
 CHILD frm = form_pointer eff = form_single ---> false
 Search for std bin
 CHILD frm = form_pointer eff = form_single ---> false
 CHILD frm = form_single eff = form_single ---> true
 CHILD frm = form_fentry eff = form_single ---> false
 Search for std bin
 CHILD frm = form_fentry eff = form_single ---> false
 CHILD frm = form_single eff = form_single ---> true
 CHILD frm = form_ennum eff = form_single ---> false
 Search for std bin
 CHILD frm = form_single eff = form_single ---> true
 CHILD frm = form_int eff = form_single ---> false
 Search for std bin
 CHILD frm = form_int eff = form_single ---> false
 Search for std bin
 CHILD frm = form_single eff = form_single ---> true
 CHILD frm = form_single eff = form_single ---> true
 Ok for Entry : form_single   , form_single    ->  ------        -> code = pcod_fstore
     0      1   20  end FAC;
       C    1   21  
            1   22  begin { ESSAI_0 }
 CHILD frm = form_int eff = form_int ---> true
     1      1   23    ESTABLISH( err_hdl );
 Generic_Search for np = 2 with Arg_1 f_type form_int      , Arg_2 f_type form_int      
 CHILD frm = form_int eff = form_int ---> true
 CHILD frm = form_pointer eff = form_int ---> false
 Search for std bin
 CHILD frm = form_pointer eff = form_int ---> false
 CHILD frm = form_int eff = form_int ---> true
 CHILD frm = form_fentry eff = form_int ---> false
 Search for std bin
 CHILD frm = form_fentry eff = form_int ---> false
 CHILD frm = form_int eff = form_int ---> true
 CHILD frm = form_ennum eff = form_int ---> false
 CHILD frm = form_ennum eff = form_int ---> false
 Ok for Entry : form_equv     , form_ennum     ->  ------        -> code = pcod_istore
            1   24    j := 6;
            1   25  ETAA: ;
            1   26  ETBB:
 CHILD frm = form_wfile eff = form_record ---> false
 Generic_Search for np = 1 with Arg_1 f_type form_file     
 CHILD frm = form_wfile eff = form_file ---> true
 Generic_Search for np = 1 with Arg_1 f_type form_record   
 CHILD frm = form_char eff = form_record ---> false
 CHILD frm = form_char eff = form_record ---> false
 CHILD frm = form_pointer eff = form_record ---> false
 CHILD frm = form_record eff = form_record ---> true
 CHILD frm = form_record eff = form_record ---> true
 CHILD frm = form_char eff = form_record ---> false
 Generic_Search for np = 2 with Arg_1 f_type form_int      , Arg_2 f_type form_int      
 CHILD frm = form_char eff = form_int ---> false
 CHILD frm = form_pointer eff = form_int ---> false
 CHILD frm = form_record eff = form_int ---> false
 CHILD frm = form_conf eff = form_int ---> false
 CHILD frm = form_int eff = form_int ---> false
 CHILD frm = form_int eff = form_int ---> true
 CHILD frm = form_int eff = form_int ---> true
            1   27    WRITE( "\n !n de 1 a ", j:0 );
 Generic_Search for np = 2 with Arg_1 f_type form_int      , Arg_2 f_type form_int      
 Search for std bin
 CHILD frm = form_int eff = form_int ---> true
 CHILD frm = form_int eff = form_int ---> true
 Ok for Entry : form_int      , form_int       -> form_lit       -> code = pcod_igt
 CHILD frm = form_wfile eff = form_record ---> false
 Generic_Search for np = 1 with Arg_1 f_type form_file     
 CHILD frm = form_wfile eff = form_file ---> true
 Generic_Search for np = 1 with Arg_1 f_type form_record   
 CHILD frm = form_char eff = form_record ---> false
 CHILD frm = form_char eff = form_record ---> false
 CHILD frm = form_pointer eff = form_record ---> false
 CHILD frm = form_record eff = form_record ---> true
 CHILD frm = form_record eff = form_record ---> true
 CHILD frm = form_char eff = form_record ---> false
            1   28    if j > 50 then WRITE( ' enfin si c''est possible !' );
 Generic_Search for np = 1 with Arg_1 f_type form_file     
 CHILD frm = form_wfile eff = form_file ---> true
 Generic_Search for np = 0 with No arg.
            1   29    WRITELN;
 Generic_Search for np = 2 with Arg_1 f_type form_int      , Arg_2 f_type form_int      
 CHILD frm = form_int eff = form_int ---> true
 CHILD frm = form_pointer eff = form_int ---> false
 Search for std bin
 CHILD frm = form_pointer eff = form_int ---> false
 CHILD frm = form_int eff = form_int ---> true
 CHILD frm = form_fentry eff = form_int ---> false
 Search for std bin
 CHILD frm = form_fentry eff = form_int ---> false
 CHILD frm = form_int eff = form_int ---> true
 CHILD frm = form_ennum eff = form_int ---> false
 CHILD frm = form_ennum eff = form_int ---> false
 Ok for Entry : form_equv     , form_ennum     ->  ------        -> code = pcod_istore
            1   30    i := 1;
            1   31    loop
 CHILD frm = form_wfile eff = form_record ---> false
 Generic_Search for np = 1 with Arg_1 f_type form_file     
 CHILD frm = form_wfile eff = form_file ---> true
 Generic_Search for np = 1 with Arg_1 f_type form_record   
 CHILD frm = form_char eff = form_record ---> false
 CHILD frm = form_char eff = form_record ---> false
 CHILD frm = form_pointer eff = form_record ---> false
 CHILD frm = form_record eff = form_record ---> true
 CHILD frm = form_record eff = form_record ---> true
 CHILD frm = form_char eff = form_record ---> false
 Generic_Search for np = 2 with Arg_1 f_type form_int      , Arg_2 f_type form_int      
 CHILD frm = form_char eff = form_int ---> false
 CHILD frm = form_pointer eff = form_int ---> false
 CHILD frm = form_record eff = form_int ---> false
 CHILD frm = form_conf eff = form_int ---> false
 CHILD frm = form_int eff = form_int ---> false
 CHILD frm = form_int eff = form_int ---> true
 CHILD frm = form_int eff = form_int ---> true
 Generic_Search for np = 1 with Arg_1 f_type form_record   
 CHILD frm = form_char eff = form_record ---> false
 CHILD frm = form_char eff = form_record ---> false
 CHILD frm = form_pointer eff = form_record ---> false
 CHILD frm = form_record eff = form_record ---> true
 CHILD frm = form_record eff = form_record ---> true
 CHILD frm = form_char eff = form_record ---> false
 Generic_Search for np = 1 with Arg_1 f_type form_int      
 CHILD frm = form_int eff = form_int ---> true
 Ok for Entry : form_int      ,  ------        -> form_single    -> code = pcod_cvif
 Generic_Search for np = 1 with Arg_1 f_type form_single   
 CHILD frm = form_single eff = form_single ---> true
 Generic_Search for np = 3 with Arg_1 f_type form_single   , Arg_2 f_type form_int      
 CHILD frm = form_char eff = form_single ---> false
 CHILD frm = form_pointer eff = form_single ---> false
 CHILD frm = form_record eff = form_single ---> false
 CHILD frm = form_conf eff = form_single ---> false
 CHILD frm = form_int eff = form_single ---> false
 CHILD frm = form_int eff = form_single ---> false
 CHILD frm = form_int eff = form_single ---> false
 CHILD frm = form_int eff = form_single ---> false
 CHILD frm = form_ennum eff = form_single ---> false
 CHILD frm = form_single eff = form_single ---> true
 CHILD frm = form_int eff = form_int ---> true
 CHILD frm = form_int eff = form_int ---> true
 Generic_Search for np = 0 with No arg.
     2      1   32      WRITELN( ' i = ', i:6, ', fac(i) =', FAC( REAL( i ) ):10:5 );
 Generic_Search for np = 2 with Arg_1 f_type form_int      , Arg_2 f_type form_int      
 Search for std bin
 CHILD frm = form_int eff = form_int ---> true
 CHILD frm = form_int eff = form_int ---> true
 Ok for Entry : form_int      , form_int       -> form_int       -> code = pcod_iadd
 Generic_Search for np = 2 with Arg_1 f_type form_int      , Arg_2 f_type form_int      
 CHILD frm = form_int eff = form_int ---> true
 CHILD frm = form_pointer eff = form_int ---> false
 Search for std bin
 CHILD frm = form_pointer eff = form_int ---> false
 CHILD frm = form_int eff = form_int ---> true
 CHILD frm = form_fentry eff = form_int ---> false
 Search for std bin
 CHILD frm = form_fentry eff = form_int ---> false
 CHILD frm = form_int eff = form_int ---> true
 CHILD frm = form_ennum eff = form_int ---> false
 CHILD frm = form_ennum eff = form_int ---> false
 Ok for Entry : form_equv     , form_ennum     ->  ------        -> code = pcod_istore
            1   33      i := i + 1;
 Generic_Search for np = 2 with Arg_1 f_type form_int      , Arg_2 f_type form_int      
 CHILD frm = form_int eff = form_int ---> true
 CHILD frm = form_ennum eff = form_int ---> false
 CHILD frm = form_ennum eff = form_int ---> false
 Ok for Entry : form_equv     , form_ennum     -> form_lit       -> code = pcod_eq
 Generic_Search for np = 2 with Arg_1 f_type form_int      , Arg_2 f_type form_int      
 CHILD frm = form_int eff = form_int ---> true
 CHILD frm = form_ennum eff = form_int ---> false
 CHILD frm = form_ennum eff = form_int ---> false
 Ok for Entry : form_equv     , form_ennum     -> form_lit       -> code = pcod_eq
 Generic_Search for np = 2 with Arg_1 f_type form_lit      , Arg_2 f_type form_lit      
 Search for std bin
 CHILD frm = form_lit eff = form_lit ---> true
 CHILD frm = form_lit eff = form_lit ---> true
 Ok for Entry : form_lit      , form_lit       -> form_lit       -> code = pcod_and
 Generic_Search for np = 2 with Arg_1 f_type form_int      , Arg_2 f_type form_int      
 Search for std bin
 CHILD frm = form_int eff = form_int ---> true
 CHILD frm = form_int eff = form_int ---> true
 Ok for Entry : form_int      , form_int       -> form_int       -> code = pcod_iadd
 Generic_Search for np = 2 with Arg_1 f_type form_int      , Arg_2 f_type form_int      
 CHILD frm = form_int eff = form_int ---> true
 CHILD frm = form_pointer eff = form_int ---> false
 Search for std bin
 CHILD frm = form_pointer eff = form_int ---> false
 CHILD frm = form_int eff = form_int ---> true
 CHILD frm = form_fentry eff = form_int ---> false
 Search for std bin
 CHILD frm = form_fentry eff = form_int ---> false
 CHILD frm = form_int eff = form_int ---> true
 CHILD frm = form_ennum eff = form_int ---> false
 CHILD frm = form_ennum eff = form_int ---> false
 Ok for Entry : form_equv     , form_ennum     ->  ------        -> code = pcod_istore
 Generic_Search for np = 2 with Arg_1 f_type form_int      , Arg_2 f_type form_int      
 CHILD frm = form_int eff = form_int ---> true
 CHILD frm = form_pointer eff = form_int ---> false
 Search for std bin
 CHILD frm = form_pointer eff = form_int ---> false
 CHILD frm = form_int eff = form_int ---> true
 CHILD frm = form_fentry eff = form_int ---> false
 Search for std bin
 CHILD frm = form_fentry eff = form_int ---> false
 CHILD frm = form_int eff = form_int ---> true
 CHILD frm = form_ennum eff = form_int ---> false
 CHILD frm = form_ennum eff = form_int ---> false
 Ok for Entry : form_equv     , form_ennum     ->  ------        -> code = pcod_istore
            1   34      if k = 0 and i = 7 then begin  k := k + 1; j := 4; goto ETAA  end;
 Generic_Search for np = 2 with Arg_1 f_type form_int      , Arg_2 f_type form_int      
 CHILD frm = form_int eff = form_int ---> true
 CHILD frm = form_ennum eff = form_int ---> false
 CHILD frm = form_ennum eff = form_int ---> false
 Ok for Entry : form_equv     , form_ennum     -> form_lit       -> code = pcod_eq
 Generic_Search for np = 2 with Arg_1 f_type form_int      , Arg_2 f_type form_int      
 CHILD frm = form_int eff = form_int ---> true
 CHILD frm = form_ennum eff = form_int ---> false
 CHILD frm = form_ennum eff = form_int ---> false
 Ok for Entry : form_equv     , form_ennum     -> form_lit       -> code = pcod_eq
 Generic_Search for np = 2 with Arg_1 f_type form_lit      , Arg_2 f_type form_lit      
 Search for std bin
 CHILD frm = form_lit eff = form_lit ---> true
 CHILD frm = form_lit eff = form_lit ---> true
 Ok for Entry : form_lit      , form_lit       -> form_lit       -> code = pcod_and
 Generic_Search for np = 2 with Arg_1 f_type form_int      , Arg_2 f_type form_int      
 Search for std bin
 CHILD frm = form_int eff = form_int ---> true
 CHILD frm = form_int eff = form_int ---> true
 Ok for Entry : form_int      , form_int       -> form_int       -> code = pcod_iadd
 Generic_Search for np = 2 with Arg_1 f_type form_int      , Arg_2 f_type form_int      
 CHILD frm = form_int eff = form_int ---> true
 CHILD frm = form_pointer eff = form_int ---> false
 Search for std bin
 CHILD frm = form_pointer eff = form_int ---> false
 CHILD frm = form_int eff = form_int ---> true
 CHILD frm = form_fentry eff = form_int ---> false
 Search for std bin
 CHILD frm = form_fentry eff = form_int ---> false
 CHILD frm = form_int eff = form_int ---> true
 CHILD frm = form_ennum eff = form_int ---> false
 CHILD frm = form_ennum eff = form_int ---> false
 Ok for Entry : form_equv     , form_ennum     ->  ------        -> code = pcod_istore
 Generic_Search for np = 2 with Arg_1 f_type form_int      , Arg_2 f_type form_int      
 CHILD frm = form_int eff = form_int ---> true
 CHILD frm = form_pointer eff = form_int ---> false
 Search for std bin
 CHILD frm = form_pointer eff = form_int ---> false
 CHILD frm = form_int eff = form_int ---> true
 CHILD frm = form_fentry eff = form_int ---> false
 Search for std bin
 CHILD frm = form_fentry eff = form_int ---> false
 CHILD frm = form_int eff = form_int ---> true
 CHILD frm = form_ennum eff = form_int ---> false
 CHILD frm = form_ennum eff = form_int ---> false
 Ok for Entry : form_equv     , form_ennum     ->  ------        -> code = pcod_istore
            1   35      if k = 1 and i = 5 then begin  k := k + 1; j := 499; goto ETBB  end;
 Generic_Search for np = 2 with Arg_1 f_type form_int      , Arg_2 f_type form_int      
 Search for std bin
 CHILD frm = form_int eff = form_int ---> true
 CHILD frm = form_int eff = form_int ---> true
 Ok for Entry : form_int      , form_int       -> form_lit       -> code = pcod_igt
            1   36    exit if i > 500;
     1      1   37    end { loop };
            1   38  et_stop:
       C    1   39  (*
       C    1   40  WRITELN( ' AU revoir' )
       C    1   41  *)
     0      1   42  end ESSAI_0.
            1   43  
