where                           kind    type(node)
mkode return                    32      LetterId__state
kind   =                                32
vlineno   =                             9999
pre_num   =                             null
post_num   =                            null
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           1
signature   =                           37
sig_done   =                            null
sel_type   =                            null
id_str_table_index   =                  null
id_use_list   =                         null
id_last_definition   =                  null
id_def_found   =                        null
sel_index   =                           null
id_appl   =                             null
id_forward_ref   =                      null
mkode return                    32      LetterId__state
kind   =                                32
vlineno   =                             9999
pre_num   =                             null
post_num   =                            null
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           2
signature   =                           41
sig_done   =                            null
sel_type   =                            null
id_str_table_index   =                  null
id_use_list   =                         null
id_last_definition   =                  null
id_def_found   =                        null
sel_index   =                           null
id_appl   =                             null
id_forward_ref   =                      null
mkode return                    32      LetterId__state
kind   =                                32
vlineno   =                             9999
pre_num   =                             null
post_num   =                            null
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           3
signature   =                           40
sig_done   =                            null
sel_type   =                            null
id_str_table_index   =                  null
id_use_list   =                         null
id_last_definition   =                  null
id_def_found   =                        null
sel_index   =                           null
id_appl   =                             null
id_forward_ref   =                      null
mkode return                    32      LetterId__state
kind   =                                32
vlineno   =                             9999
pre_num   =                             null
post_num   =                            null
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           4
signature   =                           43
sig_done   =                            null
sel_type   =                            null
id_str_table_index   =                  null
id_use_list   =                         null
id_last_definition   =                  null
id_def_found   =                        null
sel_index   =                           null
id_appl   =                             null
id_forward_ref   =                      null
mkode return                    32      LetterId__state
kind   =                                32
vlineno   =                             9999
pre_num   =                             null
post_num   =                            null
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           5
signature   =                           27
sig_done   =                            null
sel_type   =                            null
id_str_table_index   =                  null
id_use_list   =                         null
id_last_definition   =                  null
id_def_found   =                        null
sel_index   =                           null
id_appl   =                             null
id_forward_ref   =                      null
mkode return                    32      LetterId__state
kind   =                                32
vlineno   =                             9999
pre_num   =                             null
post_num   =                            null
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           6
signature   =                           24
sig_done   =                            null
sel_type   =                            null
id_str_table_index   =                  null
id_use_list   =                         null
id_last_definition   =                  null
id_def_found   =                        null
sel_index   =                           null
id_appl   =                             null
id_forward_ref   =                      null
mkode return                    32      LetterId__state
kind   =                                32
vlineno   =                             9999
pre_num   =                             null
post_num   =                            null
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           7
signature   =                           45
sig_done   =                            null
sel_type   =                            null
id_str_table_index   =                  null
id_use_list   =                         null
id_last_definition   =                  null
id_def_found   =                        null
sel_index   =                           null
id_appl   =                             null
id_forward_ref   =                      null
mkode return                    32      LetterId__state
kind   =                                32
vlineno   =                             9999
pre_num   =                             null
post_num   =                            null
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           8
signature   =                           51
sig_done   =                            null
sel_type   =                            null
id_str_table_index   =                  null
id_use_list   =                         null
id_last_definition   =                  null
id_def_found   =                        null
sel_index   =                           null
id_appl   =                             null
id_forward_ref   =                      null
mkode return                    32      LetterId__state
kind   =                                32
vlineno   =                             9999
pre_num   =                             null
post_num   =                            null
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           9
signature   =                           16
sig_done   =                            null
sel_type   =                            null
id_str_table_index   =                  null
id_use_list   =                         null
id_last_definition   =                  null
id_def_found   =                        null
sel_index   =                           null
id_appl   =                             null
id_forward_ref   =                      null
mkode return                    32      LetterId__state
kind   =                                32
vlineno   =                             9999
pre_num   =                             null
post_num   =                            null
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           10
signature   =                           14
sig_done   =                            null
sel_type   =                            null
id_str_table_index   =                  null
id_use_list   =                         null
id_last_definition   =                  null
id_def_found   =                        null
sel_index   =                           null
id_appl   =                             null
id_forward_ref   =                      null
mkode return                    5       ValSignature__state
kind   =                                5
vlineno   =                             9999
pre_num   =                             null
post_num   =                            null
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           11
signature   =                           LetterId__state
sig_done   =                            null
val_denotation   =                      null
mkode return                    5       ValSignature__state
kind   =                                5
vlineno   =                             9999
pre_num   =                             null
post_num   =                            null
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           12
signature   =                           LetterId__state
sig_done   =                            null
val_denotation   =                      null
mkode return                    5       ValSignature__state
kind   =                                5
vlineno   =                             9999
pre_num   =                             null
post_num   =                            null
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           13
signature   =                           LetterId__state
sig_done   =                            null
val_denotation   =                      null
mkode return                    4       VarSignature__state
kind   =                                4
vlineno   =                             9999
pre_num   =                             null
post_num   =                            null
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           14
signature   =                           LetterId__state
sig_done   =                            null
var_denotation   =                      null
mkode return                    32      LetterId__state
kind   =                                32
vlineno   =                             9999
pre_num   =                             null
post_num   =                            null
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           15
signature   =                           null
sig_done   =                            null
sel_type   =                            null
id_str_table_index   =                  null
id_use_list   =                         null
id_last_definition   =                  null
id_def_found   =                        null
sel_index   =                           null
id_appl   =                             null
id_forward_ref   =                      null
mkode return                    5       ValSignature__state
kind   =                                5
vlineno   =                             9999
pre_num   =                             null
post_num   =                            null
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           16
signature   =                           LetterId__state
sig_done   =                            null
val_denotation   =                      null
mkode return                    2       ParameterNode__state
kind   =                                2
vlineno   =                             9999
pre_num   =                             null
post_num   =                            null
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           17
par_id   =                              null
par_signature   =                       ValSignature__state
displacement   =                        null
level   =                               null
par_previous_definition   =             null
par_scope   =                           null
par_only_def   =                        null
mkode return                    32      LetterId__state
kind   =                                32
vlineno   =                             9999
pre_num   =                             null
post_num   =                            null
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           18
signature   =                           null
sig_done   =                            null
sel_type   =                            null
id_str_table_index   =                  null
id_use_list   =                         null
id_last_definition   =                  null
id_def_found   =                        null
sel_index   =                           null
id_appl   =                             null
id_forward_ref   =                      null
mkode return                    4       VarSignature__state
kind   =                                4
vlineno   =                             9999
pre_num   =                             null
post_num   =                            null
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           19
signature   =                           LetterId__state
sig_done   =                            null
var_denotation   =                      null
mkode return                    2       ParameterNode__state
kind   =                                2
vlineno   =                             9999
pre_num   =                             null
post_num   =                            null
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           20
par_id   =                              0
par_signature   =                       VarSignature__state
displacement   =                        null
level   =                               null
par_previous_definition   =             null
par_scope   =                           null
par_only_def   =                        null
mklist va_alist
mklist va_alist
mklist va_alist
Creating emptylist
Creating emptylist
mkode return                    0       ListHeaderNode__state
kind   =                                0
vlineno   =                             9999
pre_num   =                             null
post_num   =                            null
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           21
lh_first   =                            null
lh_last   =                             null
kind   =                                0
vlineno   =                             9999
pre_num   =                             null
post_num   =                            null
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           21
lh_first   =                            null
lh_last   =                             null
mklist type p = ParameterNode__state
kind   =                                2
vlineno   =                             9999
pre_num   =                             null
post_num   =                            null
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           20
par_id   =                              0
par_signature   =                       VarSignature__state
displacement   =                        null
level   =                               null
par_previous_definition   =             null
par_scope   =                           null
par_only_def   =                        null
mklist l before addright(l,p)
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           21
mklist p before addright(l,p)
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           20
addright dump_info(e) = ParameterNode__state
addright dump_info(e) = ParameterNode__state
addright 2 p = ConsNode__state
addright 2 p = ConsNode__state
cn_hd_field   =                         ParameterNode__state
cn_tl_field   =                         null
Unique Id   =                           22
is empty l.lh_first TRUE
is empty l.lh_first TRUE
addright 3 l = emptyListHeaderNode__state
addright 3 l = emptyListHeaderNode__state
addright - in next node lh first & last should equal p above
addright - in next node lh first & last should equal p above
kind   =                                0
vlineno   =                             9999
pre_num   =                             null
post_num   =                            null
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           21
lh_first   =                            ConsNode__state
lh_last   =                             ConsNode__state
addright return
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           21
mklist l after addright(l,p)
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           21
mklist type p = ParameterNode__state
kind   =                                2
vlineno   =                             9999
pre_num   =                             null
post_num   =                            null
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           17
par_id   =                              null
par_signature   =                       ValSignature__state
displacement   =                        null
level   =                               null
par_previous_definition   =             null
par_scope   =                           null
par_only_def   =                        null
mklist l before addright(l,p)
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           21
mklist p before addright(l,p)
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           17
addright dump_info(e) = ParameterNode__state
addright dump_info(e) = ParameterNode__state
addright 2 p = ConsNode__state
addright 2 p = ConsNode__state
cn_hd_field   =                         ParameterNode__state
cn_tl_field   =                         null
Unique Id   =                           23
is empty lh_first - FALSE
is empty lh_first - FALSE
addright - in next node lh last.cn_tl_field should equal p above
addright - in next node lh last.cn_tl_field should equal p above
cn_hd_field   =                         ParameterNode__state
cn_tl_field   =                         null
Unique Id   =                           23
addright - in next node lh last should equal p above
kind   =                                0
vlineno   =                             9999
pre_num   =                             null
post_num   =                            null
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           21
lh_first   =                            ConsNode__state
lh_last   =                             ConsNode__state
addright return
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           21
mklist l after addright(l,p)
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           21
mklist done
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           21
mklist va_alist
mklist va_alist
mklist va_alist
Creating emptylist
Creating emptylist
mkode return                    0       ListHeaderNode__state
kind   =                                0
vlineno   =                             9999
pre_num   =                             null
post_num   =                            null
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           24
lh_first   =                            null
lh_last   =                             null
kind   =                                0
vlineno   =                             9999
pre_num   =                             null
post_num   =                            null
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           24
lh_first   =                            null
lh_last   =                             null
mklist type p = ParameterNode__state
kind   =                                2
vlineno   =                             9999
pre_num   =                             null
post_num   =                            null
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           17
par_id   =                              null
par_signature   =                       ValSignature__state
displacement   =                        null
level   =                               null
par_previous_definition   =             null
par_scope   =                           null
par_only_def   =                        null
mklist l before addright(l,p)
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           24
mklist p before addright(l,p)
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           17
addright dump_info(e) = ParameterNode__state
addright dump_info(e) = ParameterNode__state
addright 2 p = ConsNode__state
addright 2 p = ConsNode__state
cn_hd_field   =                         ParameterNode__state
cn_tl_field   =                         null
Unique Id   =                           25
is empty l.lh_first TRUE
is empty l.lh_first TRUE
addright 3 l = emptyListHeaderNode__state
addright 3 l = emptyListHeaderNode__state
addright - in next node lh first & last should equal p above
addright - in next node lh first & last should equal p above
kind   =                                0
vlineno   =                             9999
pre_num   =                             null
post_num   =                            null
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           24
lh_first   =                            ConsNode__state
lh_last   =                             ConsNode__state
addright return
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           24
mklist l after addright(l,p)
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           24
mklist type p = ParameterNode__state
kind   =                                2
vlineno   =                             9999
pre_num   =                             null
post_num   =                            null
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           17
par_id   =                              null
par_signature   =                       ValSignature__state
displacement   =                        null
level   =                               null
par_previous_definition   =             null
par_scope   =                           null
par_only_def   =                        null
mklist l before addright(l,p)
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           24
mklist p before addright(l,p)
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           17
addright dump_info(e) = ParameterNode__state
addright dump_info(e) = ParameterNode__state
addright 2 p = ConsNode__state
addright 2 p = ConsNode__state
cn_hd_field   =                         ParameterNode__state
cn_tl_field   =                         null
Unique Id   =                           26
is empty lh_first - FALSE
is empty lh_first - FALSE
addright - in next node lh last.cn_tl_field should equal p above
addright - in next node lh last.cn_tl_field should equal p above
cn_hd_field   =                         ParameterNode__state
cn_tl_field   =                         null
Unique Id   =                           26
addright - in next node lh last should equal p above
kind   =                                0
vlineno   =                             9999
pre_num   =                             null
post_num   =                            null
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           24
lh_first   =                            ConsNode__state
lh_last   =                             ConsNode__state
addright return
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           24
mklist l after addright(l,p)
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           24
mklist done
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           24
mklist va_alist
mklist va_alist
mklist va_alist
Creating emptylist
Creating emptylist
mkode return                    0       ListHeaderNode__state
kind   =                                0
vlineno   =                             9999
pre_num   =                             null
post_num   =                            null
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           27
lh_first   =                            null
lh_last   =                             null
kind   =                                0
vlineno   =                             9999
pre_num   =                             null
post_num   =                            null
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           27
lh_first   =                            null
lh_last   =                             null
mklist type p = ParameterNode__state
kind   =                                2
vlineno   =                             9999
pre_num   =                             null
post_num   =                            null
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           20
par_id   =                              0
par_signature   =                       VarSignature__state
displacement   =                        null
level   =                               null
par_previous_definition   =             null
par_scope   =                           null
par_only_def   =                        null
mklist l before addright(l,p)
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           27
mklist p before addright(l,p)
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           20
addright dump_info(e) = ParameterNode__state
addright dump_info(e) = ParameterNode__state
addright 2 p = ConsNode__state
addright 2 p = ConsNode__state
cn_hd_field   =                         ParameterNode__state
cn_tl_field   =                         null
Unique Id   =                           28
is empty l.lh_first TRUE
is empty l.lh_first TRUE
addright 3 l = emptyListHeaderNode__state
addright 3 l = emptyListHeaderNode__state
addright - in next node lh first & last should equal p above
addright - in next node lh first & last should equal p above
kind   =                                0
vlineno   =                             9999
pre_num   =                             null
post_num   =                            null
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           27
lh_first   =                            ConsNode__state
lh_last   =                             ConsNode__state
addright return
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           27
mklist l after addright(l,p)
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           27
mklist type p = ParameterNode__state
kind   =                                2
vlineno   =                             9999
pre_num   =                             null
post_num   =                            null
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           20
par_id   =                              0
par_signature   =                       VarSignature__state
displacement   =                        null
level   =                               null
par_previous_definition   =             null
par_scope   =                           null
par_only_def   =                        null
mklist l before addright(l,p)
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           27
mklist p before addright(l,p)
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           20
addright dump_info(e) = ParameterNode__state
addright dump_info(e) = ParameterNode__state
addright 2 p = ConsNode__state
addright 2 p = ConsNode__state
cn_hd_field   =                         ParameterNode__state
cn_tl_field   =                         null
Unique Id   =                           29
is empty lh_first - FALSE
is empty lh_first - FALSE
addright - in next node lh last.cn_tl_field should equal p above
addright - in next node lh last.cn_tl_field should equal p above
cn_hd_field   =                         ParameterNode__state
cn_tl_field   =                         null
Unique Id   =                           29
addright - in next node lh last should equal p above
kind   =                                0
vlineno   =                             9999
pre_num   =                             null
post_num   =                            null
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           27
lh_first   =                            ConsNode__state
lh_last   =                             ConsNode__state
addright return
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           27
mklist l after addright(l,p)
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           27
mklist done
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           27
mkode return                    6       FSignature__state
kind   =                                6
vlineno   =                             9999
pre_num   =                             null
post_num   =                            null
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           30
signature   =                           null
sig_done   =                            ListHeaderNode__state
fsig_construction   =                   ValSignature__state
fsig_special   =                        null
fsig_slink_known   =                    null
fsig_inline_code   =                    null
fsig_param_list   =                     null
fsig_result_sig   =                     null
mkode return                    6       FSignature__state
kind   =                                6
vlineno   =                             9999
pre_num   =                             null
post_num   =                            null
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           31
signature   =                           null
sig_done   =                            ListHeaderNode__state
fsig_construction   =                   ValSignature__state
fsig_special   =                        null
fsig_slink_known   =                    null
fsig_inline_code   =                    null
fsig_param_list   =                     null
fsig_result_sig   =                     null
mkode return                    6       FSignature__state
kind   =                                6
vlineno   =                             9999
pre_num   =                             null
post_num   =                            null
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           32
signature   =                           null
sig_done   =                            ListHeaderNode__state
fsig_construction   =                   ValSignature__state
fsig_special   =                        null
fsig_slink_known   =                    null
fsig_inline_code   =                    null
fsig_param_list   =                     null
fsig_result_sig   =                     null
Creating emptylist
Creating emptylist
mkode return                    0       ListHeaderNode__state
kind   =                                0
vlineno   =                             9999
pre_num   =                             null
post_num   =                            null
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           33
lh_first   =                            null
lh_last   =                             null
kind   =                                0
vlineno   =                             9999
pre_num   =                             null
post_num   =                            null
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           33
lh_first   =                            null
lh_last   =                             null
mkode return                    6       FSignature__state
kind   =                                6
vlineno   =                             9999
pre_num   =                             null
post_num   =                            null
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           34
signature   =                           null
sig_done   =                            ListHeaderNode__state
fsig_construction   =                   VarSignature__state
fsig_special   =                        null
fsig_slink_known   =                    null
fsig_inline_code   =                    null
fsig_param_list   =                     null
fsig_result_sig   =                     null
Creating emptylist
Creating emptylist
mkode return                    0       ListHeaderNode__state
kind   =                                0
vlineno   =                             9999
pre_num   =                             null
post_num   =                            null
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           35
lh_first   =                            null
lh_last   =                             null
kind   =                                0
vlineno   =                             9999
pre_num   =                             null
post_num   =                            null
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           35
lh_first   =                            null
lh_last   =                             null
mkode return                    6       FSignature__state
kind   =                                6
vlineno   =                             9999
pre_num   =                             null
post_num   =                            null
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           36
signature   =                           null
sig_done   =                            ListHeaderNode__state
fsig_construction   =                   ValSignature__state
fsig_special   =                        null
fsig_slink_known   =                    null
fsig_inline_code   =                    null
fsig_param_list   =                     null
fsig_result_sig   =                     null
mklist va_alist
mklist va_alist
mklist va_alist
Creating emptylist
Creating emptylist
mkode return                    0       ListHeaderNode__state
kind   =                                0
vlineno   =                             9999
pre_num   =                             null
post_num   =                            null
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           37
lh_first   =                            null
lh_last   =                             null
kind   =                                0
vlineno   =                             9999
pre_num   =                             null
post_num   =                            null
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           37
lh_first   =                            null
lh_last   =                             null
mklist type p = ParameterNode__state
kind   =                                2
vlineno   =                             9999
pre_num   =                             null
post_num   =                            null
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           20
par_id   =                              0
par_signature   =                       VarSignature__state
displacement   =                        null
level   =                               null
par_previous_definition   =             null
par_scope   =                           null
par_only_def   =                        null
mklist l before addright(l,p)
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           37
mklist p before addright(l,p)
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           20
addright dump_info(e) = ParameterNode__state
addright dump_info(e) = ParameterNode__state
addright 2 p = ConsNode__state
addright 2 p = ConsNode__state
cn_hd_field   =                         ParameterNode__state
cn_tl_field   =                         null
Unique Id   =                           38
is empty l.lh_first TRUE
is empty l.lh_first TRUE
addright 3 l = emptyListHeaderNode__state
addright 3 l = emptyListHeaderNode__state
addright - in next node lh first & last should equal p above
addright - in next node lh first & last should equal p above
kind   =                                0
vlineno   =                             9999
pre_num   =                             null
post_num   =                            null
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           37
lh_first   =                            ConsNode__state
lh_last   =                             ConsNode__state
addright return
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           37
mklist l after addright(l,p)
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           37
mklist done
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           37
mkode return                    6       FSignature__state
kind   =                                6
vlineno   =                             9999
pre_num   =                             null
post_num   =                            null
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           39
signature   =                           null
sig_done   =                            ListHeaderNode__state
fsig_construction   =                   ValSignature__state
fsig_special   =                        null
fsig_slink_known   =                    null
fsig_inline_code   =                    null
fsig_param_list   =                     null
fsig_result_sig   =                     null
mkode return                    10      SignatureSigNode__state
kind   =                                10
vlineno   =                             9999
pre_num   =                             null
post_num   =                            null
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           40
signature   =                           null
sig_done   =                            null
mkode return                    32      LetterId__state
kind   =                                32
vlineno   =                             9999
pre_num   =                             null
post_num   =                            null
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           41
signature   =                           38
sig_done   =                            null
sel_type   =                            null
id_str_table_index   =                  null
id_use_list   =                         null
id_last_definition   =                  null
id_def_found   =                        null
sel_index   =                           null
id_appl   =                             null
id_forward_ref   =                      null
Creating emptylist
Creating emptylist
mkode return                    0       ListHeaderNode__state
kind   =                                0
vlineno   =                             9999
pre_num   =                             null
post_num   =                            null
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           42
lh_first   =                            null
lh_last   =                             null
kind   =                                0
vlineno   =                             9999
pre_num   =                             null
post_num   =                            null
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           42
lh_first   =                            null
lh_last   =                             null
mkode return                    13      ApplicationNode__state
kind   =                                13
vlineno   =                             9999
pre_num   =                             null
post_num   =                            null
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           43
signature   =                           LetterId__state
sig_done   =                            ListHeaderNode__state
ap_operator   =                         null
ap_args   =                             null
ap_void_decl   =                        null
mkode return                    32      LetterId__state
kind   =                                32
vlineno   =                             9999
pre_num   =                             null
post_num   =                            null
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           44
signature   =                           39
sig_done   =                            null
sel_type   =                            null
id_str_table_index   =                  null
id_use_list   =                         null
id_last_definition   =                  null
id_def_found   =                        null
sel_index   =                           null
id_appl   =                             null
id_forward_ref   =                      null
Creating emptylist
Creating emptylist
mkode return                    0       ListHeaderNode__state
kind   =                                0
vlineno   =                             9999
pre_num   =                             null
post_num   =                            null
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           45
lh_first   =                            null
lh_last   =                             null
kind   =                                0
vlineno   =                             9999
pre_num   =                             null
post_num   =                            null
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           45
lh_first   =                            null
lh_last   =                             null
mkode return                    13      ApplicationNode__state
kind   =                                13
vlineno   =                             9999
pre_num   =                             null
post_num   =                            null
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           46
signature   =                           LetterId__state
sig_done   =                            ListHeaderNode__state
ap_operator   =                         null
ap_args   =                             null
ap_void_decl   =                        null
Creating emptylist
Creating emptylist
mkode return                    0       ListHeaderNode__state
kind   =                                0
vlineno   =                             9999
pre_num   =                             null
post_num   =                            null
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           47
lh_first   =                            null
lh_last   =                             null
kind   =                                0
vlineno   =                             9999
pre_num   =                             null
post_num   =                            null
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           47
lh_first   =                            null
lh_last   =                             null
mkode return                    13      ApplicationNode__state
kind   =                                13
vlineno   =                             9999
pre_num   =                             null
post_num   =                            null
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           48
signature   =                           LetterId__state
sig_done   =                            ListHeaderNode__state
ap_operator   =                         null
ap_args   =                             null
ap_void_decl   =                        null
mkode return                    34      UQStrNode__state
kind   =                                34
vlineno   =                             1
pre_num   =                             null
post_num   =                            null
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           49
signature   =                           1872
sig_done   =                            null
sel_type   =                            null
str_string   =                          null
str_use_list   =                        null
str_expansion   =                       null
mklist va_alist
mklist va_alist
mklist va_alist
Creating emptylist
Creating emptylist
mkode return                    0       ListHeaderNode__state
kind   =                                0
vlineno   =                             1
pre_num   =                             null
post_num   =                            null
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           50
lh_first   =                            null
lh_last   =                             null
kind   =                                0
vlineno   =                             1
pre_num   =                             null
post_num   =                            null
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           50
lh_first   =                            null
lh_last   =                             null
mklist type p = UQStrNode__state
kind   =                                34
vlineno   =                             1
pre_num   =                             null
post_num   =                            null
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           49
signature   =                           1872
sig_done   =                            null
sel_type   =                            null
str_string   =                          null
str_use_list   =                        null
str_expansion   =                       null
mklist l before addright(l,p)
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           50
mklist p before addright(l,p)
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           49
addright dump_info(e) = UQStrNode__state
addright dump_info(e) = UQStrNode__state
addright 2 p = ConsNode__state
addright 2 p = ConsNode__state
cn_hd_field   =                         UQStrNode__state
cn_tl_field   =                         null
Unique Id   =                           51
is empty l.lh_first TRUE
is empty l.lh_first TRUE
addright 3 l = emptyListHeaderNode__state
addright 3 l = emptyListHeaderNode__state
addright - in next node lh first & last should equal p above
addright - in next node lh first & last should equal p above
kind   =                                0
vlineno   =                             1
pre_num   =                             null
post_num   =                            null
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           50
lh_first   =                            ConsNode__state
lh_last   =                             ConsNode__state
addright return
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           50
mklist l after addright(l,p)
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           50
mklist done
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           50
IN LENGTH
length count = 0dump_info(self.lh_first) = ConsNode__state
length count = 1dump_info(v) = UQStrNode__state
list_to_array count = 0dump_info(self.lh_first) = ConsNode__state
list to array len = 1 tmp = ConsNode__state
list to array count = 1 v = UQStrNode__state
mklist va_alist
mklist va_alist
mklist va_alist
Creating emptylist
Creating emptylist
mkode return                    0       ListHeaderNode__state
kind   =                                0
vlineno   =                             1
pre_num   =                             null
post_num   =                            null
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           52
lh_first   =                            null
lh_last   =                             null
kind   =                                0
vlineno   =                             1
pre_num   =                             null
post_num   =                            null
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           52
lh_first   =                            null
lh_last   =                             null
mklist type p = UQStrNode__state
kind   =                                34
vlineno   =                             1
pre_num   =                             null
post_num   =                            null
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           49
signature   =                           1872
sig_done   =                            null
sel_type   =                            null
str_string   =                          null
str_use_list   =                        null
str_expansion   =                       null
mklist l before addright(l,p)
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           52
mklist p before addright(l,p)
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           49
addright dump_info(e) = UQStrNode__state
addright dump_info(e) = UQStrNode__state
addright 2 p = ConsNode__state
addright 2 p = ConsNode__state
cn_hd_field   =                         UQStrNode__state
cn_tl_field   =                         null
Unique Id   =                           53
is empty l.lh_first TRUE
is empty l.lh_first TRUE
addright 3 l = emptyListHeaderNode__state
addright 3 l = emptyListHeaderNode__state
addright - in next node lh first & last should equal p above
addright - in next node lh first & last should equal p above
kind   =                                0
vlineno   =                             1
pre_num   =                             null
post_num   =                            null
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           52
lh_first   =                            ConsNode__state
lh_last   =                             ConsNode__state
addright return
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           52
mklist l after addright(l,p)
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           52
mklist done
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           52
is empty lh_first - FALSE
is empty lh_first - FALSE
