/*
**
** The C code is generated by ATS/Anairiats
** The compilation time is: 2019-12-18:  5h:28m
**
*/

/* include some .h files */
#ifndef _ATS_HEADER_NONE
#include "ats_config.h"
#include "ats_basics.h"
#include "ats_types.h"
#include "ats_exception.h"
#include "ats_memory.h"
#endif /* _ATS_HEADER_NONE */

/* include some .cats files */
#ifndef _ATS_PRELUDE_NONE
#include "prelude/CATS/basics.cats"
#include "prelude/CATS/integer.cats"
#include "prelude/CATS/sizetype.cats"
#include "prelude/CATS/integer_ptr.cats"
#include "prelude/CATS/integer_fixed.cats"
#include "prelude/CATS/pointer.cats"
#include "prelude/CATS/bool.cats"
#include "prelude/CATS/char.cats"
#include "prelude/CATS/byte.cats"
#include "prelude/CATS/float.cats"
#include "prelude/CATS/string.cats"
#include "prelude/CATS/reference.cats"
#include "prelude/CATS/lazy.cats"
#include "prelude/CATS/lazy_vt.cats"
#include "prelude/CATS/printf.cats"
#include "prelude/CATS/list.cats"
#include "prelude/CATS/option.cats"
#include "prelude/CATS/array.cats"
#include "prelude/CATS/matrix.cats"
#endif /* _ATS_PRELUDE_NONE */
/* prologues from statically loaded files */

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_lexbuf.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_lexbuf.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_lexbuf.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_lexbuf.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_location.cats"
/* external codes at top */
/* type definitions */
typedef
struct {
ats_ptr_type atslab_p1at_loc ;
ats_ptr_type atslab_p1at_node ;
} anairiats_rec_0 ;

typedef struct {
int tag ;
ats_ptr_type atslab_0 ;
} anairiats_sum_1 ;

typedef struct {
int tag ;
ats_ptr_type atslab_0 ;
ats_ptr_type atslab_1 ;
} anairiats_sum_2 ;

typedef struct {
int tag ;
ats_int_type atslab_0 ;
} anairiats_sum_3 ;

typedef struct {
int tag ;
ats_char_type atslab_0 ;
} anairiats_sum_4 ;

typedef struct {
ats_ptr_type atslab_0 ;
ats_ptr_type atslab_1 ;
} anairiats_sum_5 ;

typedef struct {
int tag ;
ats_ptr_type atslab_0 ;
ats_ptr_type atslab_1 ;
ats_int_type atslab_2 ;
ats_ptr_type atslab_3 ;
} anairiats_sum_6 ;

typedef struct {
int tag ;
ats_int_type atslab_0 ;
ats_ptr_type atslab_1 ;
} anairiats_sum_7 ;

typedef struct {
int tag ;
ats_int_type atslab_0 ;
ats_int_type atslab_1 ;
ats_ptr_type atslab_2 ;
} anairiats_sum_8 ;

typedef struct {
int tag ;
ats_ptr_type atslab_0 ;
ats_ptr_type atslab_1 ;
ats_ptr_type atslab_2 ;
} anairiats_sum_9 ;

typedef
struct {
ats_ptr_type atslab_labp1at_loc ;
ats_ptr_type atslab_labp1at_node ;
} anairiats_rec_10 ;

typedef
struct {
ats_ptr_type atslab_d1exp_loc ;
ats_ptr_type atslab_d1exp_node ;
} anairiats_rec_11 ;

typedef struct {
int tag ;
ats_bool_type atslab_0 ;
} anairiats_sum_12 ;

typedef struct {
int tag ;
ats_ptr_type atslab_0 ;
ats_ptr_type atslab_1 ;
ats_ptr_type atslab_2 ;
ats_ptr_type atslab_3 ;
} anairiats_sum_13 ;

typedef struct {
int tag ;
ats_int_type atslab_0 ;
ats_ptr_type atslab_1 ;
ats_ptr_type atslab_2 ;
} anairiats_sum_14 ;

typedef struct {
ats_ptr_type atslab_0 ;
} anairiats_sum_15 ;

typedef
struct {
ats_ptr_type atslab_d1lab_loc ;
ats_ptr_type atslab_d1lab_node ;
} anairiats_rec_16 ;

typedef
struct {
ats_ptr_type atslab_m1acdef_loc ;
ats_ptr_type atslab_m1acdef_sym ;
ats_ptr_type atslab_m1acdef_arg ;
ats_ptr_type atslab_m1acdef_def ;
} anairiats_rec_17 ;

typedef
struct {
ats_ptr_type atslab_v1aldec_loc ;
ats_ptr_type atslab_v1aldec_pat ;
ats_ptr_type atslab_v1aldec_def ;
ats_ptr_type atslab_v1aldec_ann ;
} anairiats_rec_18 ;

typedef
struct {
ats_ptr_type atslab_v1ardec_loc ;
ats_int_type atslab_v1ardec_knd ;
ats_ptr_type atslab_v1ardec_sym ;
ats_ptr_type atslab_v1ardec_sym_loc ;
ats_ptr_type atslab_v1ardec_pfat ;
ats_ptr_type atslab_v1ardec_type ;
ats_ptr_type atslab_v1ardec_init ;
} anairiats_rec_19 ;

typedef
struct {
ats_ptr_type atslab_d1ecl_loc ;
ats_ptr_type atslab_d1ecl_node ;
} anairiats_rec_20 ;

typedef struct {
int tag ;
ats_ptr_type atslab_0 ;
ats_ptr_type atslab_1 ;
ats_int_type atslab_2 ;
} anairiats_sum_21 ;

typedef struct {
int tag ;
ats_int_type atslab_0 ;
ats_ptr_type atslab_1 ;
ats_ptr_type atslab_2 ;
ats_ptr_type atslab_3 ;
} anairiats_sum_22 ;

typedef struct {
int tag ;
ats_int_type atslab_0 ;
ats_bool_type atslab_1 ;
ats_ptr_type atslab_2 ;
} anairiats_sum_23 ;

typedef
struct {
ats_ptr_type atslab_i1mpdec_loc ;
ats_ptr_type atslab_i1mpdec_qid ;
ats_ptr_type atslab_i1mpdec_tmparg ;
ats_ptr_type atslab_i1mpdec_def ;
} anairiats_rec_24 ;

typedef
struct {
ats_ptr_type atslab_impqi0de_loc ;
ats_ptr_type atslab_impqi0de_qua ;
ats_ptr_type atslab_impqi0de_sym ;
ats_ptr_type atslab_impqi0de_arg ;
} anairiats_rec_25 ;

typedef struct {
int tag ;
ats_ptr_type atslab_0 ;
ats_bool_type atslab_1 ;
ats_ptr_type atslab_2 ;
} anairiats_sum_26 ;

/* external typedefs */
/* external dynamic constructor declarations */
ATSextern_val(ats_sum_type, ATS_2d0_2e2_2e12_2prelude_2basics_sta_2esats__list_cons_0) ;
ATSextern_val(ats_sum_type, ATS_2d0_2e2_2e12_2prelude_2basics_sta_2esats__list_nil_1) ;
ATSextern_val(ats_sum_type, ATS_2d0_2e2_2e12_2prelude_2basics_sta_2esats__None_0) ;
ATSextern_val(ats_sum_type, ATS_2d0_2e2_2e12_2prelude_2basics_sta_2esats__Some_1) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_syntax_2esats__DL0ABELED_0) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__LABP1ATomit_0) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__LABP1ATnorm_1) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__P1Tany_0) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__P1Tany2_1) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__P1Tide_2) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__P1Tdqid_3) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__P1Tint_4) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__P1Tintrep_5) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__P1Tchar_6) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__P1Tfloat_7) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__P1Tstring_8) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__P1Ti0nt_9) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__P1Tf0loat_10) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__P1Tempty_11) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__P1Tapp_sta_12) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__P1Tapp_dyn_13) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__P1Tlist_14) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__P1Ttup_15) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__P1Trec_16) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__P1Tlst_17) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__P1Tfree_18) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__P1Tunfold_19) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__P1Trefas_20) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__P1Texist_21) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__P1Tsvararg_22) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__P1Tann_23) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__P1Terrpat_24) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__D1LABlab_0) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__D1LABind_1) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__D1Eide_0) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__D1Edqid_1) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__D1Eidextapp_2) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__D1Eint_3) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__D1Eintrep_4) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__D1Ebool_5) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__D1Echar_6) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__D1Efloat_7) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__D1Estring_8) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__D1Ei0nt_9) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__D1Ec0har_10) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__D1Ef0loat_11) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__D1Es0tring_12) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__D1Etop_13) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__D1Eempty_14) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__D1Ecstsp_15) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__D1Etyrep_16) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__D1Eliteral_17) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__D1Eextval_18) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__D1Eextfcall_19) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__D1Eextmcall_20) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__D1Efoldat_21) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__D1Efreeat_22) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__D1Etmpid_23) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__D1Elet_24) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__D1Ewhere_25) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__D1Edecseq_26) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__D1Eapp_dyn_27) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__D1Eapp_sta_28) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__D1Esing_29) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__D1Elist_30) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__D1Eifhead_31) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__D1Esifhead_32) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__D1Eifcasehd_33) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__D1Ecasehead_34) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__D1Escasehead_35) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__D1Elst_36) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__D1Etup_37) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__D1Erec_38) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__D1Eseq_39) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__D1Earrsub_40) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__D1Earrinit_41) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__D1Earrpsz_42) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__D1Eptrof_43) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__D1Eviewat_44) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__D1Eselab_45) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__D1Eraise_46) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__D1Eeffmask_47) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__D1Evararg_48) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__D1Evcopyenv_49) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__D1Eshowtype_50) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__D1Etempenver_51) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__D1Esexparg_52) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__D1Eexist_53) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__D1Elam_dyn_54) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__D1Elaminit_dyn_55) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__D1Elam_met_56) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__D1Elam_sta_ana_57) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__D1Elam_sta_syn_58) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__D1Efix_59) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__D1Edelay_60) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__D1Efor_61) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__D1Ewhile_62) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__D1Eloopexn_63) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__D1Etrywith_64) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__D1Eann_type_65) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__D1Eann_effc_66) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__D1Eann_funclo_67) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__D1Emacsyn_68) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__D1Emacfun_69) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__D1Esolassert_70) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__D1Esolverify_71) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__D1Eerrexp_72) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__D1Cnone_0) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__D1Clist_1) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__D1Cpackname_2) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__D1Csymintr_3) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__D1Csymelim_4) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__D1Coverload_5) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__D1Ce1xpdef_6) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__D1Ce1xpundef_7) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__D1Cpragma_8) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__D1Ccodegen_9) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__D1Cdatsrts_10) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__D1Csrtdefs_11) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__D1Cstacsts_12) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__D1Cstacons_13) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__D1Csexpdefs_15) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__D1Csaspdec_16) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__D1Cexndecs_18) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__D1Cdatdecs_19) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__D1Cclassdec_20) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__D1Cextype_21) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__D1Cextype_22) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__D1Cextvar_23) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__D1Cextcode_24) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__D1Cdcstdecs_25) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__D1Cmacdefs_26) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__D1Cimpdec_27) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__D1Cfundecs_28) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__D1Cvaldecs_29) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__D1Cvardecs_30) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__D1Cinclude_31) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__D1Cstaload_32) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__D1Cstaloadnm_33) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__D1Cstaloadloc_34) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__D1Cdynload_35) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__D1Clocal_36) ;

/* external dynamic constant declarations */
ATSextern_fun(ats_bool_type, atspre_neg_bool) (ats_bool_type) ;
ATSextern_fun(ats_void_type, atspre_fprint_bool) (ats_ptr_type, ats_bool_type) ;
ATSextern_fun(ats_bool_type, atspre_lt_char_char) (ats_char_type, ats_char_type) ;
ATSextern_fun(ats_bool_type, atspre_gt_char_char) (ats_char_type, ats_char_type) ;
ATSextern_fun(ats_bool_type, atspre_eq_char_char) (ats_char_type, ats_char_type) ;
ATSextern_fun(ats_bool_type, atspre_neq_char_char) (ats_char_type, ats_char_type) ;
ATSextern_fun(ats_int_type, atspre_compare_char_char) (ats_char_type, ats_char_type) ;
ATSextern_fun(ats_void_type, atspre_fprint_char) (ats_ptr_type, ats_char_type) ;
ATSextern_fun(ats_bool_type, atspre_char_isdigit) (ats_char_type) ;
ATSextern_fun(ats_char_type, atspre_char_toupper) (ats_char_type) ;
ATSextern_fun(ats_bool_type, atspre_eq_char_char) (ats_char_type, ats_char_type) ;
ATSextern_fun(ats_int_type, atspre_add_int_int) (ats_int_type, ats_int_type) ;
ATSextern_fun(ats_bool_type, atspre_lt_int_int) (ats_int_type, ats_int_type) ;
ATSextern_fun(ats_bool_type, atspre_lte_int_int) (ats_int_type, ats_int_type) ;
ATSextern_fun(ats_bool_type, atspre_gt_int_int) (ats_int_type, ats_int_type) ;
ATSextern_fun(ats_bool_type, atspre_eq_int_int) (ats_int_type, ats_int_type) ;
ATSextern_fun(ats_void_type, atspre_fprint_int) (ats_ptr_type, ats_int_type) ;
ATSextern_fun(ats_uint_type, atspre_add_uint_uint) (ats_uint_type, ats_uint_type) ;
ATSextern_fun(ats_int_type, atspre_isucc) (ats_int_type) ;
ATSextern_fun(ats_int_type, atspre_iadd) (ats_int_type, ats_int_type) ;
ATSextern_fun(ats_int_type, atspre_isub) (ats_int_type, ats_int_type) ;
ATSextern_fun(ats_bool_type, atspre_igt) (ats_int_type, ats_int_type) ;
ATSextern_fun(ats_bool_type, atspre_igte) (ats_int_type, ats_int_type) ;
ATSextern_fun(ats_llint_type, atspre_llint_of_int) (ats_int_type) ;
ATSextern_fun(ats_llint_type, atspre_mul_llint_llint) (ats_llint_type, ats_llint_type) ;
ATSextern_fun(ats_size_type, atspre_sub_size_size) (ats_size_type, ats_size_type) ;
ATSextern_fun(ats_bool_type, atspre_gte_size_size) (ats_size_type, ats_size_type) ;
ATSextern_fun(ats_size_type, atspre_size1_of_int1) (ats_int_type) ;
ATSextern_fun(ats_size_type, atspre_add_size1_int1) (ats_size_type, ats_int_type) ;
ATSextern_fun(ats_size_type, atspre_sub_size1_int1) (ats_size_type, ats_int_type) ;
ATSextern_fun(ats_size_type, atspre_sub_size1_size1) (ats_size_type, ats_size_type) ;
ATSextern_fun(ats_size_type, atspre_mul_size1_size1) (ats_size_type, ats_size_type) ;
ATSextern_fun(ats_size_type, atspre_mul2_size1_size1) (ats_size_type, ats_size_type) ;
ATSextern_fun(ats_bool_type, atspre_gt_size1_int1) (ats_size_type, ats_int_type) ;
ATSextern_fun(ats_bool_type, atspre_gt_size1_size1) (ats_size_type, ats_size_type) ;
ATSextern_fun(ats_bool_type, atspre_eq_size1_int1) (ats_size_type, ats_int_type) ;
ATSextern_fun(ats_bool_type, atspre_eq_size1_size1) (ats_size_type, ats_size_type) ;
ATSextern_fun(ats_ptr_type, ats_malloc_gc) (ats_size_type) ;
ATSextern_fun(ats_void_type, atspre_bytes_strbuf_trans) (ats_ptr_type, ats_size_type) ;
ATSextern_fun(ats_bool_type, atspre_eq_string_string) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, atspre_fprint_string) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_char_type, atspre_string_get_char_at) (ats_ptr_type, ats_size_type) ;
ATSextern_fun(ats_char_type, atspre_string_get_char_at__intsz) (ats_ptr_type, ats_int_type) ;
ATSextern_fun(ats_ptr_type, atspre_string_copy) (ats_ptr_type) ;
ATSextern_fun(ats_bool_type, atspre_string_contains) (ats_ptr_type, ats_char_type) ;
ATSextern_fun(ats_size_type, atspre_string_length) (ats_ptr_type) ;
ATSextern_fun(ats_size_type, atspre_string_length) (ats_ptr_type) ;
ATSextern_fun(ats_bool_type, atspre_string_isnot_empty) (ats_ptr_type) ;
ATSextern_fun(ats_bool_type, atspre_string_isnot_atend) (ats_ptr_type, ats_size_type) ;
ATSextern_val(ats_ptr_type, atspre_stropt_none) ;
ATSextern_fun(ats_bool_type, atspre_stropt_is_some) (ats_ptr_type) ;
ATSextern_fun(ats_void_type, atspre_strptr_free) (ats_ptr_type) ;
ATSextern_fun(ats_void_type, atspre_fprintf_exn) (ats_ptr_type, ats_ptr_type, ...) ;
ATSextern_fun(ats_ptr_type, atspre_tostringf) (ats_ptr_type, ...) ;
ATSextern_fun(ats_ptr_type, ListSubscriptException_make) () ;
ATSextern_fun(ats_ptr_type, atspre_array_ptr_alloc_tsz) (ats_size_type, ats_size_type) ;
ATSextern_fun(ats_void_type, atspre_array_ptr_free) (ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_utils_2esats__fprint_stropt) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_utils_2esats__charset_listize) (ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, patsopt_file2strptr) (ats_int_type) ;
ATSextern_fun(ats_size_type, ATS_2d0_2e2_2e12_2libats_2ngc_2SATS_2deque_arr_2esats__deque_cap) (ats_ref_type) ;
ATSextern_fun(ats_size_type, ATS_2d0_2e2_2e12_2libats_2ngc_2SATS_2deque_arr_2esats__deque_size) (ats_ref_type) ;
ATSextern_fun(ats_bool_type, ATS_2d0_2e2_2e12_2libats_2ngc_2SATS_2deque_arr_2esats__deque_is_empty) (ats_ref_type) ;
ATSextern_fun(ats_bool_type, ATS_2d0_2e2_2e12_2libats_2ngc_2SATS_2deque_arr_2esats__deque_isnot_empty) (ats_ref_type) ;
ATSextern_fun(ats_bool_type, ATS_2d0_2e2_2e12_2libats_2ngc_2SATS_2deque_arr_2esats__deque_is_full) (ats_ref_type) ;
ATSextern_fun(ats_bool_type, ATS_2d0_2e2_2e12_2libats_2ngc_2SATS_2deque_arr_2esats__deque_isnot_full) (ats_ref_type) ;
ATSextern_fun(ats_void_type, atslib_ngc_deque_arr_deque_initialize_tsz) (ats_ref_type, ats_size_type, ats_ptr_type, ats_size_type) ;
ATSextern_fun(ats_ptr_type, atslib_ngc_deque_arr_deque_uninitialize) (ats_ref_type) ;
ATSextern_fun(ats_ptr_type, ATS_2d0_2e2_2e12_2libats_2ngc_2SATS_2deque_arr_2esats__deque_uninitialize_vt) (ats_ref_type) ;
ATSextern_fun(ats_ptr_type, atslib_ngc_deque_arr_deque_takeout_tsz) (ats_ref_type, ats_size_type, ats_size_type) ;
ATSextern_fun(ats_void_type, atslib_ngc_deque_arr_deque_insert_end_many_tsz) (ats_ref_type, ats_size_type, ats_ref_type, ats_size_type) ;
ATSextern_fun(ats_void_type, atslib_ngc_deque_arr_deque_remove_beg_many_tsz) (ats_ref_type, ats_size_type, ats_ref_type, ats_size_type) ;
ATSextern_fun(ats_void_type, ATS_2d0_2e2_2e12_2libats_2ngc_2SATS_2deque_arr_2esats__deque_clear_all) (ats_ref_type) ;
ATSextern_fun(ats_void_type, atslib_ngc_deque_arr_deque_copyout_tsz) (ats_ref_type, ats_size_type, ats_size_type, ats_ref_type, ats_size_type) ;
ATSextern_fun(ats_ptr_type, atslib_ngc_deque_arr_deque_update_capacity_tsz) (ats_ref_type, ats_size_type, ats_ptr_type, ats_size_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_symbol_2esats__fprint_symbol) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_symbol_2esats__fprint_symbolopt) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_label_2esats__fprint_label) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_filename_2esats__fprint_filename_full) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_basics_2esats__fprint_funkind) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_basics_2esats__fprint_valkind) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_basics_2esats__fprint_dcstkind) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_basics_2esats__fprint_funclo) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_macsynkind) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_cstsp) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_i0nt) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_c0har) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_f0loat) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_s0tring) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_i0de) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_d0ynq) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_dqi0de) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_l0ab) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_e1xp) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_effcst) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_d1atsrtdec) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1arglst) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1exp) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1expopt) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1vararg) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1exparg) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1exparglst) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1rtdef) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1tacst) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1tacon) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1expdef) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1aspdec) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_q1marg) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_i1mparg) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_e1xndec) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_d1cstdec) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__fprint_p1at) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__fprint_p1atlst) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__fprint_labp1at) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__fprint_d1exp) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__fprint_d1explst) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__fprint_d1expopt) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__fprint_labd1exp) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__fprint_labd1explst) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__fprint_d1lab) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__fprint_d1ecl) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__fprint_d1eclist) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_print_2edats__fprint_m1acdef) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_print_2edats__fprint_v1aldec) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_print_2edats__fprint_v1ardec) (ats_ptr_type, ats_ptr_type) ;

/* external dynamic terminating constant declarations */
#ifdef _ATS_PROOFCHECK
extern
ats_void_type ATS_2d0_2e2_2e12_2prelude_2SATS_2list_2esats__list_length_is_nonnegative_prfck () ;
extern
ats_void_type ATS_2d0_2e2_2e12_2prelude_2SATS_2list_vt_2esats__list_vt_length_is_nonnegative_prfck () ;
extern
ats_void_type ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
extern
ats_void_type ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
extern
ats_void_type ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
extern
ats_void_type ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
extern
ats_void_type ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
extern
ats_void_type ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
extern
ats_void_type ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
extern
ats_void_type ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
extern
ats_void_type ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
extern
ats_void_type ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
extern
ats_void_type ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
extern
ats_void_type ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
extern
ats_void_type ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
extern
ats_void_type ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
extern
ats_void_type ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
extern
ats_void_type ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
extern
ats_void_type ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
extern
ats_void_type ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
extern
ats_void_type ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
extern
ats_void_type ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
extern
ats_void_type ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
extern
ats_void_type ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
extern
ats_void_type ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
extern
ats_void_type ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
extern
ats_void_type ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
extern
ats_void_type ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
extern
ats_void_type ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
extern
ats_void_type ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
extern
ats_void_type ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
extern
ats_void_type ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
extern
ats_void_type ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
extern
ats_void_type ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
extern
ats_void_type ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
extern
ats_void_type ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
extern
ats_void_type ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
extern
ats_void_type ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
extern
ats_void_type ATS_2d0_2e2_2e12_2libats_2ngc_2SATS_2deque_arr_2esats__lemma_deque_param_prfck () ;
extern
ats_void_type ATS_2d0_2e2_2e12_2libats_2ngc_2DATS_2deque_arr_2edats__DEQUEarr_v_encode_prfck () ;
extern
ats_void_type ATS_2d0_2e2_2e12_2libats_2ngc_2DATS_2deque_arr_2edats__DEQUEarr_v_decode_prfck () ;
extern
ats_void_type ATS_2d0_2e2_2e12_2libats_2ngc_2DATS_2deque_arr_2edats__DEQUEarr_v_clear_prfck () ;
extern
ats_void_type ATS_2d0_2e2_2e12_2libats_2ngc_2DATS_2deque_arr_2edats____assert_prfck () ;
extern
ats_void_type ATS_2d0_2e2_2e12_2libats_2ngc_2DATS_2deque_arr_2edats____assert_prfck () ;
extern
ats_void_type ATS_2d0_2e2_2e12_2libats_2ngc_2DATS_2deque_arr_2edats____assert_prfck () ;
extern
ats_void_type ATS_2d0_2e2_2e12_2libats_2ngc_2DATS_2deque_arr_2edats____assert_prfck () ;
extern
ats_void_type ATS_2d0_2e2_2e12_2libats_2ngc_2DATS_2deque_arr_2edats____assert_prfck () ;
extern
ats_void_type ATS_2d0_2e2_2e12_2libats_2ngc_2DATS_2deque_arr_2edats__DEQUEarr_insert_beg_prfck () ;
extern
ats_void_type ATS_2d0_2e2_2e12_2libats_2ngc_2DATS_2deque_arr_2edats__DEQUEarr_insert_end_prfck () ;
extern
ats_void_type ATS_2d0_2e2_2e12_2libats_2ngc_2DATS_2deque_arr_2edats__DEQUEarr_remove_beg_prfck () ;
extern
ats_void_type ATS_2d0_2e2_2e12_2libats_2ngc_2DATS_2deque_arr_2edats__DEQUEarr_remove_end_prfck () ;
extern
ats_void_type ATS_2d0_2e2_2e12_2libats_2ngc_2DATS_2deque_arr_2edats____assert_prfck () ;
extern
ats_void_type ATS_2d0_2e2_2e12_2libats_2ngc_2DATS_2deque_arr_2edats____assert_prfck () ;
extern
ats_void_type ATS_2d0_2e2_2e12_2libats_2ngc_2DATS_2deque_arr_2edats____assert_prfck () ;
extern
ats_void_type _2tmp_2ATS_2dPostiats_2src_2pats_utils_2edats____assert_prfck () ;
extern
ats_void_type _2tmp_2ATS_2dPostiats_2src_2pats_utils_2edats____assert_prfck () ;
#endif /* _ATS_PROOFCHECK */

/* assuming abstract types */
/* sum constructor declarations */
/* exn constructor declarations */
/* global dynamic (non-functional) constant declarations */
/* internal function declarations */
static
ats_void_type aux_2 (ats_ptr_type env0, ats_ptr_type env1, ats_ptr_type env2, ats_ptr_type arg0, ats_int_type arg1) ;
static
ats_clo_ptr_type aux_2_closure_make (ats_ptr_type env0, ats_ptr_type env1, ats_ptr_type env2) ;
static
ats_void_type aux_2_clofun (ats_clo_ptr_type cloptr, ats_ptr_type arg0, ats_int_type arg1) ;
static
ats_void_type fprintlst_01696_ats_ptr_type (ats_ptr_type arg0, ats_ptr_type arg1, ats_ptr_type arg2, ats_ptr_type arg3) ;
static
ats_void_type fprintopt_01697_ats_ptr_type (ats_ptr_type arg0, ats_ptr_type arg1, ats_ptr_type arg2) ;

/* partial value template declarations */
/* static temporary variable declarations */
/* external value variable declarations */

/* function implementations */

/*
// /tmp/ATS-Postiats/src/pats_utils.dats: 11884(line=651, offs=1) -- 12164(line=665, offs=2)
*/
ATSstaticdec()
ats_void_type
aux_2 (ats_ptr_type env0, ats_ptr_type env1, ats_ptr_type env2, ats_ptr_type arg0, ats_int_type arg1) {
/* local vardec */
// ATSlocal_void (tmp35) ;
ATSlocal (ats_ptr_type, tmp36) ;
ATSlocal (ats_ptr_type, tmp37) ;
// ATSlocal_void (tmp38) ;
ATSlocal (ats_bool_type, tmp39) ;
// ATSlocal_void (tmp40) ;
ATSlocal (ats_int_type, tmp41) ;

__ats_lab_aux_2:
do {
/* branch: __ats_lab_13 */
__ats_lab_13_0:
if (arg0 != (ats_sum_ptr_type)0) { goto __ats_lab_14_0 ; }
__ats_lab_13_1:
break ;

/* branch: __ats_lab_14 */
__ats_lab_14_0:
// if (arg0 == (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; }
__ats_lab_14_1:
tmp36 = ats_caselptrlab_mac(anairiats_sum_5, arg0, atslab_0) ;
tmp37 = ats_caselptrlab_mac(anairiats_sum_5, arg0, atslab_1) ;
tmp39 = atspre_gt_int_int (arg1, 0) ;
if (tmp39) {
/* tmp38 = */ atspre_fprint_string (env0, env1) ;
} else {
/* empty */
} /* end of [if] */
/* tmp40 = */ ((ats_void_type(*)(ats_ptr_type, ats_ptr_type))env2) (env0, tmp36) ;
tmp41 = atspre_add_int_int (arg1, 1) ;
arg0 = tmp37 ;
arg1 = tmp41 ;
goto __ats_lab_aux_2 ; // tail call
break ;
} while (0) ;
return /* (tmp35) */ ;
} /* end of [aux_2] */

typedef struct {
ats_fun_ptr_type closure_fun ;
ats_ptr_type closure_env_0 ;
ats_ptr_type closure_env_1 ;
ats_ptr_type closure_env_2 ;
} aux_2_closure_type ;

ats_void_type
aux_2_clofun (ats_clo_ptr_type cloptr, ats_ptr_type arg0, ats_int_type arg1) {
aux_2 (((aux_2_closure_type*)cloptr)->closure_env_0, ((aux_2_closure_type*)cloptr)->closure_env_1, ((aux_2_closure_type*)cloptr)->closure_env_2, arg0, arg1) ; return ;
} /* end of function */

ATSinline()
ats_void_type
aux_2_closure_init (aux_2_closure_type *p_clo, ats_ptr_type env0, ats_ptr_type env1, ats_ptr_type env2) {
p_clo->closure_fun = (ats_fun_ptr_type)&aux_2_clofun ;
p_clo->closure_env_0 = env0 ;
p_clo->closure_env_1 = env1 ;
p_clo->closure_env_2 = env2 ;
return ;
} /* end of function */

ats_clo_ptr_type
aux_2_closure_make (ats_ptr_type env0, ats_ptr_type env1, ats_ptr_type env2) {
aux_2_closure_type *p_clo = ATS_MALLOC(sizeof(aux_2_closure_type)) ;
aux_2_closure_init (p_clo, env0, env1, env2) ;
return (ats_clo_ptr_type)p_clo ;
} /* end of function */

/*
// /tmp/ATS-Postiats/src/pats_utils.dats: 11844(line=646, offs=11) -- 12207(line=669, offs=4)
*/
ATSstaticdec()
ats_void_type
fprintlst_01696_ats_ptr_type (ats_ptr_type arg0, ats_ptr_type arg1, ats_ptr_type arg2, ats_ptr_type arg3) {
/* local vardec */
// ATSlocal_void (tmp34) ;

__ats_lab_fprintlst_01696_ats_ptr_type:
/* tmp34 = */ aux_2 (arg0, arg2, arg3, arg1, 0) ;
return /* (tmp34) */ ;
} /* end of [fprintlst_01696_ats_ptr_type] */

/*
// /tmp/ATS-Postiats/src/pats_dynexp1_print.dats: 1847(line=60, offs=3) -- 5498(line=218, offs=4)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__fprint_p1at (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp0) ;
ATSlocal (ats_ptr_type, tmp1) ;
ATSlocal (ats_ptr_type, tmp2) ;
// ATSlocal_void (tmp3) ;
// ATSlocal_void (tmp4) ;
ATSlocal (ats_ptr_type, tmp5) ;
ATSlocal (ats_ptr_type, tmp6) ;
// ATSlocal_void (tmp7) ;
// ATSlocal_void (tmp8) ;
// ATSlocal_void (tmp9) ;
ATSlocal (ats_int_type, tmp10) ;
// ATSlocal_void (tmp11) ;
// ATSlocal_void (tmp12) ;
ATSlocal (ats_ptr_type, tmp13) ;
// ATSlocal_void (tmp14) ;
// ATSlocal_void (tmp15) ;
ATSlocal (ats_char_type, tmp16) ;
// ATSlocal_void (tmp17) ;
// ATSlocal_void (tmp18) ;
ATSlocal (ats_ptr_type, tmp19) ;
// ATSlocal_void (tmp20) ;
// ATSlocal_void (tmp21) ;
ATSlocal (ats_ptr_type, tmp22) ;
// ATSlocal_void (tmp23) ;
// ATSlocal_void (tmp24) ;
ATSlocal (ats_ptr_type, tmp25) ;
// ATSlocal_void (tmp26) ;
// ATSlocal_void (tmp27) ;
ATSlocal (ats_ptr_type, tmp28) ;
// ATSlocal_void (tmp29) ;
// ATSlocal_void (tmp30) ;
ATSlocal (ats_ptr_type, tmp31) ;
// ATSlocal_void (tmp32) ;
// ATSlocal_void (tmp33) ;
ATSlocal (ats_ptr_type, tmp42) ;
ATSlocal (ats_int_type, tmp43) ;
ATSlocal (ats_ptr_type, tmp44) ;
// ATSlocal_void (tmp45) ;
// ATSlocal_void (tmp46) ;
// ATSlocal_void (tmp47) ;
// ATSlocal_void (tmp48) ;
// ATSlocal_void (tmp49) ;
// ATSlocal_void (tmp50) ;
ATSlocal (ats_int_type, tmp51) ;
ATSlocal (ats_ptr_type, tmp52) ;
// ATSlocal_void (tmp53) ;
// ATSlocal_void (tmp54) ;
// ATSlocal_void (tmp55) ;
// ATSlocal_void (tmp56) ;
ATSlocal (ats_int_type, tmp57) ;
ATSlocal (ats_int_type, tmp58) ;
ATSlocal (ats_ptr_type, tmp59) ;
// ATSlocal_void (tmp60) ;
// ATSlocal_void (tmp61) ;
// ATSlocal_void (tmp62) ;
// ATSlocal_void (tmp63) ;
// ATSlocal_void (tmp64) ;
// ATSlocal_void (tmp65) ;
ATSlocal (ats_int_type, tmp66) ;
ATSlocal (ats_int_type, tmp67) ;
ATSlocal (ats_ptr_type, tmp68) ;
// ATSlocal_void (tmp69) ;
// ATSlocal_void (tmp70) ;
// ATSlocal_void (tmp71) ;
// ATSlocal_void (tmp72) ;
// ATSlocal_void (tmp73) ;
// ATSlocal_void (tmp74) ;
ATSlocal (ats_int_type, tmp75) ;
ATSlocal (ats_ptr_type, tmp76) ;
// ATSlocal_void (tmp77) ;
// ATSlocal_void (tmp78) ;
// ATSlocal_void (tmp79) ;
// ATSlocal_void (tmp80) ;
ATSlocal (ats_ptr_type, tmp81) ;
// ATSlocal_void (tmp82) ;
// ATSlocal_void (tmp83) ;
ATSlocal (ats_ptr_type, tmp84) ;
// ATSlocal_void (tmp85) ;
// ATSlocal_void (tmp86) ;
ATSlocal (ats_ptr_type, tmp87) ;
ATSlocal (ats_ptr_type, tmp88) ;
// ATSlocal_void (tmp89) ;
// ATSlocal_void (tmp90) ;
// ATSlocal_void (tmp91) ;
// ATSlocal_void (tmp92) ;
ATSlocal (ats_ptr_type, tmp93) ;
ATSlocal (ats_ptr_type, tmp94) ;
// ATSlocal_void (tmp95) ;
// ATSlocal_void (tmp96) ;
// ATSlocal_void (tmp97) ;
// ATSlocal_void (tmp98) ;
ATSlocal (ats_ptr_type, tmp99) ;
// ATSlocal_void (tmp100) ;
// ATSlocal_void (tmp101) ;
ATSlocal (ats_ptr_type, tmp102) ;
ATSlocal (ats_ptr_type, tmp103) ;
// ATSlocal_void (tmp104) ;
// ATSlocal_void (tmp105) ;
// ATSlocal_void (tmp106) ;
// ATSlocal_void (tmp107) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__fprint_p1at:
tmp1 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_0, arg1), atslab_p1at_node) ;
do {
/* branch: __ats_lab_0 */
__ats_lab_0_0:
if (((ats_sum_ptr_type)tmp1)->tag != 0) { goto __ats_lab_1_0 ; }
__ats_lab_0_1:
/* tmp0 = */ atspre_fprint_string (arg0, ATSstrcst("P1Tany()")) ;
break ;

/* branch: __ats_lab_1 */
__ats_lab_1_0:
if (((ats_sum_ptr_type)tmp1)->tag != 1) { goto __ats_lab_2_0 ; }
__ats_lab_1_1:
/* tmp0 = */ atspre_fprint_string (arg0, ATSstrcst("P1Tany2()")) ;
break ;

/* branch: __ats_lab_2 */
__ats_lab_2_0:
if (((ats_sum_ptr_type)tmp1)->tag != 2) { goto __ats_lab_3_0 ; }
__ats_lab_2_1:
tmp2 = ats_caselptrlab_mac(anairiats_sum_1, tmp1, atslab_0) ;
/* tmp3 = */ atspre_fprint_string (arg0, ATSstrcst("P1Tide(")) ;
/* tmp4 = */ _2tmp_2ATS_2dPostiats_2src_2pats_symbol_2esats__fprint_symbol (arg0, tmp2) ;
/* tmp0 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_3 */
__ats_lab_3_0:
if (((ats_sum_ptr_type)tmp1)->tag != 3) { goto __ats_lab_4_0 ; }
__ats_lab_3_1:
tmp5 = ats_caselptrlab_mac(anairiats_sum_2, tmp1, atslab_0) ;
tmp6 = ats_caselptrlab_mac(anairiats_sum_2, tmp1, atslab_1) ;
/* tmp7 = */ atspre_fprint_string (arg0, ATSstrcst("P1Tdqid(")) ;
/* tmp8 = */ _2tmp_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_d0ynq (arg0, tmp5) ;
/* tmp9 = */ _2tmp_2ATS_2dPostiats_2src_2pats_symbol_2esats__fprint_symbol (arg0, tmp6) ;
/* tmp0 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_4 */
__ats_lab_4_0:
if (((ats_sum_ptr_type)tmp1)->tag != 4) { goto __ats_lab_5_0 ; }
__ats_lab_4_1:
tmp10 = ats_caselptrlab_mac(anairiats_sum_3, tmp1, atslab_0) ;
/* tmp11 = */ atspre_fprint_string (arg0, ATSstrcst("P1Tint(")) ;
/* tmp12 = */ atspre_fprint_int (arg0, tmp10) ;
/* tmp0 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_5 */
__ats_lab_5_0:
if (((ats_sum_ptr_type)tmp1)->tag != 5) { goto __ats_lab_6_0 ; }
__ats_lab_5_1:
tmp13 = ats_caselptrlab_mac(anairiats_sum_1, tmp1, atslab_0) ;
/* tmp14 = */ atspre_fprint_string (arg0, ATSstrcst("P1Tintrep(")) ;
/* tmp15 = */ atspre_fprint_string (arg0, tmp13) ;
/* tmp0 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_6 */
__ats_lab_6_0:
if (((ats_sum_ptr_type)tmp1)->tag != 6) { goto __ats_lab_7_0 ; }
__ats_lab_6_1:
tmp16 = ats_caselptrlab_mac(anairiats_sum_4, tmp1, atslab_0) ;
/* tmp17 = */ atspre_fprint_string (arg0, ATSstrcst("P1Tchar(")) ;
/* tmp18 = */ atspre_fprint_char (arg0, tmp16) ;
/* tmp0 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_7 */
__ats_lab_7_0:
if (((ats_sum_ptr_type)tmp1)->tag != 7) { goto __ats_lab_8_0 ; }
__ats_lab_7_1:
tmp19 = ats_caselptrlab_mac(anairiats_sum_1, tmp1, atslab_0) ;
/* tmp20 = */ atspre_fprint_string (arg0, ATSstrcst("P1Tfloat(")) ;
/* tmp21 = */ atspre_fprint_string (arg0, tmp19) ;
/* tmp0 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_8 */
__ats_lab_8_0:
if (((ats_sum_ptr_type)tmp1)->tag != 8) { goto __ats_lab_9_0 ; }
__ats_lab_8_1:
tmp22 = ats_caselptrlab_mac(anairiats_sum_1, tmp1, atslab_0) ;
/* tmp23 = */ atspre_fprint_string (arg0, ATSstrcst("P1Tint(")) ;
/* tmp24 = */ atspre_fprint_string (arg0, tmp22) ;
/* tmp0 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_9 */
__ats_lab_9_0:
if (((ats_sum_ptr_type)tmp1)->tag != 9) { goto __ats_lab_10_0 ; }
__ats_lab_9_1:
tmp25 = ats_caselptrlab_mac(anairiats_sum_1, tmp1, atslab_0) ;
/* tmp26 = */ atspre_fprint_string (arg0, ATSstrcst("P1Ti0nt(")) ;
/* tmp27 = */ _2tmp_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_i0nt (arg0, tmp25) ;
/* tmp0 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_10 */
__ats_lab_10_0:
if (((ats_sum_ptr_type)tmp1)->tag != 10) { goto __ats_lab_11_0 ; }
__ats_lab_10_1:
tmp28 = ats_caselptrlab_mac(anairiats_sum_1, tmp1, atslab_0) ;
/* tmp29 = */ atspre_fprint_string (arg0, ATSstrcst("P1Tf0loat(")) ;
/* tmp30 = */ _2tmp_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_f0loat (arg0, tmp28) ;
/* tmp0 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_11 */
__ats_lab_11_0:
if (((ats_sum_ptr_type)tmp1)->tag != 11) { goto __ats_lab_12_0 ; }
__ats_lab_11_1:
/* tmp0 = */ atspre_fprint_string (arg0, ATSstrcst("P1Tempty()")) ;
break ;

/* branch: __ats_lab_12 */
__ats_lab_12_0:
if (((ats_sum_ptr_type)tmp1)->tag != 12) { goto __ats_lab_15_0 ; }
__ats_lab_12_1:
tmp31 = ats_caselptrlab_mac(anairiats_sum_2, tmp1, atslab_1) ;
/* tmp32 = */ atspre_fprint_string (arg0, ATSstrcst("P1Tapp_sta(")) ;
/* tmp33 = */ fprintlst_01696_ats_ptr_type (arg0, tmp31, ATSstrcst(", "), &_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1vararg) ;
/* tmp0 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_15 */
__ats_lab_15_0:
if (((ats_sum_ptr_type)tmp1)->tag != 13) { goto __ats_lab_16_0 ; }
__ats_lab_15_1:
tmp42 = ats_caselptrlab_mac(anairiats_sum_6, tmp1, atslab_0) ;
tmp43 = ats_caselptrlab_mac(anairiats_sum_6, tmp1, atslab_2) ;
tmp44 = ats_caselptrlab_mac(anairiats_sum_6, tmp1, atslab_3) ;
/* tmp45 = */ atspre_fprint_string (arg0, ATSstrcst("P1Tapp_dyn(")) ;
/* tmp46 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__fprint_p1at (arg0, tmp42) ;
/* tmp47 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp48 = */ atspre_fprint_int (arg0, tmp43) ;
/* tmp49 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp50 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__fprint_p1atlst (arg0, tmp44) ;
/* tmp0 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_16 */
__ats_lab_16_0:
if (((ats_sum_ptr_type)tmp1)->tag != 14) { goto __ats_lab_17_0 ; }
__ats_lab_16_1:
tmp51 = ats_caselptrlab_mac(anairiats_sum_7, tmp1, atslab_0) ;
tmp52 = ats_caselptrlab_mac(anairiats_sum_7, tmp1, atslab_1) ;
/* tmp53 = */ atspre_fprint_string (arg0, ATSstrcst("P1Tlist(")) ;
/* tmp54 = */ atspre_fprint_int (arg0, tmp51) ;
/* tmp55 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp56 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__fprint_p1atlst (arg0, tmp52) ;
/* tmp0 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_17 */
__ats_lab_17_0:
if (((ats_sum_ptr_type)tmp1)->tag != 15) { goto __ats_lab_18_0 ; }
__ats_lab_17_1:
tmp57 = ats_caselptrlab_mac(anairiats_sum_8, tmp1, atslab_0) ;
tmp58 = ats_caselptrlab_mac(anairiats_sum_8, tmp1, atslab_1) ;
tmp59 = ats_caselptrlab_mac(anairiats_sum_8, tmp1, atslab_2) ;
/* tmp60 = */ atspre_fprint_string (arg0, ATSstrcst("P1Ttup(")) ;
/* tmp61 = */ atspre_fprint_int (arg0, tmp57) ;
/* tmp62 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp63 = */ atspre_fprint_int (arg0, tmp58) ;
/* tmp64 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp65 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__fprint_p1atlst (arg0, tmp59) ;
/* tmp0 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_18 */
__ats_lab_18_0:
if (((ats_sum_ptr_type)tmp1)->tag != 16) { goto __ats_lab_19_0 ; }
__ats_lab_18_1:
tmp66 = ats_caselptrlab_mac(anairiats_sum_8, tmp1, atslab_0) ;
tmp67 = ats_caselptrlab_mac(anairiats_sum_8, tmp1, atslab_1) ;
tmp68 = ats_caselptrlab_mac(anairiats_sum_8, tmp1, atslab_2) ;
/* tmp69 = */ atspre_fprint_string (arg0, ATSstrcst("P1Ttup(")) ;
/* tmp70 = */ atspre_fprint_int (arg0, tmp66) ;
/* tmp71 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp72 = */ atspre_fprint_int (arg0, tmp67) ;
/* tmp73 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp74 = */ fprintlst_01696_ats_ptr_type (arg0, tmp68, ATSstrcst(", "), &_2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__fprint_labp1at) ;
/* tmp0 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_19 */
__ats_lab_19_0:
if (((ats_sum_ptr_type)tmp1)->tag != 17) { goto __ats_lab_20_0 ; }
__ats_lab_19_1:
tmp75 = ats_caselptrlab_mac(anairiats_sum_7, tmp1, atslab_0) ;
tmp76 = ats_caselptrlab_mac(anairiats_sum_7, tmp1, atslab_1) ;
/* tmp77 = */ atspre_fprint_string (arg0, ATSstrcst("P1Tlst(")) ;
/* tmp78 = */ atspre_fprint_int (arg0, tmp75) ;
/* tmp79 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp80 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__fprint_p1atlst (arg0, tmp76) ;
/* tmp0 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_20 */
__ats_lab_20_0:
if (((ats_sum_ptr_type)tmp1)->tag != 18) { goto __ats_lab_21_0 ; }
__ats_lab_20_1:
tmp81 = ats_caselptrlab_mac(anairiats_sum_1, tmp1, atslab_0) ;
/* tmp82 = */ atspre_fprint_string (arg0, ATSstrcst("P1Tfree(")) ;
/* tmp83 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__fprint_p1at (arg0, tmp81) ;
/* tmp0 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_21 */
__ats_lab_21_0:
if (((ats_sum_ptr_type)tmp1)->tag != 19) { goto __ats_lab_22_0 ; }
__ats_lab_21_1:
tmp84 = ats_caselptrlab_mac(anairiats_sum_1, tmp1, atslab_0) ;
/* tmp85 = */ atspre_fprint_string (arg0, ATSstrcst("P1Tunfold(")) ;
/* tmp86 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__fprint_p1at (arg0, tmp84) ;
/* tmp0 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_22 */
__ats_lab_22_0:
if (((ats_sum_ptr_type)tmp1)->tag != 20) { goto __ats_lab_23_0 ; }
__ats_lab_22_1:
tmp87 = ats_caselptrlab_mac(anairiats_sum_9, tmp1, atslab_0) ;
tmp88 = ats_caselptrlab_mac(anairiats_sum_9, tmp1, atslab_2) ;
/* tmp89 = */ atspre_fprint_string (arg0, ATSstrcst("P1Trefas(")) ;
/* tmp90 = */ _2tmp_2ATS_2dPostiats_2src_2pats_symbol_2esats__fprint_symbol (arg0, tmp87) ;
/* tmp91 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp92 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__fprint_p1at (arg0, tmp88) ;
/* tmp0 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_23 */
__ats_lab_23_0:
if (((ats_sum_ptr_type)tmp1)->tag != 21) { goto __ats_lab_24_0 ; }
__ats_lab_23_1:
tmp93 = ats_caselptrlab_mac(anairiats_sum_2, tmp1, atslab_0) ;
tmp94 = ats_caselptrlab_mac(anairiats_sum_2, tmp1, atslab_1) ;
/* tmp95 = */ atspre_fprint_string (arg0, ATSstrcst("P1Texist(")) ;
/* tmp96 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1arglst (arg0, tmp93) ;
/* tmp97 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp98 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__fprint_p1at (arg0, tmp94) ;
/* tmp0 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_24 */
__ats_lab_24_0:
if (((ats_sum_ptr_type)tmp1)->tag != 22) { goto __ats_lab_25_0 ; }
__ats_lab_24_1:
tmp99 = ats_caselptrlab_mac(anairiats_sum_1, tmp1, atslab_0) ;
/* tmp100 = */ atspre_fprint_string (arg0, ATSstrcst("P1Tsvararg(")) ;
/* tmp101 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1vararg (arg0, tmp99) ;
/* tmp0 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_25 */
__ats_lab_25_0:
if (((ats_sum_ptr_type)tmp1)->tag != 23) { goto __ats_lab_26_0 ; }
__ats_lab_25_1:
tmp102 = ats_caselptrlab_mac(anairiats_sum_2, tmp1, atslab_0) ;
tmp103 = ats_caselptrlab_mac(anairiats_sum_2, tmp1, atslab_1) ;
/* tmp104 = */ atspre_fprint_string (arg0, ATSstrcst("P1Tann(")) ;
/* tmp105 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__fprint_p1at (arg0, tmp102) ;
/* tmp106 = */ atspre_fprint_string (arg0, ATSstrcst(" : ")) ;
/* tmp107 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1exp (arg0, tmp103) ;
/* tmp0 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_26 */
__ats_lab_26_0:
// if (((ats_sum_ptr_type)tmp1)->tag != 24) { ats_deadcode_failure_handle () ; }
__ats_lab_26_1:
/* tmp0 = */ atspre_fprint_string (arg0, ATSstrcst("P1Terrpat()")) ;
break ;
} while (0) ;
return /* (tmp0) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__fprint_p1at] */

/*
// /tmp/ATS-Postiats/src/pats_dynexp1_print.dats: 5545(line=221, offs=12) -- 5582(line=221, offs=49)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__print_p1at (ats_ptr_type arg0) {
/* local vardec */
// ATSlocal_void (tmp108) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__print_p1at:
/* tmp108 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__fprint_p1at (stdout, arg0) ;
return /* (tmp108) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__print_p1at] */

/*
// /tmp/ATS-Postiats/src/pats_dynexp1_print.dats: 5604(line=223, offs=12) -- 5641(line=223, offs=49)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__prerr_p1at (ats_ptr_type arg0) {
/* local vardec */
// ATSlocal_void (tmp109) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__prerr_p1at:
/* tmp109 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__fprint_p1at (stderr, arg0) ;
return /* (tmp109) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__prerr_p1at] */

/*
// /tmp/ATS-Postiats/src/pats_dynexp1_print.dats: 5691(line=229, offs=3) -- 5745(line=229, offs=57)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__fprint_p1atlst (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp110) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__fprint_p1atlst:
/* tmp110 = */ fprintlst_01696_ats_ptr_type (arg0, arg1, ATSstrcst(", "), &_2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__fprint_p1at) ;
return /* (tmp110) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__fprint_p1atlst] */

/*
// /tmp/ATS-Postiats/src/pats_dynexp1_print.dats: 5799(line=233, offs=16) -- 6146(line=249, offs=4)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__fprint_labp1at (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp111) ;
ATSlocal (ats_ptr_type, tmp112) ;
ATSlocal (ats_ptr_type, tmp113) ;
ATSlocal (ats_ptr_type, tmp114) ;
// ATSlocal_void (tmp115) ;
// ATSlocal_void (tmp116) ;
// ATSlocal_void (tmp117) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__fprint_labp1at:
tmp112 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_10, arg1), atslab_labp1at_node) ;
do {
/* branch: __ats_lab_27 */
__ats_lab_27_0:
if (tmp112 == (ats_sum_ptr_type)0) { goto __ats_lab_28_0 ; }
__ats_lab_27_1:
tmp113 = ats_caselptrlab_mac(anairiats_sum_5, tmp112, atslab_0) ;
tmp114 = ats_caselptrlab_mac(anairiats_sum_5, tmp112, atslab_1) ;
/* tmp115 = */ atspre_fprint_string (arg0, ATSstrcst("LABP1ATnorm(")) ;
/* tmp116 = */ _2tmp_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_l0ab (arg0, tmp113) ;
/* tmp117 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__fprint_p1at (arg0, tmp114) ;
/* tmp111 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_28 */
__ats_lab_28_0:
// if (tmp112 != (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; }
__ats_lab_28_1:
/* tmp111 = */ atspre_fprint_string (arg0, ATSstrcst("LABP1ATomit()")) ;
break ;
} while (0) ;
return /* (tmp111) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__fprint_labp1at] */

/*
// /tmp/ATS-Postiats/src/pats_dynexp1_print.dats: 6221(line=255, offs=3) -- 17299(line=743, offs=4)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__fprint_d1exp (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp118) ;
ATSlocal (ats_ptr_type, tmp119) ;
ATSlocal (ats_ptr_type, tmp120) ;
// ATSlocal_void (tmp121) ;
// ATSlocal_void (tmp122) ;
ATSlocal (ats_ptr_type, tmp123) ;
ATSlocal (ats_ptr_type, tmp124) ;
// ATSlocal_void (tmp125) ;
// ATSlocal_void (tmp126) ;
// ATSlocal_void (tmp127) ;
ATSlocal (ats_ptr_type, tmp128) ;
ATSlocal (ats_ptr_type, tmp129) ;
// ATSlocal_void (tmp130) ;
// ATSlocal_void (tmp131) ;
// ATSlocal_void (tmp132) ;
// ATSlocal_void (tmp133) ;
ATSlocal (ats_int_type, tmp134) ;
// ATSlocal_void (tmp135) ;
// ATSlocal_void (tmp136) ;
ATSlocal (ats_ptr_type, tmp137) ;
// ATSlocal_void (tmp138) ;
// ATSlocal_void (tmp139) ;
ATSlocal (ats_bool_type, tmp140) ;
// ATSlocal_void (tmp141) ;
// ATSlocal_void (tmp142) ;
ATSlocal (ats_char_type, tmp143) ;
// ATSlocal_void (tmp144) ;
// ATSlocal_void (tmp145) ;
ATSlocal (ats_ptr_type, tmp146) ;
// ATSlocal_void (tmp147) ;
// ATSlocal_void (tmp148) ;
ATSlocal (ats_ptr_type, tmp149) ;
// ATSlocal_void (tmp150) ;
// ATSlocal_void (tmp151) ;
ATSlocal (ats_ptr_type, tmp152) ;
// ATSlocal_void (tmp153) ;
// ATSlocal_void (tmp154) ;
ATSlocal (ats_ptr_type, tmp155) ;
// ATSlocal_void (tmp156) ;
// ATSlocal_void (tmp157) ;
ATSlocal (ats_ptr_type, tmp158) ;
// ATSlocal_void (tmp159) ;
// ATSlocal_void (tmp160) ;
ATSlocal (ats_ptr_type, tmp161) ;
// ATSlocal_void (tmp162) ;
// ATSlocal_void (tmp163) ;
ATSlocal (ats_ptr_type, tmp164) ;
// ATSlocal_void (tmp165) ;
// ATSlocal_void (tmp166) ;
ATSlocal (ats_ptr_type, tmp167) ;
// ATSlocal_void (tmp168) ;
// ATSlocal_void (tmp169) ;
ATSlocal (ats_ptr_type, tmp170) ;
// ATSlocal_void (tmp171) ;
// ATSlocal_void (tmp172) ;
ATSlocal (ats_ptr_type, tmp173) ;
ATSlocal (ats_ptr_type, tmp174) ;
// ATSlocal_void (tmp175) ;
// ATSlocal_void (tmp176) ;
// ATSlocal_void (tmp177) ;
// ATSlocal_void (tmp178) ;
// ATSlocal_void (tmp179) ;
// ATSlocal_void (tmp180) ;
ATSlocal (ats_ptr_type, tmp181) ;
ATSlocal (ats_ptr_type, tmp182) ;
ATSlocal (ats_ptr_type, tmp183) ;
// ATSlocal_void (tmp184) ;
// ATSlocal_void (tmp185) ;
// ATSlocal_void (tmp186) ;
// ATSlocal_void (tmp187) ;
// ATSlocal_void (tmp188) ;
// ATSlocal_void (tmp189) ;
// ATSlocal_void (tmp190) ;
// ATSlocal_void (tmp191) ;
ATSlocal (ats_ptr_type, tmp192) ;
ATSlocal (ats_ptr_type, tmp193) ;
ATSlocal (ats_ptr_type, tmp194) ;
ATSlocal (ats_ptr_type, tmp195) ;
// ATSlocal_void (tmp196) ;
// ATSlocal_void (tmp197) ;
// ATSlocal_void (tmp198) ;
// ATSlocal_void (tmp199) ;
// ATSlocal_void (tmp200) ;
// ATSlocal_void (tmp201) ;
// ATSlocal_void (tmp202) ;
// ATSlocal_void (tmp203) ;
// ATSlocal_void (tmp204) ;
// ATSlocal_void (tmp205) ;
ATSlocal (ats_int_type, tmp206) ;
ATSlocal (ats_ptr_type, tmp207) ;
// ATSlocal_void (tmp208) ;
// ATSlocal_void (tmp209) ;
// ATSlocal_void (tmp210) ;
// ATSlocal_void (tmp211) ;
// ATSlocal_void (tmp212) ;
// ATSlocal_void (tmp213) ;
// ATSlocal_void (tmp214) ;
// ATSlocal_void (tmp215) ;
// ATSlocal_void (tmp216) ;
// ATSlocal_void (tmp217) ;
ATSlocal (ats_ptr_type, tmp218) ;
ATSlocal (ats_int_type, tmp219) ;
ATSlocal (ats_ptr_type, tmp220) ;
// ATSlocal_void (tmp221) ;
// ATSlocal_void (tmp222) ;
// ATSlocal_void (tmp223) ;
// ATSlocal_void (tmp224) ;
// ATSlocal_void (tmp225) ;
// ATSlocal_void (tmp226) ;
ATSlocal (ats_ptr_type, tmp227) ;
ATSlocal (ats_ptr_type, tmp228) ;
// ATSlocal_void (tmp229) ;
// ATSlocal_void (tmp230) ;
// ATSlocal_void (tmp231) ;
// ATSlocal_void (tmp232) ;
ATSlocal (ats_ptr_type, tmp233) ;
// ATSlocal_void (tmp234) ;
// ATSlocal_void (tmp235) ;
ATSlocal (ats_int_type, tmp236) ;
ATSlocal (ats_ptr_type, tmp237) ;
// ATSlocal_void (tmp238) ;
// ATSlocal_void (tmp239) ;
// ATSlocal_void (tmp240) ;
// ATSlocal_void (tmp241) ;
ATSlocal (ats_ptr_type, tmp242) ;
ATSlocal (ats_ptr_type, tmp243) ;
ATSlocal (ats_ptr_type, tmp244) ;
// ATSlocal_void (tmp245) ;
// ATSlocal_void (tmp246) ;
// ATSlocal_void (tmp247) ;
// ATSlocal_void (tmp248) ;
// ATSlocal_void (tmp249) ;
// ATSlocal_void (tmp250) ;
ATSlocal (ats_ptr_type, tmp251) ;
ATSlocal (ats_ptr_type, tmp252) ;
ATSlocal (ats_ptr_type, tmp253) ;
// ATSlocal_void (tmp254) ;
// ATSlocal_void (tmp255) ;
// ATSlocal_void (tmp256) ;
// ATSlocal_void (tmp257) ;
// ATSlocal_void (tmp258) ;
// ATSlocal_void (tmp259) ;
// ATSlocal_void (tmp260) ;
// ATSlocal_void (tmp261) ;
// ATSlocal_void (tmp262) ;
// ATSlocal_void (tmp263) ;
// ATSlocal_void (tmp264) ;
// ATSlocal_void (tmp265) ;
ATSlocal (ats_int_type, tmp266) ;
ATSlocal (ats_ptr_type, tmp267) ;
ATSlocal (ats_ptr_type, tmp268) ;
// ATSlocal_void (tmp269) ;
// ATSlocal_void (tmp270) ;
// ATSlocal_void (tmp271) ;
// ATSlocal_void (tmp272) ;
// ATSlocal_void (tmp273) ;
// ATSlocal_void (tmp274) ;
ATSlocal (ats_int_type, tmp275) ;
ATSlocal (ats_int_type, tmp276) ;
ATSlocal (ats_ptr_type, tmp277) ;
// ATSlocal_void (tmp278) ;
// ATSlocal_void (tmp279) ;
// ATSlocal_void (tmp280) ;
// ATSlocal_void (tmp281) ;
// ATSlocal_void (tmp282) ;
// ATSlocal_void (tmp283) ;
ATSlocal (ats_int_type, tmp284) ;
ATSlocal (ats_int_type, tmp285) ;
ATSlocal (ats_ptr_type, tmp286) ;
// ATSlocal_void (tmp287) ;
// ATSlocal_void (tmp288) ;
// ATSlocal_void (tmp289) ;
// ATSlocal_void (tmp290) ;
// ATSlocal_void (tmp291) ;
// ATSlocal_void (tmp292) ;
ATSlocal (ats_ptr_type, tmp293) ;
// ATSlocal_void (tmp294) ;
// ATSlocal_void (tmp295) ;
// ATSlocal_void (tmp296) ;
// ATSlocal_void (tmp297) ;
// ATSlocal_void (tmp298) ;
// ATSlocal_void (tmp299) ;
// ATSlocal_void (tmp300) ;
// ATSlocal_void (tmp301) ;
ATSlocal (ats_int_type, tmp302) ;
ATSlocal (ats_ptr_type, tmp303) ;
ATSlocal (ats_ptr_type, tmp304) ;
// ATSlocal_void (tmp305) ;
// ATSlocal_void (tmp306) ;
// ATSlocal_void (tmp307) ;
// ATSlocal_void (tmp308) ;
// ATSlocal_void (tmp309) ;
// ATSlocal_void (tmp310) ;
ATSlocal (ats_ptr_type, tmp311) ;
// ATSlocal_void (tmp312) ;
// ATSlocal_void (tmp313) ;
ATSlocal (ats_ptr_type, tmp314) ;
// ATSlocal_void (tmp315) ;
// ATSlocal_void (tmp316) ;
ATSlocal (ats_ptr_type, tmp317) ;
// ATSlocal_void (tmp318) ;
// ATSlocal_void (tmp319) ;
// ATSlocal_void (tmp320) ;
// ATSlocal_void (tmp321) ;
ATSlocal (ats_ptr_type, tmp322) ;
// ATSlocal_void (tmp323) ;
// ATSlocal_void (tmp324) ;
ATSlocal (ats_int_type, tmp325) ;
ATSlocal (ats_ptr_type, tmp326) ;
// ATSlocal_void (tmp327) ;
// ATSlocal_void (tmp328) ;
// ATSlocal_void (tmp329) ;
// ATSlocal_void (tmp330) ;
ATSlocal (ats_ptr_type, tmp331) ;
// ATSlocal_void (tmp332) ;
// ATSlocal_void (tmp333) ;
ATSlocal (ats_ptr_type, tmp334) ;
// ATSlocal_void (tmp335) ;
// ATSlocal_void (tmp336) ;
ATSlocal (ats_ptr_type, tmp337) ;
// ATSlocal_void (tmp338) ;
// ATSlocal_void (tmp339) ;
ATSlocal (ats_ptr_type, tmp340) ;
ATSlocal (ats_ptr_type, tmp341) ;
// ATSlocal_void (tmp342) ;
// ATSlocal_void (tmp343) ;
// ATSlocal_void (tmp344) ;
// ATSlocal_void (tmp345) ;
// ATSlocal_void (tmp346) ;
// ATSlocal_void (tmp347) ;
// ATSlocal_void (tmp348) ;
// ATSlocal_void (tmp349) ;
// ATSlocal_void (tmp350) ;
// ATSlocal_void (tmp351) ;
// ATSlocal_void (tmp352) ;
// ATSlocal_void (tmp353) ;
// ATSlocal_void (tmp354) ;
// ATSlocal_void (tmp355) ;
// ATSlocal_void (tmp356) ;
// ATSlocal_void (tmp357) ;
// ATSlocal_void (tmp358) ;
// ATSlocal_void (tmp359) ;
// ATSlocal_void (tmp360) ;
// ATSlocal_void (tmp361) ;
// ATSlocal_void (tmp362) ;
// ATSlocal_void (tmp363) ;
// ATSlocal_void (tmp364) ;
// ATSlocal_void (tmp365) ;
ATSlocal (ats_ptr_type, tmp366) ;
ATSlocal (ats_ptr_type, tmp367) ;
// ATSlocal_void (tmp368) ;
// ATSlocal_void (tmp369) ;
// ATSlocal_void (tmp370) ;
// ATSlocal_void (tmp371) ;
ATSlocal (ats_ptr_type, tmp372) ;
ATSlocal (ats_ptr_type, tmp373) ;
// ATSlocal_void (tmp374) ;
// ATSlocal_void (tmp375) ;
// ATSlocal_void (tmp376) ;
// ATSlocal_void (tmp377) ;
ATSlocal (ats_ptr_type, tmp378) ;
ATSlocal (ats_ptr_type, tmp379) ;
// ATSlocal_void (tmp380) ;
// ATSlocal_void (tmp381) ;
// ATSlocal_void (tmp382) ;
// ATSlocal_void (tmp383) ;
ATSlocal (ats_ptr_type, tmp384) ;
ATSlocal (ats_ptr_type, tmp385) ;
// ATSlocal_void (tmp386) ;
// ATSlocal_void (tmp387) ;
// ATSlocal_void (tmp388) ;
// ATSlocal_void (tmp389) ;
ATSlocal (ats_ptr_type, tmp390) ;
ATSlocal (ats_ptr_type, tmp391) ;
// ATSlocal_void (tmp392) ;
// ATSlocal_void (tmp393) ;
// ATSlocal_void (tmp394) ;
// ATSlocal_void (tmp395) ;
ATSlocal (ats_ptr_type, tmp396) ;
// ATSlocal_void (tmp397) ;
// ATSlocal_void (tmp398) ;
ATSlocal (ats_ptr_type, tmp399) ;
// ATSlocal_void (tmp400) ;
// ATSlocal_void (tmp401) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__fprint_d1exp:
tmp119 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_11, arg1), atslab_d1exp_node) ;
do {
/* branch: __ats_lab_29 */
__ats_lab_29_0:
if (((ats_sum_ptr_type)tmp119)->tag != 0) { goto __ats_lab_30_0 ; }
__ats_lab_29_1:
tmp120 = ats_caselptrlab_mac(anairiats_sum_1, tmp119, atslab_0) ;
/* tmp121 = */ atspre_fprint_string (arg0, ATSstrcst("D1Eide(")) ;
/* tmp122 = */ _2tmp_2ATS_2dPostiats_2src_2pats_symbol_2esats__fprint_symbol (arg0, tmp120) ;
/* tmp118 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_30 */
__ats_lab_30_0:
if (((ats_sum_ptr_type)tmp119)->tag != 1) { goto __ats_lab_31_0 ; }
__ats_lab_30_1:
tmp123 = ats_caselptrlab_mac(anairiats_sum_2, tmp119, atslab_0) ;
tmp124 = ats_caselptrlab_mac(anairiats_sum_2, tmp119, atslab_1) ;
/* tmp125 = */ atspre_fprint_string (arg0, ATSstrcst("D1Edqid(")) ;
/* tmp126 = */ _2tmp_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_d0ynq (arg0, tmp123) ;
/* tmp127 = */ _2tmp_2ATS_2dPostiats_2src_2pats_symbol_2esats__fprint_symbol (arg0, tmp124) ;
/* tmp118 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_31 */
__ats_lab_31_0:
if (((ats_sum_ptr_type)tmp119)->tag != 2) { goto __ats_lab_32_0 ; }
__ats_lab_31_1:
tmp128 = ats_caselptrlab_mac(anairiats_sum_2, tmp119, atslab_0) ;
tmp129 = ats_caselptrlab_mac(anairiats_sum_2, tmp119, atslab_1) ;
/* tmp130 = */ atspre_fprint_string (arg0, ATSstrcst("D1Eidextapp(")) ;
/* tmp131 = */ _2tmp_2ATS_2dPostiats_2src_2pats_symbol_2esats__fprint_symbol (arg0, tmp128) ;
/* tmp132 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp133 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__fprint_d1explst (arg0, tmp129) ;
/* tmp118 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_32 */
__ats_lab_32_0:
if (((ats_sum_ptr_type)tmp119)->tag != 3) { goto __ats_lab_33_0 ; }
__ats_lab_32_1:
tmp134 = ats_caselptrlab_mac(anairiats_sum_3, tmp119, atslab_0) ;
/* tmp135 = */ atspre_fprint_string (arg0, ATSstrcst("D1Eint(")) ;
/* tmp136 = */ atspre_fprint_int (arg0, tmp134) ;
/* tmp118 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_33 */
__ats_lab_33_0:
if (((ats_sum_ptr_type)tmp119)->tag != 4) { goto __ats_lab_34_0 ; }
__ats_lab_33_1:
tmp137 = ats_caselptrlab_mac(anairiats_sum_1, tmp119, atslab_0) ;
/* tmp138 = */ atspre_fprint_string (arg0, ATSstrcst("D1Eintrep(")) ;
/* tmp139 = */ atspre_fprint_string (arg0, tmp137) ;
/* tmp118 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_34 */
__ats_lab_34_0:
if (((ats_sum_ptr_type)tmp119)->tag != 5) { goto __ats_lab_35_0 ; }
__ats_lab_34_1:
tmp140 = ats_caselptrlab_mac(anairiats_sum_12, tmp119, atslab_0) ;
/* tmp141 = */ atspre_fprint_string (arg0, ATSstrcst("D1Ebool(")) ;
/* tmp142 = */ atspre_fprint_bool (arg0, tmp140) ;
/* tmp118 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_35 */
__ats_lab_35_0:
if (((ats_sum_ptr_type)tmp119)->tag != 6) { goto __ats_lab_36_0 ; }
__ats_lab_35_1:
tmp143 = ats_caselptrlab_mac(anairiats_sum_4, tmp119, atslab_0) ;
/* tmp144 = */ atspre_fprint_string (arg0, ATSstrcst("D1Echar(")) ;
/* tmp145 = */ atspre_fprint_char (arg0, tmp143) ;
/* tmp118 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_36 */
__ats_lab_36_0:
if (((ats_sum_ptr_type)tmp119)->tag != 7) { goto __ats_lab_37_0 ; }
__ats_lab_36_1:
tmp146 = ats_caselptrlab_mac(anairiats_sum_1, tmp119, atslab_0) ;
/* tmp147 = */ atspre_fprint_string (arg0, ATSstrcst("D1Efloat(")) ;
/* tmp148 = */ atspre_fprint_string (arg0, tmp146) ;
/* tmp118 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_37 */
__ats_lab_37_0:
if (((ats_sum_ptr_type)tmp119)->tag != 8) { goto __ats_lab_38_0 ; }
__ats_lab_37_1:
tmp149 = ats_caselptrlab_mac(anairiats_sum_1, tmp119, atslab_0) ;
/* tmp150 = */ atspre_fprint_string (arg0, ATSstrcst("D1Estring(")) ;
/* tmp151 = */ atspre_fprint_string (arg0, tmp149) ;
/* tmp118 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_38 */
__ats_lab_38_0:
if (((ats_sum_ptr_type)tmp119)->tag != 9) { goto __ats_lab_39_0 ; }
__ats_lab_38_1:
tmp152 = ats_caselptrlab_mac(anairiats_sum_1, tmp119, atslab_0) ;
/* tmp153 = */ atspre_fprint_string (arg0, ATSstrcst("D1Ei0nt(")) ;
/* tmp154 = */ _2tmp_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_i0nt (arg0, tmp152) ;
/* tmp118 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_39 */
__ats_lab_39_0:
if (((ats_sum_ptr_type)tmp119)->tag != 10) { goto __ats_lab_40_0 ; }
__ats_lab_39_1:
tmp155 = ats_caselptrlab_mac(anairiats_sum_1, tmp119, atslab_0) ;
/* tmp156 = */ atspre_fprint_string (arg0, ATSstrcst("D1Ec0har(")) ;
/* tmp157 = */ _2tmp_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_c0har (arg0, tmp155) ;
/* tmp118 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_40 */
__ats_lab_40_0:
if (((ats_sum_ptr_type)tmp119)->tag != 11) { goto __ats_lab_41_0 ; }
__ats_lab_40_1:
tmp158 = ats_caselptrlab_mac(anairiats_sum_1, tmp119, atslab_0) ;
/* tmp159 = */ atspre_fprint_string (arg0, ATSstrcst("D1Ef0loat(")) ;
/* tmp160 = */ _2tmp_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_f0loat (arg0, tmp158) ;
/* tmp118 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_41 */
__ats_lab_41_0:
if (((ats_sum_ptr_type)tmp119)->tag != 12) { goto __ats_lab_42_0 ; }
__ats_lab_41_1:
tmp161 = ats_caselptrlab_mac(anairiats_sum_1, tmp119, atslab_0) ;
/* tmp162 = */ atspre_fprint_string (arg0, ATSstrcst("D1Es0tring(")) ;
/* tmp163 = */ _2tmp_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_s0tring (arg0, tmp161) ;
/* tmp118 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_42 */
__ats_lab_42_0:
if (((ats_sum_ptr_type)tmp119)->tag != 13) { goto __ats_lab_43_0 ; }
__ats_lab_42_1:
/* tmp118 = */ atspre_fprint_string (arg0, ATSstrcst("D1Etop()")) ;
break ;

/* branch: __ats_lab_43 */
__ats_lab_43_0:
if (((ats_sum_ptr_type)tmp119)->tag != 14) { goto __ats_lab_44_0 ; }
__ats_lab_43_1:
/* tmp118 = */ atspre_fprint_string (arg0, ATSstrcst("D1Eempty()")) ;
break ;

/* branch: __ats_lab_44 */
__ats_lab_44_0:
if (((ats_sum_ptr_type)tmp119)->tag != 15) { goto __ats_lab_45_0 ; }
__ats_lab_44_1:
tmp164 = ats_caselptrlab_mac(anairiats_sum_1, tmp119, atslab_0) ;
/* tmp165 = */ atspre_fprint_string (arg0, ATSstrcst("D1Ecstsp(")) ;
/* tmp166 = */ _2tmp_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_cstsp (arg0, tmp164) ;
/* tmp118 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_45 */
__ats_lab_45_0:
if (((ats_sum_ptr_type)tmp119)->tag != 16) { goto __ats_lab_46_0 ; }
__ats_lab_45_1:
tmp167 = ats_caselptrlab_mac(anairiats_sum_1, tmp119, atslab_0) ;
/* tmp168 = */ atspre_fprint_string (arg0, ATSstrcst("D1Etyrep(")) ;
/* tmp169 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1exp (arg0, tmp167) ;
/* tmp118 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_46 */
__ats_lab_46_0:
if (((ats_sum_ptr_type)tmp119)->tag != 17) { goto __ats_lab_47_0 ; }
__ats_lab_46_1:
tmp170 = ats_caselptrlab_mac(anairiats_sum_1, tmp119, atslab_0) ;
/* tmp171 = */ atspre_fprint_string (arg0, ATSstrcst("D1Eliteral(")) ;
/* tmp172 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__fprint_d1exp (arg0, tmp170) ;
/* tmp118 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_47 */
__ats_lab_47_0:
if (((ats_sum_ptr_type)tmp119)->tag != 18) { goto __ats_lab_48_0 ; }
__ats_lab_47_1:
tmp173 = ats_caselptrlab_mac(anairiats_sum_2, tmp119, atslab_0) ;
tmp174 = ats_caselptrlab_mac(anairiats_sum_2, tmp119, atslab_1) ;
/* tmp175 = */ atspre_fprint_string (arg0, ATSstrcst("D1Eextval(")) ;
/* tmp176 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1exp (arg0, tmp173) ;
/* tmp177 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp178 = */ atspre_fprint_string (arg0, ATSstrcst("\"")) ;
/* tmp179 = */ atspre_fprint_string (arg0, tmp174) ;
/* tmp180 = */ atspre_fprint_string (arg0, ATSstrcst("\"")) ;
/* tmp118 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_48 */
__ats_lab_48_0:
if (((ats_sum_ptr_type)tmp119)->tag != 19) { goto __ats_lab_49_0 ; }
__ats_lab_48_1:
tmp181 = ats_caselptrlab_mac(anairiats_sum_9, tmp119, atslab_0) ;
tmp182 = ats_caselptrlab_mac(anairiats_sum_9, tmp119, atslab_1) ;
tmp183 = ats_caselptrlab_mac(anairiats_sum_9, tmp119, atslab_2) ;
/* tmp184 = */ atspre_fprint_string (arg0, ATSstrcst("D1Eextfcall(")) ;
/* tmp185 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1exp (arg0, tmp181) ;
/* tmp186 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp187 = */ atspre_fprint_string (arg0, ATSstrcst("\"")) ;
/* tmp188 = */ atspre_fprint_string (arg0, tmp182) ;
/* tmp189 = */ atspre_fprint_string (arg0, ATSstrcst("\"")) ;
/* tmp190 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp191 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__fprint_d1explst (arg0, tmp183) ;
/* tmp118 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_49 */
__ats_lab_49_0:
if (((ats_sum_ptr_type)tmp119)->tag != 20) { goto __ats_lab_50_0 ; }
__ats_lab_49_1:
tmp192 = ats_caselptrlab_mac(anairiats_sum_13, tmp119, atslab_0) ;
tmp193 = ats_caselptrlab_mac(anairiats_sum_13, tmp119, atslab_1) ;
tmp194 = ats_caselptrlab_mac(anairiats_sum_13, tmp119, atslab_2) ;
tmp195 = ats_caselptrlab_mac(anairiats_sum_13, tmp119, atslab_3) ;
/* tmp196 = */ atspre_fprint_string (arg0, ATSstrcst("D1Eextmcall(")) ;
/* tmp197 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1exp (arg0, tmp192) ;
/* tmp198 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp199 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__fprint_d1exp (arg0, tmp193) ;
/* tmp200 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp201 = */ atspre_fprint_string (arg0, ATSstrcst("\"")) ;
/* tmp202 = */ atspre_fprint_string (arg0, tmp194) ;
/* tmp203 = */ atspre_fprint_string (arg0, ATSstrcst("\"")) ;
/* tmp204 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp205 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__fprint_d1explst (arg0, tmp195) ;
/* tmp118 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_50 */
__ats_lab_50_0:
if (((ats_sum_ptr_type)tmp119)->tag != 63) { goto __ats_lab_51_0 ; }
__ats_lab_50_1:
tmp206 = ats_caselptrlab_mac(anairiats_sum_3, tmp119, atslab_0) ;
/* tmp118 = */ atspre_fprintf_exn (arg0, ATSstrcst("D1Eloopexn(%i)"), tmp206) ;
break ;

/* branch: __ats_lab_51 */
__ats_lab_51_0:
if (((ats_sum_ptr_type)tmp119)->tag != 21) { goto __ats_lab_52_0 ; }
__ats_lab_51_1:
/* tmp118 = */ atspre_fprintf_exn (arg0, ATSstrcst("D1Efoldat(...)")) ;
break ;

/* branch: __ats_lab_52 */
__ats_lab_52_0:
if (((ats_sum_ptr_type)tmp119)->tag != 22) { goto __ats_lab_53_0 ; }
__ats_lab_52_1:
/* tmp118 = */ atspre_fprintf_exn (arg0, ATSstrcst("D1Efreeat(...)")) ;
break ;

/* branch: __ats_lab_53 */
__ats_lab_53_0:
if (((ats_sum_ptr_type)tmp119)->tag != 23) { goto __ats_lab_54_0 ; }
__ats_lab_53_1:
tmp207 = ats_caselptrlab_mac(anairiats_sum_2, tmp119, atslab_0) ;
/* tmp208 = */ atspre_fprint_string (arg0, ATSstrcst("D1Etmpid(")) ;
/* tmp209 = */ _2tmp_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_dqi0de (arg0, tmp207) ;
/* tmp210 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp211 = */ atspre_fprint_string (arg0, ATSstrcst("...")) ;
/* tmp118 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_54 */
__ats_lab_54_0:
if (((ats_sum_ptr_type)tmp119)->tag != 24) { goto __ats_lab_55_0 ; }
__ats_lab_54_1:
/* tmp212 = */ atspre_fprint_string (arg0, ATSstrcst("D1Elet(")) ;
/* tmp213 = */ atspre_fprint_string (arg0, ATSstrcst("...")) ;
/* tmp118 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_55 */
__ats_lab_55_0:
if (((ats_sum_ptr_type)tmp119)->tag != 25) { goto __ats_lab_56_0 ; }
__ats_lab_55_1:
/* tmp214 = */ atspre_fprint_string (arg0, ATSstrcst("D1Ewhere(")) ;
/* tmp215 = */ atspre_fprint_string (arg0, ATSstrcst("...")) ;
/* tmp118 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_56 */
__ats_lab_56_0:
if (((ats_sum_ptr_type)tmp119)->tag != 26) { goto __ats_lab_57_0 ; }
__ats_lab_56_1:
/* tmp216 = */ atspre_fprint_string (arg0, ATSstrcst("D1Edecseq(")) ;
/* tmp217 = */ atspre_fprint_string (arg0, ATSstrcst("...")) ;
/* tmp118 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_57 */
__ats_lab_57_0:
if (((ats_sum_ptr_type)tmp119)->tag != 27) { goto __ats_lab_58_0 ; }
__ats_lab_57_1:
tmp218 = ats_caselptrlab_mac(anairiats_sum_6, tmp119, atslab_0) ;
tmp219 = ats_caselptrlab_mac(anairiats_sum_6, tmp119, atslab_2) ;
tmp220 = ats_caselptrlab_mac(anairiats_sum_6, tmp119, atslab_3) ;
/* tmp221 = */ atspre_fprint_string (arg0, ATSstrcst("D1Eapp_dyn(")) ;
/* tmp222 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__fprint_d1exp (arg0, tmp218) ;
/* tmp223 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp224 = */ atspre_fprint_int (arg0, tmp219) ;
/* tmp225 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp226 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__fprint_d1explst (arg0, tmp220) ;
/* tmp118 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_58 */
__ats_lab_58_0:
if (((ats_sum_ptr_type)tmp119)->tag != 28) { goto __ats_lab_59_0 ; }
__ats_lab_58_1:
tmp227 = ats_caselptrlab_mac(anairiats_sum_2, tmp119, atslab_0) ;
tmp228 = ats_caselptrlab_mac(anairiats_sum_2, tmp119, atslab_1) ;
/* tmp229 = */ atspre_fprint_string (arg0, ATSstrcst("D1Eapp_sta(")) ;
/* tmp230 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__fprint_d1exp (arg0, tmp227) ;
/* tmp231 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp232 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1exparglst (arg0, tmp228) ;
/* tmp118 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_59 */
__ats_lab_59_0:
if (((ats_sum_ptr_type)tmp119)->tag != 29) { goto __ats_lab_60_0 ; }
__ats_lab_59_1:
tmp233 = ats_caselptrlab_mac(anairiats_sum_1, tmp119, atslab_0) ;
/* tmp234 = */ atspre_fprint_string (arg0, ATSstrcst("D1Esing(")) ;
/* tmp235 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__fprint_d1exp (arg0, tmp233) ;
/* tmp118 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_60 */
__ats_lab_60_0:
if (((ats_sum_ptr_type)tmp119)->tag != 30) { goto __ats_lab_61_0 ; }
__ats_lab_60_1:
tmp236 = ats_caselptrlab_mac(anairiats_sum_7, tmp119, atslab_0) ;
tmp237 = ats_caselptrlab_mac(anairiats_sum_7, tmp119, atslab_1) ;
/* tmp238 = */ atspre_fprint_string (arg0, ATSstrcst("D1Elist(")) ;
/* tmp239 = */ atspre_fprint_int (arg0, tmp236) ;
/* tmp240 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp241 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__fprint_d1explst (arg0, tmp237) ;
/* tmp118 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_61 */
__ats_lab_61_0:
if (((ats_sum_ptr_type)tmp119)->tag != 31) { goto __ats_lab_62_0 ; }
__ats_lab_61_1:
tmp242 = ats_caselptrlab_mac(anairiats_sum_13, tmp119, atslab_1) ;
tmp243 = ats_caselptrlab_mac(anairiats_sum_13, tmp119, atslab_2) ;
tmp244 = ats_caselptrlab_mac(anairiats_sum_13, tmp119, atslab_3) ;
/* tmp245 = */ atspre_fprint_string (arg0, ATSstrcst("D1Eifhead(")) ;
/* tmp246 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__fprint_d1exp (arg0, tmp242) ;
/* tmp247 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp248 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__fprint_d1exp (arg0, tmp243) ;
/* tmp249 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp250 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__fprint_d1expopt (arg0, tmp244) ;
/* tmp118 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_62 */
__ats_lab_62_0:
if (((ats_sum_ptr_type)tmp119)->tag != 32) { goto __ats_lab_63_0 ; }
__ats_lab_62_1:
tmp251 = ats_caselptrlab_mac(anairiats_sum_13, tmp119, atslab_1) ;
tmp252 = ats_caselptrlab_mac(anairiats_sum_13, tmp119, atslab_2) ;
tmp253 = ats_caselptrlab_mac(anairiats_sum_13, tmp119, atslab_3) ;
/* tmp254 = */ atspre_fprint_string (arg0, ATSstrcst("D1Esifhead(")) ;
/* tmp255 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1exp (arg0, tmp251) ;
/* tmp256 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp257 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__fprint_d1exp (arg0, tmp252) ;
/* tmp258 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp259 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__fprint_d1exp (arg0, tmp253) ;
/* tmp118 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_63 */
__ats_lab_63_0:
if (((ats_sum_ptr_type)tmp119)->tag != 33) { goto __ats_lab_64_0 ; }
__ats_lab_63_1:
/* tmp260 = */ atspre_fprint_string (arg0, ATSstrcst("D1Eifcasehd(")) ;
/* tmp261 = */ atspre_fprint_string (arg0, ATSstrcst("...")) ;
/* tmp118 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_64 */
__ats_lab_64_0:
if (((ats_sum_ptr_type)tmp119)->tag != 34) { goto __ats_lab_65_0 ; }
__ats_lab_64_1:
/* tmp262 = */ atspre_fprint_string (arg0, ATSstrcst("D1Ecasehead(")) ;
/* tmp263 = */ atspre_fprint_string (arg0, ATSstrcst("...")) ;
/* tmp118 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_65 */
__ats_lab_65_0:
if (((ats_sum_ptr_type)tmp119)->tag != 35) { goto __ats_lab_66_0 ; }
__ats_lab_65_1:
/* tmp264 = */ atspre_fprint_string (arg0, ATSstrcst("D1Escasehead(")) ;
/* tmp265 = */ atspre_fprint_string (arg0, ATSstrcst("...")) ;
/* tmp118 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_66 */
__ats_lab_66_0:
if (((ats_sum_ptr_type)tmp119)->tag != 36) { goto __ats_lab_67_0 ; }
__ats_lab_66_1:
tmp266 = ats_caselptrlab_mac(anairiats_sum_14, tmp119, atslab_0) ;
tmp267 = ats_caselptrlab_mac(anairiats_sum_14, tmp119, atslab_1) ;
tmp268 = ats_caselptrlab_mac(anairiats_sum_14, tmp119, atslab_2) ;
/* tmp269 = */ atspre_fprint_string (arg0, ATSstrcst("D1Etup(")) ;
/* tmp270 = */ atspre_fprint_int (arg0, tmp266) ;
/* tmp271 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp272 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1expopt (arg0, tmp267) ;
/* tmp273 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp274 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__fprint_d1explst (arg0, tmp268) ;
/* tmp118 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_67 */
__ats_lab_67_0:
if (((ats_sum_ptr_type)tmp119)->tag != 37) { goto __ats_lab_68_0 ; }
__ats_lab_67_1:
tmp275 = ats_caselptrlab_mac(anairiats_sum_8, tmp119, atslab_0) ;
tmp276 = ats_caselptrlab_mac(anairiats_sum_8, tmp119, atslab_1) ;
tmp277 = ats_caselptrlab_mac(anairiats_sum_8, tmp119, atslab_2) ;
/* tmp278 = */ atspre_fprint_string (arg0, ATSstrcst("D1Etup(knd=")) ;
/* tmp279 = */ atspre_fprint_int (arg0, tmp275) ;
/* tmp280 = */ atspre_fprint_string (arg0, ATSstrcst("; npf=")) ;
/* tmp281 = */ atspre_fprint_int (arg0, tmp276) ;
/* tmp282 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp283 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__fprint_d1explst (arg0, tmp277) ;
/* tmp118 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_68 */
__ats_lab_68_0:
if (((ats_sum_ptr_type)tmp119)->tag != 38) { goto __ats_lab_69_0 ; }
__ats_lab_68_1:
tmp284 = ats_caselptrlab_mac(anairiats_sum_8, tmp119, atslab_0) ;
tmp285 = ats_caselptrlab_mac(anairiats_sum_8, tmp119, atslab_1) ;
tmp286 = ats_caselptrlab_mac(anairiats_sum_8, tmp119, atslab_2) ;
/* tmp287 = */ atspre_fprint_string (arg0, ATSstrcst("D1Erec(knd=")) ;
/* tmp288 = */ atspre_fprint_int (arg0, tmp284) ;
/* tmp289 = */ atspre_fprint_string (arg0, ATSstrcst("; npf=")) ;
/* tmp290 = */ atspre_fprint_int (arg0, tmp285) ;
/* tmp291 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp292 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__fprint_labd1explst (arg0, tmp286) ;
/* tmp118 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_69 */
__ats_lab_69_0:
if (((ats_sum_ptr_type)tmp119)->tag != 39) { goto __ats_lab_70_0 ; }
__ats_lab_69_1:
tmp293 = ats_caselptrlab_mac(anairiats_sum_1, tmp119, atslab_0) ;
/* tmp294 = */ atspre_fprint_string (arg0, ATSstrcst("D1Eseq(")) ;
/* tmp295 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__fprint_d1explst (arg0, tmp293) ;
/* tmp118 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_70 */
__ats_lab_70_0:
if (((ats_sum_ptr_type)tmp119)->tag != 40) { goto __ats_lab_71_0 ; }
__ats_lab_70_1:
/* tmp296 = */ atspre_fprint_string (arg0, ATSstrcst("D1Earrsub(")) ;
/* tmp297 = */ atspre_fprint_string (arg0, ATSstrcst("...")) ;
/* tmp118 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_71 */
__ats_lab_71_0:
if (((ats_sum_ptr_type)tmp119)->tag != 42) { goto __ats_lab_72_0 ; }
__ats_lab_71_1:
/* tmp298 = */ atspre_fprint_string (arg0, ATSstrcst("D1Earrpsz(")) ;
/* tmp299 = */ atspre_fprint_string (arg0, ATSstrcst("...")) ;
/* tmp118 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_72 */
__ats_lab_72_0:
if (((ats_sum_ptr_type)tmp119)->tag != 41) { goto __ats_lab_73_0 ; }
__ats_lab_72_1:
/* tmp300 = */ atspre_fprint_string (arg0, ATSstrcst("D1Earrinit(")) ;
/* tmp301 = */ atspre_fprint_string (arg0, ATSstrcst("...")) ;
/* tmp118 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_73 */
__ats_lab_73_0:
if (((ats_sum_ptr_type)tmp119)->tag != 45) { goto __ats_lab_74_0 ; }
__ats_lab_73_1:
tmp302 = ats_caselptrlab_mac(anairiats_sum_14, tmp119, atslab_0) ;
tmp303 = ats_caselptrlab_mac(anairiats_sum_14, tmp119, atslab_1) ;
tmp304 = ats_caselptrlab_mac(anairiats_sum_14, tmp119, atslab_2) ;
/* tmp305 = */ atspre_fprint_string (arg0, ATSstrcst("D1Eselab(")) ;
/* tmp306 = */ atspre_fprint_int (arg0, tmp302) ;
/* tmp307 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp308 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__fprint_d1exp (arg0, tmp303) ;
/* tmp309 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp310 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__fprint_d1lab (arg0, tmp304) ;
/* tmp118 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_74 */
__ats_lab_74_0:
if (((ats_sum_ptr_type)tmp119)->tag != 43) { goto __ats_lab_75_0 ; }
__ats_lab_74_1:
tmp311 = ats_caselptrlab_mac(anairiats_sum_1, tmp119, atslab_0) ;
/* tmp312 = */ atspre_fprint_string (arg0, ATSstrcst("D1Eptrof(")) ;
/* tmp313 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__fprint_d1exp (arg0, tmp311) ;
/* tmp118 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_75 */
__ats_lab_75_0:
if (((ats_sum_ptr_type)tmp119)->tag != 44) { goto __ats_lab_76_0 ; }
__ats_lab_75_1:
tmp314 = ats_caselptrlab_mac(anairiats_sum_1, tmp119, atslab_0) ;
/* tmp315 = */ atspre_fprint_string (arg0, ATSstrcst("D1Eviewat(")) ;
/* tmp316 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__fprint_d1exp (arg0, tmp314) ;
/* tmp118 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_76 */
__ats_lab_76_0:
if (((ats_sum_ptr_type)tmp119)->tag != 46) { goto __ats_lab_77_0 ; }
__ats_lab_76_1:
tmp317 = ats_caselptrlab_mac(anairiats_sum_1, tmp119, atslab_0) ;
/* tmp318 = */ atspre_fprint_string (arg0, ATSstrcst("D1Eraise(")) ;
/* tmp319 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__fprint_d1exp (arg0, tmp317) ;
/* tmp118 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_77 */
__ats_lab_77_0:
if (((ats_sum_ptr_type)tmp119)->tag != 47) { goto __ats_lab_78_0 ; }
__ats_lab_77_1:
/* tmp320 = */ atspre_fprint_string (arg0, ATSstrcst("D1Eeffmask(")) ;
/* tmp321 = */ atspre_fprint_string (arg0, ATSstrcst("...")) ;
/* tmp118 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_78 */
__ats_lab_78_0:
if (((ats_sum_ptr_type)tmp119)->tag != 48) { goto __ats_lab_79_0 ; }
__ats_lab_78_1:
tmp322 = ats_caselptrlab_mac(anairiats_sum_1, tmp119, atslab_0) ;
/* tmp323 = */ atspre_fprint_string (arg0, ATSstrcst("D1Evararg(")) ;
/* tmp324 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__fprint_d1explst (arg0, tmp322) ;
/* tmp118 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_79 */
__ats_lab_79_0:
if (((ats_sum_ptr_type)tmp119)->tag != 49) { goto __ats_lab_80_0 ; }
__ats_lab_79_1:
tmp325 = ats_caselptrlab_mac(anairiats_sum_7, tmp119, atslab_0) ;
tmp326 = ats_caselptrlab_mac(anairiats_sum_7, tmp119, atslab_1) ;
/* tmp327 = */ atspre_fprint_string (arg0, ATSstrcst("D1Evcopyenv(")) ;
/* tmp328 = */ atspre_fprint_int (arg0, tmp325) ;
/* tmp329 = */ atspre_fprint_string (arg0, ATSstrcst(", ")) ;
/* tmp330 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__fprint_d1exp (arg0, tmp326) ;
/* tmp118 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_80 */
__ats_lab_80_0:
if (((ats_sum_ptr_type)tmp119)->tag != 50) { goto __ats_lab_81_0 ; }
__ats_lab_80_1:
tmp331 = ats_caselptrlab_mac(anairiats_sum_1, tmp119, atslab_0) ;
/* tmp332 = */ atspre_fprint_string (arg0, ATSstrcst("D1Eshowtype(")) ;
/* tmp333 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__fprint_d1exp (arg0, tmp331) ;
/* tmp118 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_81 */
__ats_lab_81_0:
if (((ats_sum_ptr_type)tmp119)->tag != 51) { goto __ats_lab_82_0 ; }
__ats_lab_81_1:
tmp334 = ats_caselptrlab_mac(anairiats_sum_1, tmp119, atslab_0) ;
/* tmp335 = */ atspre_fprint_string (arg0, ATSstrcst("D1Etempenver(")) ;
/* tmp336 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__fprint_d1exp (arg0, tmp334) ;
/* tmp118 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_82 */
__ats_lab_82_0:
if (((ats_sum_ptr_type)tmp119)->tag != 52) { goto __ats_lab_83_0 ; }
__ats_lab_82_1:
tmp337 = ats_caselptrlab_mac(anairiats_sum_1, tmp119, atslab_0) ;
/* tmp338 = */ atspre_fprint_string (arg0, ATSstrcst("D1Esexparg(")) ;
/* tmp339 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1exparg (arg0, tmp337) ;
/* tmp118 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_83 */
__ats_lab_83_0:
if (((ats_sum_ptr_type)tmp119)->tag != 53) { goto __ats_lab_84_0 ; }
__ats_lab_83_1:
tmp340 = ats_caselptrlab_mac(anairiats_sum_2, tmp119, atslab_0) ;
tmp341 = ats_caselptrlab_mac(anairiats_sum_2, tmp119, atslab_1) ;
/* tmp342 = */ atspre_fprint_string (arg0, ATSstrcst("D1Eexist(")) ;
/* tmp343 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1exparg (arg0, tmp340) ;
/* tmp344 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp345 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__fprint_d1exp (arg0, tmp341) ;
/* tmp118 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_84 */
__ats_lab_84_0:
if (((ats_sum_ptr_type)tmp119)->tag != 54) { goto __ats_lab_85_0 ; }
__ats_lab_84_1:
/* tmp346 = */ atspre_fprint_string (arg0, ATSstrcst("D1Elam_dyn(")) ;
/* tmp347 = */ atspre_fprint_string (arg0, ATSstrcst("...")) ;
/* tmp118 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_85 */
__ats_lab_85_0:
if (((ats_sum_ptr_type)tmp119)->tag != 55) { goto __ats_lab_86_0 ; }
__ats_lab_85_1:
/* tmp348 = */ atspre_fprint_string (arg0, ATSstrcst("D1Elaminit_dyn(")) ;
/* tmp349 = */ atspre_fprint_string (arg0, ATSstrcst("...")) ;
/* tmp118 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_86 */
__ats_lab_86_0:
if (((ats_sum_ptr_type)tmp119)->tag != 57) { goto __ats_lab_87_0 ; }
__ats_lab_86_1:
/* tmp350 = */ atspre_fprint_string (arg0, ATSstrcst("D1Elam_sta_ana(")) ;
/* tmp351 = */ atspre_fprint_string (arg0, ATSstrcst("...")) ;
/* tmp118 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_87 */
__ats_lab_87_0:
if (((ats_sum_ptr_type)tmp119)->tag != 58) { goto __ats_lab_88_0 ; }
__ats_lab_87_1:
/* tmp352 = */ atspre_fprint_string (arg0, ATSstrcst("D1Elam_sta_syn(")) ;
/* tmp353 = */ atspre_fprint_string (arg0, ATSstrcst("...")) ;
/* tmp118 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_88 */
__ats_lab_88_0:
if (((ats_sum_ptr_type)tmp119)->tag != 56) { goto __ats_lab_89_0 ; }
__ats_lab_88_1:
/* tmp354 = */ atspre_fprint_string (arg0, ATSstrcst("D1Elam_met(")) ;
/* tmp355 = */ atspre_fprint_string (arg0, ATSstrcst("...")) ;
/* tmp118 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_89 */
__ats_lab_89_0:
if (((ats_sum_ptr_type)tmp119)->tag != 59) { goto __ats_lab_90_0 ; }
__ats_lab_89_1:
/* tmp356 = */ atspre_fprint_string (arg0, ATSstrcst("D1Efix(")) ;
/* tmp357 = */ atspre_fprint_string (arg0, ATSstrcst("...")) ;
/* tmp118 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_90 */
__ats_lab_90_0:
if (((ats_sum_ptr_type)tmp119)->tag != 60) { goto __ats_lab_91_0 ; }
__ats_lab_90_1:
/* tmp358 = */ atspre_fprint_string (arg0, ATSstrcst("D1Edelay(")) ;
/* tmp359 = */ atspre_fprint_string (arg0, ATSstrcst("...")) ;
/* tmp118 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_91 */
__ats_lab_91_0:
if (((ats_sum_ptr_type)tmp119)->tag != 61) { goto __ats_lab_92_0 ; }
__ats_lab_91_1:
/* tmp360 = */ atspre_fprint_string (arg0, ATSstrcst("D1Efor(")) ;
/* tmp361 = */ atspre_fprint_string (arg0, ATSstrcst("...")) ;
/* tmp118 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_92 */
__ats_lab_92_0:
if (((ats_sum_ptr_type)tmp119)->tag != 62) { goto __ats_lab_93_0 ; }
__ats_lab_92_1:
/* tmp362 = */ atspre_fprint_string (arg0, ATSstrcst("D1Ewhile(")) ;
/* tmp363 = */ atspre_fprint_string (arg0, ATSstrcst("...")) ;
/* tmp118 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_93 */
__ats_lab_93_0:
if (((ats_sum_ptr_type)tmp119)->tag != 64) { goto __ats_lab_94_0 ; }
__ats_lab_93_1:
/* tmp364 = */ atspre_fprint_string (arg0, ATSstrcst("D1Etrywith(")) ;
/* tmp365 = */ atspre_fprint_string (arg0, ATSstrcst("...")) ;
/* tmp118 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_94 */
__ats_lab_94_0:
if (((ats_sum_ptr_type)tmp119)->tag != 65) { goto __ats_lab_95_0 ; }
__ats_lab_94_1:
tmp366 = ats_caselptrlab_mac(anairiats_sum_2, tmp119, atslab_0) ;
tmp367 = ats_caselptrlab_mac(anairiats_sum_2, tmp119, atslab_1) ;
/* tmp368 = */ atspre_fprint_string (arg0, ATSstrcst("D1Eann_type(")) ;
/* tmp369 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__fprint_d1exp (arg0, tmp366) ;
/* tmp370 = */ atspre_fprint_string (arg0, ATSstrcst(" : ")) ;
/* tmp371 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1exp (arg0, tmp367) ;
/* tmp118 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_95 */
__ats_lab_95_0:
if (((ats_sum_ptr_type)tmp119)->tag != 66) { goto __ats_lab_96_0 ; }
__ats_lab_95_1:
tmp372 = ats_caselptrlab_mac(anairiats_sum_2, tmp119, atslab_0) ;
tmp373 = ats_caselptrlab_mac(anairiats_sum_2, tmp119, atslab_1) ;
/* tmp374 = */ atspre_fprint_string (arg0, ATSstrcst("D1Eann_effc(")) ;
/* tmp375 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__fprint_d1exp (arg0, tmp372) ;
/* tmp376 = */ atspre_fprint_string (arg0, ATSstrcst(" : ")) ;
/* tmp377 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_effcst (arg0, tmp373) ;
/* tmp118 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_96 */
__ats_lab_96_0:
if (((ats_sum_ptr_type)tmp119)->tag != 67) { goto __ats_lab_97_0 ; }
__ats_lab_96_1:
tmp378 = ats_caselptrlab_mac(anairiats_sum_2, tmp119, atslab_0) ;
tmp379 = ats_caselptrlab_mac(anairiats_sum_2, tmp119, atslab_1) ;
/* tmp380 = */ atspre_fprint_string (arg0, ATSstrcst("D1Eann_funclo(")) ;
/* tmp381 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__fprint_d1exp (arg0, tmp378) ;
/* tmp382 = */ atspre_fprint_string (arg0, ATSstrcst(" : ")) ;
/* tmp383 = */ _2tmp_2ATS_2dPostiats_2src_2pats_basics_2esats__fprint_funclo (arg0, tmp379) ;
/* tmp118 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_97 */
__ats_lab_97_0:
if (((ats_sum_ptr_type)tmp119)->tag != 68) { goto __ats_lab_98_0 ; }
__ats_lab_97_1:
tmp384 = ats_caselptrlab_mac(anairiats_sum_2, tmp119, atslab_0) ;
tmp385 = ats_caselptrlab_mac(anairiats_sum_2, tmp119, atslab_1) ;
/* tmp386 = */ atspre_fprint_string (arg0, ATSstrcst("D1Emacsyn(")) ;
/* tmp387 = */ _2tmp_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_macsynkind (arg0, tmp384) ;
/* tmp388 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp389 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__fprint_d1exp (arg0, tmp385) ;
/* tmp118 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_98 */
__ats_lab_98_0:
if (((ats_sum_ptr_type)tmp119)->tag != 69) { goto __ats_lab_99_0 ; }
__ats_lab_98_1:
tmp390 = ats_caselptrlab_mac(anairiats_sum_2, tmp119, atslab_0) ;
tmp391 = ats_caselptrlab_mac(anairiats_sum_2, tmp119, atslab_1) ;
/* tmp392 = */ atspre_fprint_string (arg0, ATSstrcst("D1Emacfun(")) ;
/* tmp393 = */ _2tmp_2ATS_2dPostiats_2src_2pats_symbol_2esats__fprint_symbol (arg0, tmp390) ;
/* tmp394 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp395 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__fprint_d1explst (arg0, tmp391) ;
/* tmp118 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_99 */
__ats_lab_99_0:
if (((ats_sum_ptr_type)tmp119)->tag != 70) { goto __ats_lab_100_0 ; }
__ats_lab_99_1:
tmp396 = ats_caselptrlab_mac(anairiats_sum_1, tmp119, atslab_0) ;
/* tmp397 = */ atspre_fprint_string (arg0, ATSstrcst("D1Esolassert(")) ;
/* tmp398 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__fprint_d1exp (arg0, tmp396) ;
/* tmp118 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_100 */
__ats_lab_100_0:
if (((ats_sum_ptr_type)tmp119)->tag != 71) { goto __ats_lab_101_0 ; }
__ats_lab_100_1:
tmp399 = ats_caselptrlab_mac(anairiats_sum_1, tmp119, atslab_0) ;
/* tmp400 = */ atspre_fprint_string (arg0, ATSstrcst("D1Esolverify(")) ;
/* tmp401 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1exp (arg0, tmp399) ;
/* tmp118 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_101 */
__ats_lab_101_0:
// if (((ats_sum_ptr_type)tmp119)->tag != 72) { ats_deadcode_failure_handle () ; }
__ats_lab_101_1:
/* tmp118 = */ atspre_fprint_string (arg0, ATSstrcst("D1Eerrexp()")) ;
break ;
} while (0) ;
return /* (tmp118) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__fprint_d1exp] */

/*
// /tmp/ATS-Postiats/src/pats_dynexp1_print.dats: 17348(line=746, offs=13) -- 17382(line=746, offs=47)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__print_d1exp (ats_ptr_type arg0) {
/* local vardec */
// ATSlocal_void (tmp402) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__print_d1exp:
/* tmp402 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__fprint_d1exp (stdout, arg0) ;
return /* (tmp402) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__print_d1exp] */

/*
// /tmp/ATS-Postiats/src/pats_dynexp1_print.dats: 17405(line=748, offs=13) -- 17439(line=748, offs=47)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__prerr_d1exp (ats_ptr_type arg0) {
/* local vardec */
// ATSlocal_void (tmp403) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__prerr_d1exp:
/* tmp403 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__fprint_d1exp (stderr, arg0) ;
return /* (tmp403) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__prerr_d1exp] */

/*
// /tmp/ATS-Postiats/src/pats_dynexp1_print.dats: 17490(line=754, offs=3) -- 17545(line=754, offs=58)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__fprint_d1explst (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp404) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__fprint_d1explst:
/* tmp404 = */ fprintlst_01696_ats_ptr_type (arg0, arg1, ATSstrcst(", "), &_2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__fprint_d1exp) ;
return /* (tmp404) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__fprint_d1explst] */

/*
// /tmp/ATS-Postiats/src/pats_utils.dats: 12283(line=676, offs=1) -- 12550(line=689, offs=8)
*/
ATSstaticdec()
ats_void_type
fprintopt_01697_ats_ptr_type (ats_ptr_type arg0, ats_ptr_type arg1, ats_ptr_type arg2) {
/* local vardec */
// ATSlocal_void (tmp406) ;
ATSlocal (ats_ptr_type, tmp407) ;
// ATSlocal_void (tmp408) ;
// ATSlocal_void (tmp409) ;

__ats_lab_fprintopt_01697_ats_ptr_type:
do {
/* branch: __ats_lab_102 */
__ats_lab_102_0:
if (arg1 != (ats_sum_ptr_type)0) { goto __ats_lab_103_0 ; }
__ats_lab_102_1:
/* tmp406 = */ atspre_fprint_string (arg0, ATSstrcst("None()")) ;
break ;

/* branch: __ats_lab_103 */
__ats_lab_103_0:
// if (arg1 == (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; }
__ats_lab_103_1:
tmp407 = ats_caselptrlab_mac(anairiats_sum_15, arg1, atslab_0) ;
/* tmp408 = */ atspre_fprint_string (arg0, ATSstrcst("Some(")) ;
/* tmp409 = */ ((ats_void_type(*)(ats_ptr_type, ats_ptr_type))arg2) (arg0, tmp407) ;
/* tmp406 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;
} while (0) ;
return /* (tmp406) */ ;
} /* end of [fprintopt_01697_ats_ptr_type] */

/*
// /tmp/ATS-Postiats/src/pats_dynexp1_print.dats: 17624(line=761, offs=3) -- 17675(line=761, offs=54)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__fprint_d1expopt (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp405) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__fprint_d1expopt:
/* tmp405 = */ fprintopt_01697_ats_ptr_type (arg0, arg1, &_2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__fprint_d1exp) ;
return /* (tmp405) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__fprint_d1expopt] */

/*
// /tmp/ATS-Postiats/src/pats_dynexp1_print.dats: 17754(line=768, offs=3) -- 17910(line=773, offs=2)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__fprint_labd1exp (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp410) ;
ATSlocal (ats_ptr_type, tmp411) ;
ATSlocal (ats_ptr_type, tmp412) ;
// ATSlocal_void (tmp413) ;
// ATSlocal_void (tmp414) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__fprint_labd1exp:

tmp411 = ats_caselptrlab_mac(anairiats_sum_5, arg1, atslab_0) ;
tmp412 = ats_caselptrlab_mac(anairiats_sum_5, arg1, atslab_1) ;
/* tmp413 = */ _2tmp_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_l0ab (arg0, tmp411) ;
/* tmp414 = */ atspre_fprint_string (arg0, ATSstrcst("=")) ;
/* tmp410 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__fprint_d1exp (arg0, tmp412) ;
return /* (tmp410) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__fprint_labd1exp] */

/*
// /tmp/ATS-Postiats/src/pats_dynexp1_print.dats: 17969(line=776, offs=20) -- 18029(line=777, offs=49)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__fprint_labd1explst (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp415) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__fprint_labd1explst:
/* tmp415 = */ fprintlst_01696_ats_ptr_type (arg0, arg1, ATSstrcst(", "), &_2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__fprint_labd1exp) ;
return /* (tmp415) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__fprint_labd1explst] */

/*
// /tmp/ATS-Postiats/src/pats_dynexp1_print.dats: 18108(line=784, offs=3) -- 18514(line=800, offs=4)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__fprint_d1lab (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp416) ;
ATSlocal (ats_ptr_type, tmp417) ;
ATSlocal (ats_ptr_type, tmp418) ;
// ATSlocal_void (tmp419) ;
// ATSlocal_void (tmp420) ;
ATSlocal (ats_ptr_type, tmp421) ;
// ATSlocal_void (tmp422) ;
// ATSlocal_void (tmp423) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__fprint_d1lab:
tmp417 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_16, arg1), atslab_d1lab_node) ;
do {
/* branch: __ats_lab_104 */
__ats_lab_104_0:
if (((ats_sum_ptr_type)tmp417)->tag != 0) { goto __ats_lab_105_0 ; }
__ats_lab_104_1:
tmp418 = ats_caselptrlab_mac(anairiats_sum_1, tmp417, atslab_0) ;
/* tmp419 = */ atspre_fprint_string (arg0, ATSstrcst("D1LABlab(")) ;
/* tmp420 = */ _2tmp_2ATS_2dPostiats_2src_2pats_label_2esats__fprint_label (arg0, tmp418) ;
/* tmp416 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_105 */
__ats_lab_105_0:
// if (((ats_sum_ptr_type)tmp417)->tag != 1) { ats_deadcode_failure_handle () ; }
__ats_lab_105_1:
tmp421 = ats_caselptrlab_mac(anairiats_sum_1, tmp417, atslab_0) ;
/* tmp422 = */ atspre_fprint_string (arg0, ATSstrcst("D1LABind(")) ;
/* tmp423 = */ fprintlst_01696_ats_ptr_type (arg0, tmp421, ATSstrcst(", "), &_2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__fprint_d1exp) ;
/* tmp416 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;
} while (0) ;
return /* (tmp416) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__fprint_d1lab] */

/*
// /tmp/ATS-Postiats/src/pats_dynexp1_print.dats: 18639(line=809, offs=3) -- 18814(line=814, offs=2)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_print_2edats__fprint_m1acdef (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp424) ;
ATSlocal (ats_ptr_type, tmp425) ;
// ATSlocal_void (tmp426) ;
// ATSlocal_void (tmp427) ;
ATSlocal (ats_ptr_type, tmp428) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_print_2edats__fprint_m1acdef:
tmp425 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_17, arg1), atslab_m1acdef_sym) ;
/* tmp426 = */ _2tmp_2ATS_2dPostiats_2src_2pats_symbol_2esats__fprint_symbol (arg0, tmp425) ;
/* tmp427 = */ atspre_fprint_string (arg0, ATSstrcst("(...) = ")) ;
tmp428 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_17, arg1), atslab_m1acdef_def) ;
/* tmp424 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__fprint_d1exp (arg0, tmp428) ;
return /* (tmp424) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_print_2edats__fprint_m1acdef] */

/*
// /tmp/ATS-Postiats/src/pats_dynexp1_print.dats: 18942(line=821, offs=16) -- 19083(line=825, offs=2)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_print_2edats__fprint_v1aldec (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp429) ;
// ATSlocal_void (tmp430) ;
ATSlocal (ats_ptr_type, tmp431) ;
// ATSlocal_void (tmp432) ;
ATSlocal (ats_ptr_type, tmp433) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_print_2edats__fprint_v1aldec:
tmp431 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_18, arg1), atslab_v1aldec_pat) ;
/* tmp430 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__fprint_p1at (arg0, tmp431) ;
/* tmp432 = */ atspre_fprint_string (arg0, ATSstrcst(" = ")) ;
tmp433 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_18, arg1), atslab_v1aldec_def) ;
/* tmp429 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__fprint_d1exp (arg0, tmp433) ;
return /* (tmp429) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_print_2edats__fprint_v1aldec] */

/*
// /tmp/ATS-Postiats/src/pats_dynexp1_print.dats: 19181(line=832, offs=16) -- 19818(line=864, offs=4)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_print_2edats__fprint_v1ardec (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp434) ;
// ATSlocal_void (tmp435) ;
ATSlocal (ats_int_type, tmp436) ;
// ATSlocal_void (tmp437) ;
// ATSlocal_void (tmp438) ;
ATSlocal (ats_ptr_type, tmp439) ;
// ATSlocal_void (tmp440) ;
ATSlocal (ats_ptr_type, tmp441) ;
ATSlocal (ats_ptr_type, tmp442) ;
// ATSlocal_void (tmp443) ;
// ATSlocal_void (tmp444) ;
ATSlocal (ats_ptr_type, tmp445) ;
ATSlocal (ats_ptr_type, tmp446) ;
// ATSlocal_void (tmp447) ;
ATSlocal (ats_ptr_type, tmp448) ;
ATSlocal (ats_ptr_type, tmp449) ;
// ATSlocal_void (tmp450) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_print_2edats__fprint_v1ardec:
tmp436 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_19, arg1), atslab_v1ardec_knd) ;
/* tmp435 = */ atspre_fprint_int (arg0, tmp436) ;
/* tmp437 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
tmp439 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_19, arg1), atslab_v1ardec_sym) ;
/* tmp438 = */ _2tmp_2ATS_2dPostiats_2src_2pats_symbol_2esats__fprint_symbol (arg0, tmp439) ;
tmp441 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_19, arg1), atslab_v1ardec_type) ;
do {
/* branch: __ats_lab_106 */
__ats_lab_106_0:
if (tmp441 != (ats_sum_ptr_type)0) { goto __ats_lab_107_0 ; }
__ats_lab_106_1:
break ;

/* branch: __ats_lab_107 */
__ats_lab_107_0:
// if (tmp441 == (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; }
__ats_lab_107_1:
tmp442 = ats_caselptrlab_mac(anairiats_sum_15, tmp441, atslab_0) ;
/* tmp443 = */ atspre_fprint_string (arg0, ATSstrcst(": ")) ;
/* tmp440 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1exp (arg0, tmp442) ;
break ;
} while (0) ;
tmp445 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_19, arg1), atslab_v1ardec_pfat) ;
do {
/* branch: __ats_lab_108 */
__ats_lab_108_0:
if (tmp445 != (ats_sum_ptr_type)0) { goto __ats_lab_109_0 ; }
__ats_lab_108_1:
break ;

/* branch: __ats_lab_109 */
__ats_lab_109_0:
// if (tmp445 == (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; }
__ats_lab_109_1:
tmp446 = ats_caselptrlab_mac(anairiats_sum_15, tmp445, atslab_0) ;
/* tmp447 = */ atspre_fprint_string (arg0, ATSstrcst(" with ")) ;
/* tmp444 = */ _2tmp_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_i0de (arg0, tmp446) ;
break ;
} while (0) ;
tmp448 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_19, arg1), atslab_v1ardec_init) ;
do {
/* branch: __ats_lab_110 */
__ats_lab_110_0:
if (tmp448 != (ats_sum_ptr_type)0) { goto __ats_lab_111_0 ; }
__ats_lab_110_1:
break ;

/* branch: __ats_lab_111 */
__ats_lab_111_0:
// if (tmp448 == (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; }
__ats_lab_111_1:
tmp449 = ats_caselptrlab_mac(anairiats_sum_15, tmp448, atslab_0) ;
/* tmp450 = */ atspre_fprint_string (arg0, ATSstrcst(" = ")) ;
/* tmp434 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__fprint_d1exp (arg0, tmp449) ;
break ;
} while (0) ;
return /* (tmp434) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_print_2edats__fprint_v1ardec] */

/*
// /tmp/ATS-Postiats/src/pats_dynexp1_print.dats: 19893(line=870, offs=3) -- 27596(line=1203, offs=4)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__fprint_d1ecl (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp451) ;
ATSlocal (ats_ptr_type, tmp452) ;
ATSlocal (ats_ptr_type, tmp453) ;
// ATSlocal_void (tmp454) ;
// ATSlocal_void (tmp455) ;
ATSlocal (ats_ptr_type, tmp456) ;
// ATSlocal_void (tmp457) ;
// ATSlocal_void (tmp458) ;
ATSlocal (ats_ptr_type, tmp459) ;
// ATSlocal_void (tmp460) ;
// ATSlocal_void (tmp461) ;
ATSlocal (ats_ptr_type, tmp462) ;
// ATSlocal_void (tmp463) ;
// ATSlocal_void (tmp464) ;
ATSlocal (ats_ptr_type, tmp465) ;
ATSlocal (ats_ptr_type, tmp466) ;
ATSlocal (ats_int_type, tmp467) ;
// ATSlocal_void (tmp468) ;
// ATSlocal_void (tmp469) ;
// ATSlocal_void (tmp470) ;
// ATSlocal_void (tmp471) ;
// ATSlocal_void (tmp472) ;
// ATSlocal_void (tmp473) ;
ATSlocal (ats_ptr_type, tmp474) ;
ATSlocal (ats_ptr_type, tmp475) ;
// ATSlocal_void (tmp476) ;
// ATSlocal_void (tmp477) ;
// ATSlocal_void (tmp478) ;
// ATSlocal_void (tmp479) ;
ATSlocal (ats_ptr_type, tmp480) ;
// ATSlocal_void (tmp481) ;
// ATSlocal_void (tmp482) ;
ATSlocal (ats_ptr_type, tmp483) ;
// ATSlocal_void (tmp484) ;
// ATSlocal_void (tmp485) ;
ATSlocal (ats_int_type, tmp486) ;
ATSlocal (ats_ptr_type, tmp487) ;
// ATSlocal_void (tmp488) ;
// ATSlocal_void (tmp489) ;
// ATSlocal_void (tmp490) ;
// ATSlocal_void (tmp491) ;
ATSlocal (ats_ptr_type, tmp492) ;
// ATSlocal_void (tmp493) ;
// ATSlocal_void (tmp494) ;
ATSlocal (ats_ptr_type, tmp495) ;
// ATSlocal_void (tmp496) ;
// ATSlocal_void (tmp497) ;
ATSlocal (ats_ptr_type, tmp498) ;
// ATSlocal_void (tmp499) ;
// ATSlocal_void (tmp500) ;
ATSlocal (ats_int_type, tmp501) ;
ATSlocal (ats_ptr_type, tmp502) ;
// ATSlocal_void (tmp503) ;
// ATSlocal_void (tmp504) ;
// ATSlocal_void (tmp505) ;
// ATSlocal_void (tmp506) ;
ATSlocal (ats_int_type, tmp507) ;
ATSlocal (ats_ptr_type, tmp508) ;
// ATSlocal_void (tmp509) ;
// ATSlocal_void (tmp510) ;
// ATSlocal_void (tmp511) ;
// ATSlocal_void (tmp512) ;
ATSlocal (ats_ptr_type, tmp513) ;
// ATSlocal_void (tmp514) ;
// ATSlocal_void (tmp515) ;
ATSlocal (ats_int_type, tmp516) ;
// ATSlocal_void (tmp517) ;
// ATSlocal_void (tmp518) ;
// ATSlocal_void (tmp519) ;
// ATSlocal_void (tmp520) ;
ATSlocal (ats_ptr_type, tmp521) ;
// ATSlocal_void (tmp522) ;
// ATSlocal_void (tmp523) ;
ATSlocal (ats_ptr_type, tmp524) ;
ATSlocal (ats_ptr_type, tmp525) ;
// ATSlocal_void (tmp526) ;
// ATSlocal_void (tmp527) ;
// ATSlocal_void (tmp528) ;
ATSlocal (ats_ptr_type, tmp529) ;
// ATSlocal_void (tmp530) ;
ATSlocal (ats_int_type, tmp531) ;
ATSlocal (ats_ptr_type, tmp532) ;
ATSlocal (ats_ptr_type, tmp533) ;
// ATSlocal_void (tmp534) ;
// ATSlocal_void (tmp535) ;
// ATSlocal_void (tmp536) ;
// ATSlocal_void (tmp537) ;
// ATSlocal_void (tmp538) ;
// ATSlocal_void (tmp539) ;
ATSlocal (ats_ptr_type, tmp540) ;
ATSlocal (ats_ptr_type, tmp541) ;
// ATSlocal_void (tmp542) ;
// ATSlocal_void (tmp543) ;
// ATSlocal_void (tmp544) ;
// ATSlocal_void (tmp545) ;
ATSlocal (ats_int_type, tmp546) ;
ATSlocal (ats_ptr_type, tmp547) ;
ATSlocal (ats_ptr_type, tmp548) ;
// ATSlocal_void (tmp549) ;
// ATSlocal_void (tmp550) ;
// ATSlocal_void (tmp551) ;
// ATSlocal_void (tmp552) ;
// ATSlocal_void (tmp553) ;
// ATSlocal_void (tmp554) ;
ATSlocal (ats_ptr_type, tmp555) ;
ATSlocal (ats_ptr_type, tmp556) ;
// ATSlocal_void (tmp557) ;
// ATSlocal_void (tmp558) ;
// ATSlocal_void (tmp559) ;
// ATSlocal_void (tmp560) ;
ATSlocal (ats_int_type, tmp561) ;
ATSlocal (ats_int_type, tmp562) ;
// ATSlocal_void (tmp563) ;
// ATSlocal_void (tmp564) ;
// ATSlocal_void (tmp565) ;
// ATSlocal_void (tmp566) ;
// ATSlocal_void (tmp567) ;
// ATSlocal_void (tmp568) ;
ATSlocal (ats_int_type, tmp569) ;
ATSlocal (ats_bool_type, tmp570) ;
ATSlocal (ats_ptr_type, tmp571) ;
// ATSlocal_void (tmp572) ;
// ATSlocal_void (tmp573) ;
// ATSlocal_void (tmp574) ;
// ATSlocal_void (tmp575) ;
// ATSlocal_void (tmp576) ;
// ATSlocal_void (tmp577) ;
ATSlocal (ats_int_type, tmp578) ;
ATSlocal (ats_ptr_type, tmp579) ;
ATSlocal (ats_ptr_type, tmp580) ;
ATSlocal (ats_ptr_type, tmp581) ;
// ATSlocal_void (tmp582) ;
// ATSlocal_void (tmp583) ;
// ATSlocal_void (tmp584) ;
// ATSlocal_void (tmp585) ;
// ATSlocal_void (tmp586) ;
ATSlocal (ats_ptr_type, tmp587) ;
ATSlocal (ats_ptr_type, tmp588) ;
// ATSlocal_void (tmp589) ;
// ATSlocal_void (tmp590) ;
// ATSlocal_void (tmp591) ;
// ATSlocal_void (tmp592) ;
ATSlocal (ats_ptr_type, tmp593) ;
ATSlocal (ats_ptr_type, tmp594) ;
ATSlocal (ats_ptr_type, tmp595) ;
// ATSlocal_void (tmp596) ;
// ATSlocal_void (tmp597) ;
// ATSlocal_void (tmp598) ;
// ATSlocal_void (tmp599) ;
// ATSlocal_void (tmp600) ;
// ATSlocal_void (tmp601) ;
ATSlocal (ats_ptr_type, tmp602) ;
ATSlocal (ats_bool_type, tmp603) ;
ATSlocal (ats_ptr_type, tmp604) ;
// ATSlocal_void (tmp605) ;
// ATSlocal_void (tmp606) ;
// ATSlocal_void (tmp607) ;
// ATSlocal_void (tmp608) ;
// ATSlocal_void (tmp609) ;
// ATSlocal_void (tmp610) ;
ATSlocal (ats_int_type, tmp611) ;
ATSlocal (ats_ptr_type, tmp612) ;
// ATSlocal_void (tmp613) ;
// ATSlocal_void (tmp614) ;
// ATSlocal_void (tmp615) ;
// ATSlocal_void (tmp616) ;
ATSlocal (ats_int_type, tmp617) ;
ATSlocal (ats_ptr_type, tmp618) ;
// ATSlocal_void (tmp619) ;
// ATSlocal_void (tmp620) ;
// ATSlocal_void (tmp621) ;
// ATSlocal_void (tmp622) ;
ATSlocal (ats_ptr_type, tmp623) ;
ATSlocal (ats_ptr_type, tmp624) ;
// ATSlocal_void (tmp625) ;
// ATSlocal_void (tmp626) ;
// ATSlocal_void (tmp627) ;
// ATSlocal_void (tmp628) ;
ATSlocal (ats_ptr_type, tmp629) ;
ATSlocal (ats_ptr_type, tmp630) ;
// ATSlocal_void (tmp631) ;
// ATSlocal_void (tmp632) ;
// ATSlocal_void (tmp633) ;
// ATSlocal_void (tmp634) ;
ATSlocal (ats_ptr_type, tmp635) ;
// ATSlocal_void (tmp636) ;
// ATSlocal_void (tmp637) ;
ATSlocal (ats_ptr_type, tmp638) ;
// ATSlocal_void (tmp639) ;
// ATSlocal_void (tmp640) ;
ATSlocal (ats_ptr_type, tmp641) ;
ATSlocal (ats_ptr_type, tmp642) ;
// ATSlocal_void (tmp643) ;
// ATSlocal_void (tmp644) ;
// ATSlocal_void (tmp645) ;
// ATSlocal_void (tmp646) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__fprint_d1ecl:
tmp452 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_20, arg1), atslab_d1ecl_node) ;
do {
/* branch: __ats_lab_112 */
__ats_lab_112_0:
if (((ats_sum_ptr_type)tmp452)->tag != 0) { goto __ats_lab_113_0 ; }
__ats_lab_112_1:
/* tmp451 = */ atspre_fprint_string (arg0, ATSstrcst("D1Cnone()")) ;
break ;

/* branch: __ats_lab_113 */
__ats_lab_113_0:
if (((ats_sum_ptr_type)tmp452)->tag != 1) { goto __ats_lab_114_0 ; }
__ats_lab_113_1:
tmp453 = ats_caselptrlab_mac(anairiats_sum_1, tmp452, atslab_0) ;
/* tmp454 = */ atspre_fprint_string (arg0, ATSstrcst("D1Clist(\n")) ;
/* tmp455 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__fprint_d1eclist (arg0, tmp453) ;
/* tmp451 = */ atspre_fprint_string (arg0, ATSstrcst("\n)")) ;
break ;

/* branch: __ats_lab_114 */
__ats_lab_114_0:
if (((ats_sum_ptr_type)tmp452)->tag != 2) { goto __ats_lab_115_0 ; }
__ats_lab_114_1:
tmp456 = ats_caselptrlab_mac(anairiats_sum_1, tmp452, atslab_0) ;
/* tmp457 = */ atspre_fprint_string (arg0, ATSstrcst("D1Cpackname(")) ;
/* tmp458 = */ _2tmp_2ATS_2dPostiats_2src_2pats_utils_2esats__fprint_stropt (arg0, tmp456) ;
/* tmp451 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_115 */
__ats_lab_115_0:
if (((ats_sum_ptr_type)tmp452)->tag != 3) { goto __ats_lab_116_0 ; }
__ats_lab_115_1:
tmp459 = ats_caselptrlab_mac(anairiats_sum_1, tmp452, atslab_0) ;
/* tmp460 = */ atspre_fprint_string (arg0, ATSstrcst("D1Csymintr(")) ;
/* tmp461 = */ fprintlst_01696_ats_ptr_type (arg0, tmp459, ATSstrcst(", "), &_2tmp_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_i0de) ;
/* tmp451 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_116 */
__ats_lab_116_0:
if (((ats_sum_ptr_type)tmp452)->tag != 4) { goto __ats_lab_117_0 ; }
__ats_lab_116_1:
tmp462 = ats_caselptrlab_mac(anairiats_sum_1, tmp452, atslab_0) ;
/* tmp463 = */ atspre_fprint_string (arg0, ATSstrcst("D1Csymelim(")) ;
/* tmp464 = */ fprintlst_01696_ats_ptr_type (arg0, tmp462, ATSstrcst(", "), &_2tmp_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_i0de) ;
/* tmp451 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_117 */
__ats_lab_117_0:
if (((ats_sum_ptr_type)tmp452)->tag != 5) { goto __ats_lab_118_0 ; }
__ats_lab_117_1:
tmp465 = ats_caselptrlab_mac(anairiats_sum_21, tmp452, atslab_0) ;
tmp466 = ats_caselptrlab_mac(anairiats_sum_21, tmp452, atslab_1) ;
tmp467 = ats_caselptrlab_mac(anairiats_sum_21, tmp452, atslab_2) ;
/* tmp468 = */ atspre_fprint_string (arg0, ATSstrcst("D1Coverload(")) ;
/* tmp469 = */ _2tmp_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_i0de (arg0, tmp465) ;
/* tmp470 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp471 = */ _2tmp_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_dqi0de (arg0, tmp466) ;
/* tmp472 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp473 = */ atspre_fprint_int (arg0, tmp467) ;
/* tmp451 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_118 */
__ats_lab_118_0:
if (((ats_sum_ptr_type)tmp452)->tag != 6) { goto __ats_lab_119_0 ; }
__ats_lab_118_1:
tmp474 = ats_caselptrlab_mac(anairiats_sum_2, tmp452, atslab_0) ;
tmp475 = ats_caselptrlab_mac(anairiats_sum_2, tmp452, atslab_1) ;
/* tmp476 = */ atspre_fprint_string (arg0, ATSstrcst("D1Ce1xpdef(")) ;
/* tmp477 = */ _2tmp_2ATS_2dPostiats_2src_2pats_symbol_2esats__fprint_symbol (arg0, tmp474) ;
/* tmp478 = */ atspre_fprint_string (arg0, ATSstrcst(" = ")) ;
/* tmp479 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_e1xp (arg0, tmp475) ;
/* tmp451 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_119 */
__ats_lab_119_0:
if (((ats_sum_ptr_type)tmp452)->tag != 7) { goto __ats_lab_120_0 ; }
__ats_lab_119_1:
tmp480 = ats_caselptrlab_mac(anairiats_sum_2, tmp452, atslab_0) ;
/* tmp481 = */ atspre_fprint_string (arg0, ATSstrcst("D1Ce1xpundef(")) ;
/* tmp482 = */ _2tmp_2ATS_2dPostiats_2src_2pats_symbol_2esats__fprint_symbol (arg0, tmp480) ;
/* tmp451 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_120 */
__ats_lab_120_0:
if (((ats_sum_ptr_type)tmp452)->tag != 8) { goto __ats_lab_121_0 ; }
__ats_lab_120_1:
tmp483 = ats_caselptrlab_mac(anairiats_sum_1, tmp452, atslab_0) ;
/* tmp484 = */ atspre_fprint_string (arg0, ATSstrcst("D1Cpragma(")) ;
/* tmp485 = */ fprintlst_01696_ats_ptr_type (arg0, tmp483, ATSstrcst(", "), &_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_e1xp) ;
/* tmp451 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_121 */
__ats_lab_121_0:
if (((ats_sum_ptr_type)tmp452)->tag != 9) { goto __ats_lab_122_0 ; }
__ats_lab_121_1:
tmp486 = ats_caselptrlab_mac(anairiats_sum_7, tmp452, atslab_0) ;
tmp487 = ats_caselptrlab_mac(anairiats_sum_7, tmp452, atslab_1) ;
/* tmp488 = */ atspre_fprint_string (arg0, ATSstrcst("D1Ccodegen(")) ;
/* tmp489 = */ atspre_fprint_int (arg0, tmp486) ;
/* tmp490 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp491 = */ fprintlst_01696_ats_ptr_type (arg0, tmp487, ATSstrcst(", "), &_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_e1xp) ;
/* tmp451 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_122 */
__ats_lab_122_0:
if (((ats_sum_ptr_type)tmp452)->tag != 10) { goto __ats_lab_123_0 ; }
__ats_lab_122_1:
tmp492 = ats_caselptrlab_mac(anairiats_sum_1, tmp452, atslab_0) ;
/* tmp493 = */ atspre_fprint_string (arg0, ATSstrcst("D1Cdatsrts(\n")) ;
/* tmp494 = */ fprintlst_01696_ats_ptr_type (arg0, tmp492, ATSstrcst("\n"), &_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_d1atsrtdec) ;
/* tmp451 = */ atspre_fprint_string (arg0, ATSstrcst("\n)")) ;
break ;

/* branch: __ats_lab_123 */
__ats_lab_123_0:
if (((ats_sum_ptr_type)tmp452)->tag != 11) { goto __ats_lab_124_0 ; }
__ats_lab_123_1:
tmp495 = ats_caselptrlab_mac(anairiats_sum_1, tmp452, atslab_0) ;
/* tmp496 = */ atspre_fprint_string (arg0, ATSstrcst("D1Csrtdefs(\n")) ;
/* tmp497 = */ fprintlst_01696_ats_ptr_type (arg0, tmp495, ATSstrcst("\n"), &_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1rtdef) ;
/* tmp451 = */ atspre_fprint_string (arg0, ATSstrcst("\n)")) ;
break ;

/* branch: __ats_lab_124 */
__ats_lab_124_0:
if (((ats_sum_ptr_type)tmp452)->tag != 12) { goto __ats_lab_125_0 ; }
__ats_lab_124_1:
tmp498 = ats_caselptrlab_mac(anairiats_sum_1, tmp452, atslab_0) ;
/* tmp499 = */ atspre_fprint_string (arg0, ATSstrcst("D1Cstacsts(\n")) ;
/* tmp500 = */ fprintlst_01696_ats_ptr_type (arg0, tmp498, ATSstrcst("\n"), &_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1tacst) ;
/* tmp451 = */ atspre_fprint_string (arg0, ATSstrcst("\n)")) ;
break ;

/* branch: __ats_lab_125 */
__ats_lab_125_0:
if (((ats_sum_ptr_type)tmp452)->tag != 13) { goto __ats_lab_126_0 ; }
__ats_lab_125_1:
tmp501 = ats_caselptrlab_mac(anairiats_sum_7, tmp452, atslab_0) ;
tmp502 = ats_caselptrlab_mac(anairiats_sum_7, tmp452, atslab_1) ;
/* tmp503 = */ atspre_fprint_string (arg0, ATSstrcst("D1Cstacons(")) ;
/* tmp504 = */ atspre_fprint_int (arg0, tmp501) ;
/* tmp505 = */ atspre_fprint_string (arg0, ATSstrcst("\n")) ;
/* tmp506 = */ fprintlst_01696_ats_ptr_type (arg0, tmp502, ATSstrcst("\n"), &_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1tacon) ;
/* tmp451 = */ atspre_fprint_string (arg0, ATSstrcst("\n)")) ;
break ;

/* branch: __ats_lab_126 */
__ats_lab_126_0:
if (((ats_sum_ptr_type)tmp452)->tag != 15) { goto __ats_lab_127_0 ; }
__ats_lab_126_1:
tmp507 = ats_caselptrlab_mac(anairiats_sum_7, tmp452, atslab_0) ;
tmp508 = ats_caselptrlab_mac(anairiats_sum_7, tmp452, atslab_1) ;
/* tmp509 = */ atspre_fprint_string (arg0, ATSstrcst("D1Csexpdefs(")) ;
/* tmp510 = */ atspre_fprint_int (arg0, tmp507) ;
/* tmp511 = */ atspre_fprint_string (arg0, ATSstrcst("\n")) ;
/* tmp512 = */ fprintlst_01696_ats_ptr_type (arg0, tmp508, ATSstrcst("\n"), &_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1expdef) ;
/* tmp451 = */ atspre_fprint_string (arg0, ATSstrcst("\n)")) ;
break ;

/* branch: __ats_lab_127 */
__ats_lab_127_0:
if (((ats_sum_ptr_type)tmp452)->tag != 16) { goto __ats_lab_128_0 ; }
__ats_lab_127_1:
tmp513 = ats_caselptrlab_mac(anairiats_sum_1, tmp452, atslab_0) ;
/* tmp514 = */ atspre_fprint_string (arg0, ATSstrcst("D1Csaspdec(")) ;
/* tmp515 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1aspdec (arg0, tmp513) ;
/* tmp451 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_128 */
__ats_lab_128_0:
if (((ats_sum_ptr_type)tmp452)->tag != 19) { goto __ats_lab_129_0 ; }
__ats_lab_128_1:
tmp516 = ats_caselptrlab_mac(anairiats_sum_14, tmp452, atslab_0) ;
/* tmp517 = */ atspre_fprint_string (arg0, ATSstrcst("D1Cdatdecs(")) ;
/* tmp518 = */ atspre_fprint_int (arg0, tmp516) ;
/* tmp519 = */ atspre_fprint_string (arg0, ATSstrcst("\n")) ;
/* tmp520 = */ atspre_fprint_string (arg0, ATSstrcst("...")) ;
/* tmp451 = */ atspre_fprint_string (arg0, ATSstrcst("\n)")) ;
break ;

/* branch: __ats_lab_129 */
__ats_lab_129_0:
if (((ats_sum_ptr_type)tmp452)->tag != 18) { goto __ats_lab_130_0 ; }
__ats_lab_129_1:
tmp521 = ats_caselptrlab_mac(anairiats_sum_1, tmp452, atslab_0) ;
/* tmp522 = */ atspre_fprint_string (arg0, ATSstrcst("D1Cexndecs(\n")) ;
/* tmp523 = */ fprintlst_01696_ats_ptr_type (arg0, tmp521, ATSstrcst("\n"), &_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_e1xndec) ;
/* tmp451 = */ atspre_fprint_string (arg0, ATSstrcst("\n)")) ;
break ;

/* branch: __ats_lab_130 */
__ats_lab_130_0:
if (((ats_sum_ptr_type)tmp452)->tag != 20) { goto __ats_lab_133_0 ; }
__ats_lab_130_1:
tmp524 = ats_caselptrlab_mac(anairiats_sum_2, tmp452, atslab_0) ;
tmp525 = ats_caselptrlab_mac(anairiats_sum_2, tmp452, atslab_1) ;
/* tmp526 = */ atspre_fprint_string (arg0, ATSstrcst("D1Cclassdec(")) ;
/* tmp527 = */ _2tmp_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_i0de (arg0, tmp524) ;
do {
/* branch: __ats_lab_131 */
__ats_lab_131_0:
if (tmp525 == (ats_sum_ptr_type)0) { goto __ats_lab_132_0 ; }
__ats_lab_131_1:
tmp529 = ats_caselptrlab_mac(anairiats_sum_15, tmp525, atslab_0) ;
/* tmp530 = */ atspre_fprint_string (arg0, ATSstrcst(" : ")) ;
/* tmp528 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1exp (arg0, tmp529) ;
break ;

/* branch: __ats_lab_132 */
__ats_lab_132_0:
// if (tmp525 != (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; }
__ats_lab_132_1:
break ;
} while (0) ;
/* tmp451 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_133 */
__ats_lab_133_0:
if (((ats_sum_ptr_type)tmp452)->tag != 25) { goto __ats_lab_134_0 ; }
__ats_lab_133_1:
tmp531 = ats_caselptrlab_mac(anairiats_sum_22, tmp452, atslab_0) ;
tmp532 = ats_caselptrlab_mac(anairiats_sum_22, tmp452, atslab_1) ;
tmp533 = ats_caselptrlab_mac(anairiats_sum_22, tmp452, atslab_3) ;
/* tmp534 = */ atspre_fprint_string (arg0, ATSstrcst("D1Cdcstdecs(")) ;
/* tmp535 = */ atspre_fprint_int (arg0, tmp531) ;
/* tmp536 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp537 = */ _2tmp_2ATS_2dPostiats_2src_2pats_basics_2esats__fprint_dcstkind (arg0, tmp532) ;
/* tmp538 = */ atspre_fprint_string (arg0, ATSstrcst("\n")) ;
/* tmp539 = */ fprintlst_01696_ats_ptr_type (arg0, tmp533, ATSstrcst("\n"), &_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_d1cstdec) ;
/* tmp451 = */ atspre_fprint_string (arg0, ATSstrcst("\n)")) ;
break ;

/* branch: __ats_lab_134 */
__ats_lab_134_0:
if (((ats_sum_ptr_type)tmp452)->tag != 21) { goto __ats_lab_135_0 ; }
__ats_lab_134_1:
tmp540 = ats_caselptrlab_mac(anairiats_sum_2, tmp452, atslab_0) ;
tmp541 = ats_caselptrlab_mac(anairiats_sum_2, tmp452, atslab_1) ;
/* tmp542 = */ atspre_fprint_string (arg0, ATSstrcst("D1Cextype(")) ;
/* tmp543 = */ atspre_fprint_string (arg0, tmp540) ;
/* tmp544 = */ atspre_fprint_string (arg0, ATSstrcst(" = ")) ;
/* tmp545 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1exp (arg0, tmp541) ;
/* tmp451 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_135 */
__ats_lab_135_0:
if (((ats_sum_ptr_type)tmp452)->tag != 22) { goto __ats_lab_136_0 ; }
__ats_lab_135_1:
tmp546 = ats_caselptrlab_mac(anairiats_sum_14, tmp452, atslab_0) ;
tmp547 = ats_caselptrlab_mac(anairiats_sum_14, tmp452, atslab_1) ;
tmp548 = ats_caselptrlab_mac(anairiats_sum_14, tmp452, atslab_2) ;
/* tmp549 = */ atspre_fprint_string (arg0, ATSstrcst("D1Cextype(")) ;
/* tmp550 = */ atspre_fprint_int (arg0, tmp546) ;
/* tmp551 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp552 = */ atspre_fprint_string (arg0, tmp547) ;
/* tmp553 = */ atspre_fprint_string (arg0, ATSstrcst(" = ")) ;
/* tmp554 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1exp (arg0, tmp548) ;
/* tmp451 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_136 */
__ats_lab_136_0:
if (((ats_sum_ptr_type)tmp452)->tag != 23) { goto __ats_lab_137_0 ; }
__ats_lab_136_1:
tmp555 = ats_caselptrlab_mac(anairiats_sum_2, tmp452, atslab_0) ;
tmp556 = ats_caselptrlab_mac(anairiats_sum_2, tmp452, atslab_1) ;
/* tmp557 = */ atspre_fprint_string (arg0, ATSstrcst("D1Cextvalr")) ;
/* tmp558 = */ atspre_fprint_string (arg0, tmp555) ;
/* tmp559 = */ atspre_fprint_string (arg0, ATSstrcst(" = ")) ;
/* tmp560 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__fprint_d1exp (arg0, tmp556) ;
/* tmp451 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_137 */
__ats_lab_137_0:
if (((ats_sum_ptr_type)tmp452)->tag != 24) { goto __ats_lab_138_0 ; }
__ats_lab_137_1:
tmp561 = ats_caselptrlab_mac(anairiats_sum_8, tmp452, atslab_0) ;
tmp562 = ats_caselptrlab_mac(anairiats_sum_8, tmp452, atslab_1) ;
/* tmp563 = */ atspre_fprint_string (arg0, ATSstrcst("D1Cextcode(")) ;
/* tmp564 = */ atspre_fprint_int (arg0, tmp561) ;
/* tmp565 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp566 = */ atspre_fprint_int (arg0, tmp562) ;
/* tmp567 = */ atspre_fprint_string (arg0, ATSstrcst("\n")) ;
/* tmp568 = */ atspre_fprint_string (arg0, ATSstrcst("...")) ;
/* tmp451 = */ atspre_fprint_string (arg0, ATSstrcst("\n)")) ;
break ;

/* branch: __ats_lab_138 */
__ats_lab_138_0:
if (((ats_sum_ptr_type)tmp452)->tag != 26) { goto __ats_lab_139_0 ; }
__ats_lab_138_1:
tmp569 = ats_caselptrlab_mac(anairiats_sum_23, tmp452, atslab_0) ;
tmp570 = ats_caselptrlab_mac(anairiats_sum_23, tmp452, atslab_1) ;
tmp571 = ats_caselptrlab_mac(anairiats_sum_23, tmp452, atslab_2) ;
/* tmp572 = */ atspre_fprint_string (arg0, ATSstrcst("D1macdef(")) ;
/* tmp573 = */ atspre_fprint_int (arg0, tmp569) ;
/* tmp574 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp575 = */ atspre_fprint_bool (arg0, tmp570) ;
/* tmp576 = */ atspre_fprint_string (arg0, ATSstrcst("\n")) ;
/* tmp577 = */ fprintlst_01696_ats_ptr_type (arg0, tmp571, ATSstrcst("\n"), &_2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_print_2edats__fprint_m1acdef) ;
/* tmp451 = */ atspre_fprint_string (arg0, ATSstrcst("\n)")) ;
break ;

/* branch: __ats_lab_139 */
__ats_lab_139_0:
if (((ats_sum_ptr_type)tmp452)->tag != 27) { goto __ats_lab_140_0 ; }
__ats_lab_139_1:
tmp578 = ats_caselptrlab_mac(anairiats_sum_14, tmp452, atslab_0) ;
tmp579 = ats_caselptrlab_mac(anairiats_sum_14, tmp452, atslab_1) ;
tmp580 = ats_caselptrlab_mac(anairiats_sum_14, tmp452, atslab_2) ;
tmp581 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_24, tmp580), atslab_i1mpdec_qid) ;
/* tmp582 = */ atspre_fprint_string (arg0, ATSstrcst("D1Cimpdec[")) ;
/* tmp583 = */ atspre_fprint_int (arg0, tmp578) ;
/* tmp584 = */ atspre_fprint_string (arg0, ATSstrcst("]")) ;
/* tmp585 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_i1mparg (arg0, tmp579) ;
/* tmp586 = */ atspre_fprint_string (arg0, ATSstrcst("(\n")) ;
tmp587 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_25, tmp581), atslab_impqi0de_qua) ;
tmp588 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_25, tmp581), atslab_impqi0de_sym) ;
/* tmp589 = */ _2tmp_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_d0ynq (arg0, tmp587) ;
/* tmp590 = */ _2tmp_2ATS_2dPostiats_2src_2pats_symbol_2esats__fprint_symbol (arg0, tmp588) ;
/* tmp591 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
tmp593 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_24, tmp580), atslab_i1mpdec_def) ;
/* tmp592 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__fprint_d1exp (arg0, tmp593) ;
/* tmp451 = */ atspre_fprint_string (arg0, ATSstrcst("\n)")) ;
break ;

/* branch: __ats_lab_140 */
__ats_lab_140_0:
if (((ats_sum_ptr_type)tmp452)->tag != 28) { goto __ats_lab_141_0 ; }
__ats_lab_140_1:
tmp594 = ats_caselptrlab_mac(anairiats_sum_9, tmp452, atslab_0) ;
tmp595 = ats_caselptrlab_mac(anairiats_sum_9, tmp452, atslab_1) ;
/* tmp596 = */ atspre_fprint_string (arg0, ATSstrcst("D1Cfundecs(")) ;
/* tmp597 = */ _2tmp_2ATS_2dPostiats_2src_2pats_basics_2esats__fprint_funkind (arg0, tmp594) ;
/* tmp598 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp599 = */ fprintlst_01696_ats_ptr_type (arg0, tmp595, ATSstrcst("; "), &_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_q1marg) ;
/* tmp600 = */ atspre_fprint_string (arg0, ATSstrcst("\n")) ;
/* tmp601 = */ atspre_fprint_string (arg0, ATSstrcst("...")) ;
/* tmp451 = */ atspre_fprint_string (arg0, ATSstrcst("\n)")) ;
break ;

/* branch: __ats_lab_141 */
__ats_lab_141_0:
if (((ats_sum_ptr_type)tmp452)->tag != 29) { goto __ats_lab_142_0 ; }
__ats_lab_141_1:
tmp602 = ats_caselptrlab_mac(anairiats_sum_26, tmp452, atslab_0) ;
tmp603 = ats_caselptrlab_mac(anairiats_sum_26, tmp452, atslab_1) ;
tmp604 = ats_caselptrlab_mac(anairiats_sum_26, tmp452, atslab_2) ;
/* tmp605 = */ atspre_fprint_string (arg0, ATSstrcst("D1Cvaldecs(")) ;
/* tmp606 = */ _2tmp_2ATS_2dPostiats_2src_2pats_basics_2esats__fprint_valkind (arg0, tmp602) ;
/* tmp607 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp608 = */ atspre_fprint_bool (arg0, tmp603) ;
/* tmp609 = */ atspre_fprint_string (arg0, ATSstrcst("\n")) ;
/* tmp610 = */ fprintlst_01696_ats_ptr_type (arg0, tmp604, ATSstrcst("\n"), &_2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_print_2edats__fprint_v1aldec) ;
/* tmp451 = */ atspre_fprint_string (arg0, ATSstrcst("\n)")) ;
break ;

/* branch: __ats_lab_142 */
__ats_lab_142_0:
if (((ats_sum_ptr_type)tmp452)->tag != 30) { goto __ats_lab_143_0 ; }
__ats_lab_142_1:
tmp611 = ats_caselptrlab_mac(anairiats_sum_7, tmp452, atslab_0) ;
tmp612 = ats_caselptrlab_mac(anairiats_sum_7, tmp452, atslab_1) ;
/* tmp613 = */ atspre_fprint_string (arg0, ATSstrcst("D1Cvardecs(")) ;
/* tmp614 = */ atspre_fprint_int (arg0, tmp611) ;
/* tmp615 = */ atspre_fprint_string (arg0, ATSstrcst("\n")) ;
/* tmp616 = */ fprintlst_01696_ats_ptr_type (arg0, tmp612, ATSstrcst("\n"), &_2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_print_2edats__fprint_v1ardec) ;
/* tmp451 = */ atspre_fprint_string (arg0, ATSstrcst("\n)")) ;
break ;

/* branch: __ats_lab_143 */
__ats_lab_143_0:
if (((ats_sum_ptr_type)tmp452)->tag != 31) { goto __ats_lab_144_0 ; }
__ats_lab_143_1:
tmp617 = ats_caselptrlab_mac(anairiats_sum_7, tmp452, atslab_0) ;
tmp618 = ats_caselptrlab_mac(anairiats_sum_7, tmp452, atslab_1) ;
/* tmp619 = */ atspre_fprint_string (arg0, ATSstrcst("D1Cinclude(")) ;
/* tmp620 = */ atspre_fprint_int (arg0, tmp617) ;
/* tmp621 = */ atspre_fprint_string (arg0, ATSstrcst("\n")) ;
/* tmp622 = */ fprintlst_01696_ats_ptr_type (arg0, tmp618, ATSstrcst("\n"), &_2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__fprint_d1ecl) ;
/* tmp451 = */ atspre_fprint_string (arg0, ATSstrcst("\n)")) ;
break ;

/* branch: __ats_lab_144 */
__ats_lab_144_0:
if (((ats_sum_ptr_type)tmp452)->tag != 32) { goto __ats_lab_145_0 ; }
__ats_lab_144_1:
tmp623 = ats_caselptrlab_mac(anairiats_sum_6, tmp452, atslab_0) ;
tmp624 = ats_caselptrlab_mac(anairiats_sum_6, tmp452, atslab_1) ;
/* tmp625 = */ atspre_fprint_string (arg0, ATSstrcst("D1Cstaload(")) ;
/* tmp626 = */ _2tmp_2ATS_2dPostiats_2src_2pats_symbol_2esats__fprint_symbolopt (arg0, tmp623) ;
/* tmp627 = */ atspre_fprint_string (arg0, ATSstrcst("=")) ;
/* tmp628 = */ _2tmp_2ATS_2dPostiats_2src_2pats_filename_2esats__fprint_filename_full (arg0, tmp624) ;
/* tmp451 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_145 */
__ats_lab_145_0:
if (((ats_sum_ptr_type)tmp452)->tag != 33) { goto __ats_lab_146_0 ; }
__ats_lab_145_1:
tmp629 = ats_caselptrlab_mac(anairiats_sum_2, tmp452, atslab_0) ;
tmp630 = ats_caselptrlab_mac(anairiats_sum_2, tmp452, atslab_1) ;
/* tmp631 = */ atspre_fprint_string (arg0, ATSstrcst("D1Cstaloadnm(")) ;
/* tmp632 = */ _2tmp_2ATS_2dPostiats_2src_2pats_symbol_2esats__fprint_symbolopt (arg0, tmp629) ;
/* tmp633 = */ atspre_fprint_string (arg0, ATSstrcst("=")) ;
/* tmp634 = */ _2tmp_2ATS_2dPostiats_2src_2pats_symbol_2esats__fprint_symbol (arg0, tmp630) ;
/* tmp451 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_146 */
__ats_lab_146_0:
if (((ats_sum_ptr_type)tmp452)->tag != 34) { goto __ats_lab_147_0 ; }
__ats_lab_146_1:
tmp635 = ats_caselptrlab_mac(anairiats_sum_9, tmp452, atslab_1) ;
/* tmp636 = */ atspre_fprint_string (arg0, ATSstrcst("D1Cstaloadloc(")) ;
/* tmp637 = */ _2tmp_2ATS_2dPostiats_2src_2pats_symbol_2esats__fprint_symbol (arg0, tmp635) ;
/* tmp451 = */ atspre_fprint_string (arg0, ATSstrcst(", ...)")) ;
break ;

/* branch: __ats_lab_147 */
__ats_lab_147_0:
if (((ats_sum_ptr_type)tmp452)->tag != 35) { goto __ats_lab_148_0 ; }
__ats_lab_147_1:
tmp638 = ats_caselptrlab_mac(anairiats_sum_1, tmp452, atslab_0) ;
/* tmp639 = */ atspre_fprint_string (arg0, ATSstrcst("D1Cdynload(")) ;
/* tmp640 = */ _2tmp_2ATS_2dPostiats_2src_2pats_filename_2esats__fprint_filename_full (arg0, tmp638) ;
/* tmp451 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_148 */
__ats_lab_148_0:
if (((ats_sum_ptr_type)tmp452)->tag != 36) { goto __ats_lab_149_0 ; }
__ats_lab_148_1:
tmp641 = ats_caselptrlab_mac(anairiats_sum_2, tmp452, atslab_0) ;
tmp642 = ats_caselptrlab_mac(anairiats_sum_2, tmp452, atslab_1) ;
/* tmp643 = */ atspre_fprint_string (arg0, ATSstrcst("D1Clocal(\n")) ;
/* tmp644 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__fprint_d1eclist (arg0, tmp641) ;
/* tmp645 = */ atspre_fprint_string (arg0, ATSstrcst("\n(*in*)\n")) ;
/* tmp646 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__fprint_d1eclist (arg0, tmp642) ;
/* tmp451 = */ atspre_fprint_string (arg0, ATSstrcst("\n)")) ;
break ;

/* branch: __ats_lab_149 */
__ats_lab_149_0:
__ats_lab_149_1:
/* tmp451 = */ atspre_fprint_string (arg0, ATSstrcst("D1C...(...)")) ;
break ;
} while (0) ;
return /* (tmp451) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__fprint_d1ecl] */

/*
// /tmp/ATS-Postiats/src/pats_dynexp1_print.dats: 27645(line=1206, offs=13) -- 27679(line=1206, offs=47)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__print_d1ecl (ats_ptr_type arg0) {
/* local vardec */
// ATSlocal_void (tmp647) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__print_d1ecl:
/* tmp647 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__fprint_d1ecl (stdout, arg0) ;
return /* (tmp647) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__print_d1ecl] */

/*
// /tmp/ATS-Postiats/src/pats_dynexp1_print.dats: 27702(line=1208, offs=13) -- 27736(line=1208, offs=47)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__prerr_d1ecl (ats_ptr_type arg0) {
/* local vardec */
// ATSlocal_void (tmp648) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__prerr_d1ecl:
/* tmp648 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__fprint_d1ecl (stderr, arg0) ;
return /* (tmp648) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__prerr_d1ecl] */

/*
// /tmp/ATS-Postiats/src/pats_dynexp1_print.dats: 27787(line=1214, offs=3) -- 27842(line=1214, offs=58)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__fprint_d1eclist (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp649) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__fprint_d1eclist:
/* tmp649 = */ fprintlst_01696_ats_ptr_type (arg0, arg1, ATSstrcst("\n"), &_2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__fprint_d1ecl) ;
return /* (tmp649) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__fprint_d1eclist] */

/* static load function */

extern ats_void_type _2tmp_2ATS_2dPostiats_2src_2pats_utils_2esats__staload (void) ;
extern ats_void_type _2tmp_2ATS_2dPostiats_2src_2pats_utils_2edats__staload (void) ;
extern ats_void_type _2tmp_2ATS_2dPostiats_2src_2pats_label_2esats__staload (void) ;
extern ats_void_type _2tmp_2ATS_2dPostiats_2src_2pats_symbol_2esats__staload (void) ;
extern ats_void_type _2tmp_2ATS_2dPostiats_2src_2pats_filename_2esats__staload (void) ;
extern ats_void_type _2tmp_2ATS_2dPostiats_2src_2pats_syntax_2esats__staload (void) ;
extern ats_void_type _2tmp_2ATS_2dPostiats_2src_2pats_basics_2esats__staload (void) ;
extern ats_void_type _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__staload (void) ;
extern ats_void_type _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__staload (void) ;

ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_print_2edats__staload () {
static int _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_print_2edats__staload_flag = 0 ;
if (_2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_print_2edats__staload_flag) return ;
_2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_print_2edats__staload_flag = 1 ;

_2tmp_2ATS_2dPostiats_2src_2pats_utils_2esats__staload () ;
_2tmp_2ATS_2dPostiats_2src_2pats_utils_2edats__staload () ;
_2tmp_2ATS_2dPostiats_2src_2pats_label_2esats__staload () ;
_2tmp_2ATS_2dPostiats_2src_2pats_symbol_2esats__staload () ;
_2tmp_2ATS_2dPostiats_2src_2pats_filename_2esats__staload () ;
_2tmp_2ATS_2dPostiats_2src_2pats_syntax_2esats__staload () ;
_2tmp_2ATS_2dPostiats_2src_2pats_basics_2esats__staload () ;
_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__staload () ;
_2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__staload () ;

return ;
} /* staload function */

/* dynamic load function */

// dynload flag declaration
extern ats_int_type _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_print_2edats__dynload_flag ;

ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_print_2edats__dynload () {
_2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_print_2edats__dynload_flag = 1 ;
_2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_print_2edats__staload () ;

#ifdef _ATS_PROOFCHECK
ATS_2d0_2e2_2e12_2prelude_2SATS_2list_2esats__list_length_is_nonnegative_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2SATS_2list_vt_2esats__list_vt_length_is_nonnegative_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2libats_2ngc_2SATS_2deque_arr_2esats__lemma_deque_param_prfck () ;
ATS_2d0_2e2_2e12_2libats_2ngc_2DATS_2deque_arr_2edats__DEQUEarr_v_encode_prfck () ;
ATS_2d0_2e2_2e12_2libats_2ngc_2DATS_2deque_arr_2edats__DEQUEarr_v_decode_prfck () ;
ATS_2d0_2e2_2e12_2libats_2ngc_2DATS_2deque_arr_2edats__DEQUEarr_v_clear_prfck () ;
ATS_2d0_2e2_2e12_2libats_2ngc_2DATS_2deque_arr_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2libats_2ngc_2DATS_2deque_arr_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2libats_2ngc_2DATS_2deque_arr_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2libats_2ngc_2DATS_2deque_arr_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2libats_2ngc_2DATS_2deque_arr_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2libats_2ngc_2DATS_2deque_arr_2edats__DEQUEarr_insert_beg_prfck () ;
ATS_2d0_2e2_2e12_2libats_2ngc_2DATS_2deque_arr_2edats__DEQUEarr_insert_end_prfck () ;
ATS_2d0_2e2_2e12_2libats_2ngc_2DATS_2deque_arr_2edats__DEQUEarr_remove_beg_prfck () ;
ATS_2d0_2e2_2e12_2libats_2ngc_2DATS_2deque_arr_2edats__DEQUEarr_remove_end_prfck () ;
ATS_2d0_2e2_2e12_2libats_2ngc_2DATS_2deque_arr_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2libats_2ngc_2DATS_2deque_arr_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2libats_2ngc_2DATS_2deque_arr_2edats____assert_prfck () ;
_2tmp_2ATS_2dPostiats_2src_2pats_utils_2edats____assert_prfck () ;
_2tmp_2ATS_2dPostiats_2src_2pats_utils_2edats____assert_prfck () ;
#endif /* _ATS_PROOFCHECK */

/* marking static variables for GC */

/* marking external values for GC */

/* code for dynamic loading */
return ;
} /* end of [dynload function] */

/* external codes at mid */
/* external codes at bot */

/* ****** ****** */

/* end of [pats_dynexp1_print_dats.c] */
