/*
**
** The C code is generated by ATS/Anairiats
** The compilation time is: 2020-11-6:  1h:10m
**
*/

/* 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/bool.cats"
#include "prelude/CATS/char.cats"
#include "prelude/CATS/byte.cats"
#include "prelude/CATS/float.cats"
#include "prelude/CATS/integer.cats"
#include "prelude/CATS/integer_ptr.cats"
#include "prelude/CATS/integer_fixed.cats"
#include "prelude/CATS/sizetype.cats"
#include "prelude/CATS/pointer.cats"
#include "prelude/CATS/reference.cats"
#include "prelude/CATS/string.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_lexbuf.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"

#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_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"

#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"
/* external codes at top */
/* type definitions */
typedef struct {
int tag ;
ats_ptr_type atslab_0 ;
} anairiats_sum_0 ;

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

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

typedef struct {
ats_int_type atslab_0 ;
ats_ptr_type atslab_1 ;
} anairiats_sum_3 ;

typedef
struct {
ats_ptr_type atslab_d2sym_loc ;
ats_ptr_type atslab_d2sym_qua ;
ats_ptr_type atslab_d2sym_sym ;
ats_ptr_type atslab_d2sym_pitmlst ;
} anairiats_rec_4 ;

typedef struct {
ats_ptr_type atslab_0 ;
} anairiats_sum_5 ;

typedef
struct {
ats_ptr_type atslab_p2at_loc ;
ats_ptr_type atslab_p2at_svs ;
ats_ptr_type atslab_p2at_dvs ;
ats_ptr_type atslab_p2at_type ;
ats_ptr_type atslab_p2at_node ;
} anairiats_rec_6 ;

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

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

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

typedef struct {
int tag ;
ats_ptr_type atslab_0 ;
ats_ptr_type atslab_1 ;
ats_ptr_type atslab_2 ;
ats_ptr_type atslab_3 ;
ats_int_type atslab_4 ;
ats_ptr_type atslab_5 ;
} anairiats_sum_10 ;

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

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

typedef
struct {
ats_ptr_type atslab_d2exp_loc ;
ats_ptr_type atslab_d2exp_node ;
} anairiats_rec_13 ;

typedef
struct {
ats_ptr_type atslab_token_loc ;
ats_ptr_type atslab_token_node ;
} anairiats_rec_14 ;

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

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

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_17 ;

typedef struct {
int tag ;
ats_ptr_type atslab_0 ;
ats_ptr_type atslab_1 ;
ats_ptr_type atslab_2 ;
ats_int_type atslab_3 ;
ats_ptr_type atslab_4 ;
ats_ptr_type atslab_5 ;
} anairiats_sum_18 ;

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

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

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

typedef
struct {
ats_ptr_type atslab_d2lab_loc ;
ats_ptr_type atslab_d2lab_node ;
ats_ptr_type atslab_d2lab_overld ;
} anairiats_rec_22 ;

typedef
struct {
ats_ptr_type atslab_i2nvarg_var ;
ats_ptr_type atslab_i2nvarg_type ;
} anairiats_rec_23 ;

typedef
struct {
ats_ptr_type atslab_i2nvresstate_svs ;
ats_ptr_type atslab_i2nvresstate_gua ;
ats_ptr_type atslab_i2nvresstate_arg ;
ats_ptr_type atslab_i2nvresstate_met ;
} anairiats_rec_24 ;

typedef
struct {
ats_ptr_type atslab_loopi2nv_loc ;
ats_ptr_type atslab_loopi2nv_svs ;
ats_ptr_type atslab_loopi2nv_gua ;
ats_ptr_type atslab_loopi2nv_arg ;
ats_ptr_type atslab_loopi2nv_met ;
ats_ptr_type atslab_loopi2nv_res ;
} anairiats_rec_25 ;

typedef
struct {
ats_ptr_type atslab_d2ecl_loc ;
ats_ptr_type atslab_d2ecl_node ;
} anairiats_rec_26 ;

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

/* 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_lexing_2esats__T_INT_150) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_lexing_2esats__T_CHAR_151) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_lexing_2esats__T_FLOAT_152) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_lexing_2esats__T_STRING_154) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_syntax_2esats__DL0ABELED_0) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__D2PITM_0) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__D2ITMcst_0) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__D2ITMvar_1) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__D2ITMcon_2) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__D2ITMe1xp_3) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__D2ITMsymdef_4) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__D2ITMmacdef_5) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__D2ITMmacvar_6) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__PCKcon_0) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__PCKlincon_1) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__PCKfree_2) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__PCKunfold_3) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__LABP2ATomit_0) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__LABP2ATnorm_1) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__P2Tany_0) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__P2Tvar_1) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__P2Tcon_2) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__P2Tint_3) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__P2Tintrep_4) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__P2Tbool_5) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__P2Tchar_6) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__P2Tfloat_7) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__P2Tstring_8) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__P2Ti0nt_9) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__P2Tf0loat_10) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__P2Tempty_11) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__P2Tlst_12) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__P2Trec_13) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__P2Trefas_14) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__P2Texist_15) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__P2Tvbox_16) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__P2Tann_17) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__P2Tlist_18) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__P2Terrpat_19) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__D2LABlab_0) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__D2LABind_1) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__D2EXPARGsta_0) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__D2EXPARGdyn_1) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__D2Ecst_0) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__D2Evar_1) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__D2Eint_2) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__D2Eintrep_3) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__D2Ebool_4) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__D2Echar_5) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__D2Efloat_6) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__D2Estring_7) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__D2Ei0nt_8) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__D2Ec0har_9) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__D2Ef0loat_10) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__D2Es0tring_11) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__D2Etop_12) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__D2Etop2_13) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__D2Eempty_14) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__D2Ecstsp_15) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__D2Etyrep_16) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__D2Eliteral_17) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__D2Eextval_18) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__D2Eextfcall_19) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__D2Eextmcall_20) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__D2Econ_21) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__D2Esym_22) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__D2Efoldat_23) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__D2Efreeat_24) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__D2Etmpid_25) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__D2Elet_26) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__D2Ewhere_27) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__D2Eapplst_28) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__D2Eifhead_29) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__D2Esifhead_30) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__D2Eifcasehd_31) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__D2Ecasehead_32) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__D2Escasehead_33) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__D2Esing_34) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__D2Elist_35) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__D2Elst_36) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__D2Etup_37) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__D2Erec_38) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__D2Eseq_39) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__D2Eselab_40) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__D2Eptrof_41) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__D2Eviewat_42) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__D2Ederef_43) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__D2Eassgn_44) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__D2Exchng_45) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__D2Earrsub_46) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__D2Earrpsz_47) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__D2Earrinit_48) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__D2Eraise_49) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__D2Eeffmask_50) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__D2Evararg_51) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__D2Evcopyenv_52) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__D2Eshowtype_53) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__D2Etempenver_54) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__D2Eexist_55) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__D2Elam_dyn_56) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__D2Elaminit_dyn_57) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__D2Elam_sta_58) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__D2Elam_met_59) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__D2Efix_60) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__D2Edelay_61) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__D2Eldelay_62) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__D2Efor_63) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__D2Ewhile_64) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__D2Eloopexn_65) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__D2Etrywith_66) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__D2Eann_type_67) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__D2Eann_seff_68) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__D2Eann_funclo_69) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__D2Emac_70) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__D2Emacsyn_71) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__D2Emacfun_72) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__D2Esolassert_73) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__D2Esolverify_74) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__D2Eerrexp_75) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__D2Cnone_0) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__D2Clist_1) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__D2Coverload_4) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__D2Cpragma_5) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__D2Ccodegen_6) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__D2Cstacsts_7) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__D2Cstacons_8) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__D2Cextype_11) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__D2Cextvar_12) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__D2Cextcode_13) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__D2Cdatdecs_14) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__D2Cdcstdecs_16) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__D2Cimpdec_17) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__D2Cfundecs_18) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__D2Cvaldecs_19) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__D2Cvaldecs_rec_20) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__D2Cvardecs_21) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__D2Cprvardecs_22) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__D2Cinclude_23) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__D2Cstaload_24) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__D2Cstaloadloc_25) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__D2Cdynload_26) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__D2Clocal_27) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__D2Cerrdec_28) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__D2LVALderef_0) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__D2LVALvar_lin_1) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__D2LVALvar_mut_2) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__D2LVALarrsub_3) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__D2LVALviewat_4) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__D2LVALnone_5) ;

/* 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_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_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_symbol_2esats__fprint_symbol) (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_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_f0loat) (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_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_staexp2_2esats__fprint_s2qualst) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp2_2esats__fprint_s2cst) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp2_2esats__fprint_s2cstlst) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp2_2esats__fprint_s2varlst) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp2_2esats__fprint_d2con) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp2_2esats__fprint_d2conlst) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp2_2esats__fprint_s2exp) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp2_2esats__fprint_s2explst) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp2_2esats__fprint_s2expopt) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp2_2esats__fprint_s2explstopt) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp2_2esats__fprint_s2eff) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp2_2esats__fprint_s2exparg) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp2_2esats__fprint_s2exparglst) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp2_2esats__fpprint_t2mpmarglst) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2cst) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2var) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2varlst) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2mac) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2itm) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2pitm) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2pitmlst) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2sym) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_pckind) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_p2at) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_p2atlst) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_labp2at) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_labp2atlst) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2exp) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2explst) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2expopt) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_labd2exp) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_labd2explst) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2exparg) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2exparglst) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2lablst) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_loopi2nv) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_i2nvarglst) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_i2nvresstate) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2ecl) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2eclist) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2lval) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2lab) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_print_2edats__fprint_i2nvarg) (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_5 (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_5_closure_make (ats_ptr_type env0, ats_ptr_type env1, ats_ptr_type env2) ;
static
ats_void_type aux_5_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_dynexp2_print.dats: 2107(line=73, offs=3) -- 3158(line=113, offs=4)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2itm (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp0) ;
ATSlocal (ats_ptr_type, tmp1) ;
// ATSlocal_void (tmp2) ;
// ATSlocal_void (tmp3) ;
ATSlocal (ats_ptr_type, tmp4) ;
// ATSlocal_void (tmp5) ;
// ATSlocal_void (tmp6) ;
ATSlocal (ats_ptr_type, tmp7) ;
// ATSlocal_void (tmp8) ;
// ATSlocal_void (tmp9) ;
ATSlocal (ats_ptr_type, tmp10) ;
// ATSlocal_void (tmp11) ;
// ATSlocal_void (tmp12) ;
ATSlocal (ats_ptr_type, tmp13) ;
ATSlocal (ats_ptr_type, tmp14) ;
// ATSlocal_void (tmp15) ;
// ATSlocal_void (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) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2itm:
do {
/* branch: __ats_lab_0 */
__ats_lab_0_0:
if (((ats_sum_ptr_type)arg1)->tag != 0) { goto __ats_lab_1_0 ; }
__ats_lab_0_1:
tmp1 = ats_caselptrlab_mac(anairiats_sum_0, arg1, atslab_0) ;
/* tmp2 = */ atspre_fprint_string (arg0, ATSstrcst("D2ITMcst(")) ;
/* tmp3 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2cst (arg0, tmp1) ;
/* tmp0 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_1 */
__ats_lab_1_0:
if (((ats_sum_ptr_type)arg1)->tag != 1) { goto __ats_lab_2_0 ; }
__ats_lab_1_1:
tmp4 = ats_caselptrlab_mac(anairiats_sum_0, arg1, atslab_0) ;
/* tmp5 = */ atspre_fprint_string (arg0, ATSstrcst("D2ITMvar(")) ;
/* tmp6 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2var (arg0, tmp4) ;
/* tmp0 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_2 */
__ats_lab_2_0:
if (((ats_sum_ptr_type)arg1)->tag != 2) { goto __ats_lab_3_0 ; }
__ats_lab_2_1:
tmp7 = ats_caselptrlab_mac(anairiats_sum_0, arg1, atslab_0) ;
/* tmp8 = */ atspre_fprint_string (arg0, ATSstrcst("D2ITMcon(")) ;
/* tmp9 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp2_2esats__fprint_d2conlst (arg0, tmp7) ;
/* tmp0 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_3 */
__ats_lab_3_0:
if (((ats_sum_ptr_type)arg1)->tag != 3) { goto __ats_lab_4_0 ; }
__ats_lab_3_1:
tmp10 = ats_caselptrlab_mac(anairiats_sum_0, arg1, atslab_0) ;
/* tmp11 = */ atspre_fprint_string (arg0, ATSstrcst("D2ITMe1xp(")) ;
/* tmp12 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_e1xp (arg0, tmp10) ;
/* tmp0 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_4 */
__ats_lab_4_0:
if (((ats_sum_ptr_type)arg1)->tag != 4) { goto __ats_lab_5_0 ; }
__ats_lab_4_1:
tmp13 = ats_caselptrlab_mac(anairiats_sum_1, arg1, atslab_0) ;
tmp14 = ats_caselptrlab_mac(anairiats_sum_1, arg1, atslab_1) ;
/* tmp15 = */ atspre_fprint_string (arg0, ATSstrcst("D2ITMsymdef(")) ;
/* tmp16 = */ _2tmp_2ATS_2dPostiats_2src_2pats_symbol_2esats__fprint_symbol (arg0, tmp13) ;
/* tmp17 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp18 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2pitmlst (arg0, tmp14) ;
/* tmp0 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_5 */
__ats_lab_5_0:
if (((ats_sum_ptr_type)arg1)->tag != 5) { goto __ats_lab_6_0 ; }
__ats_lab_5_1:
tmp19 = ats_caselptrlab_mac(anairiats_sum_0, arg1, atslab_0) ;
/* tmp20 = */ atspre_fprint_string (arg0, ATSstrcst("D2ITMmacdef(")) ;
/* tmp21 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2mac (arg0, tmp19) ;
/* tmp0 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_6 */
__ats_lab_6_0:
// if (((ats_sum_ptr_type)arg1)->tag != 6) { ats_deadcode_failure_handle () ; }
__ats_lab_6_1:
tmp22 = ats_caselptrlab_mac(anairiats_sum_0, arg1, atslab_0) ;
/* tmp23 = */ atspre_fprint_string (arg0, ATSstrcst("D2ITMmacvar(")) ;
/* tmp24 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2var (arg0, tmp22) ;
/* tmp0 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;
} while (0) ;
return /* (tmp0) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2itm] */

/*
// /tmp/ATS-Postiats/src/pats_dynexp2_print.dats: 3229(line=118, offs=13) -- 3263(line=118, offs=47)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__print_d2itm (ats_ptr_type arg0) {
/* local vardec */
// ATSlocal_void (tmp25) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__print_d2itm:
/* tmp25 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2itm (stdout, arg0) ;
return /* (tmp25) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__print_d2itm] */

/*
// /tmp/ATS-Postiats/src/pats_dynexp2_print.dats: 3286(line=120, offs=13) -- 3320(line=120, offs=47)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__prerr_d2itm (ats_ptr_type arg0) {
/* local vardec */
// ATSlocal_void (tmp26) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__prerr_d2itm:
/* tmp26 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2itm (stderr, arg0) ;
return /* (tmp26) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__prerr_d2itm] */

/*
// /tmp/ATS-Postiats/src/pats_utils.dats: 11884(line=651, offs=1) -- 12164(line=665, offs=2)
*/
ATSstaticdec()
ats_void_type
aux_5 (ats_ptr_type env0, ats_ptr_type env1, ats_ptr_type env2, ats_ptr_type arg0, ats_int_type arg1) {
/* local vardec */
// ATSlocal_void (tmp29) ;
ATSlocal (ats_ptr_type, tmp30) ;
ATSlocal (ats_ptr_type, tmp31) ;
// ATSlocal_void (tmp32) ;
ATSlocal (ats_bool_type, tmp33) ;
// ATSlocal_void (tmp34) ;
ATSlocal (ats_int_type, tmp35) ;

__ats_lab_aux_5:
do {
/* branch: __ats_lab_7 */
__ats_lab_7_0:
if (arg0 != (ats_sum_ptr_type)0) { goto __ats_lab_8_0 ; }
__ats_lab_7_1:
break ;

/* branch: __ats_lab_8 */
__ats_lab_8_0:
// if (arg0 == (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; }
__ats_lab_8_1:
tmp30 = ats_caselptrlab_mac(anairiats_sum_2, arg0, atslab_0) ;
tmp31 = ats_caselptrlab_mac(anairiats_sum_2, arg0, atslab_1) ;
tmp33 = atspre_gt_int_int (arg1, 0) ;
if (tmp33) {
/* tmp32 = */ atspre_fprint_string (env0, env1) ;
} else {
/* empty */
} /* end of [if] */
/* tmp34 = */ ((ats_void_type(*)(ats_ptr_type, ats_ptr_type))env2) (env0, tmp30) ;
tmp35 = atspre_add_int_int (arg1, 1) ;
arg0 = tmp31 ;
arg1 = tmp35 ;
goto __ats_lab_aux_5 ; // tail call
break ;
} while (0) ;
return /* (tmp29) */ ;
} /* end of [aux_5] */

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_5_closure_type ;

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

ATSinline()
ats_void_type
aux_5_closure_init (aux_5_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_5_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_5_closure_make (ats_ptr_type env0, ats_ptr_type env1, ats_ptr_type env2) {
aux_5_closure_type *p_clo = ATS_MALLOC(sizeof(aux_5_closure_type)) ;
aux_5_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 (tmp28) ;

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

/*
// /tmp/ATS-Postiats/src/pats_dynexp2_print.dats: 3371(line=126, offs=3) -- 3426(line=126, offs=58)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2itmlst (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp27) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2itmlst:
/* tmp27 = */ fprintlst_01696_ats_ptr_type (arg0, arg1, ATSstrcst(", "), &_2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2itm) ;
return /* (tmp27) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2itmlst] */

/*
// /tmp/ATS-Postiats/src/pats_dynexp2_print.dats: 3503(line=133, offs=3) -- 3730(line=140, offs=2)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2pitm (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp36) ;
ATSlocal (ats_int_type, tmp37) ;
ATSlocal (ats_ptr_type, tmp38) ;
// ATSlocal_void (tmp39) ;
// ATSlocal_void (tmp40) ;
// ATSlocal_void (tmp41) ;
// ATSlocal_void (tmp42) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2pitm:

tmp37 = ats_caselptrlab_mac(anairiats_sum_3, arg1, atslab_0) ;
tmp38 = ats_caselptrlab_mac(anairiats_sum_3, arg1, atslab_1) ;
/* tmp39 = */ atspre_fprint_string (arg0, ATSstrcst("D2PITM(")) ;
/* tmp40 = */ atspre_fprint_int (arg0, tmp37) ;
/* tmp41 = */ atspre_fprint_string (arg0, ATSstrcst(", ")) ;
/* tmp42 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2itm (arg0, tmp38) ;
/* tmp36 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
return /* (tmp36) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2pitm] */

/*
// /tmp/ATS-Postiats/src/pats_dynexp2_print.dats: 3787(line=144, offs=3) -- 3843(line=144, offs=59)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2pitmlst (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp43) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2pitmlst:
/* tmp43 = */ fprintlst_01696_ats_ptr_type (arg0, arg1, ATSstrcst(", "), &_2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2pitm) ;
return /* (tmp43) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2pitmlst] */

/*
// /tmp/ATS-Postiats/src/pats_dynexp2_print.dats: 3922(line=151, offs=3) -- 4029(line=154, offs=2)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2sym (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp44) ;
// ATSlocal_void (tmp45) ;
ATSlocal (ats_ptr_type, tmp46) ;
ATSlocal (ats_ptr_type, tmp47) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2sym:
tmp46 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_4, arg1), atslab_d2sym_qua) ;
/* tmp45 = */ _2tmp_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_d0ynq (arg0, tmp46) ;
tmp47 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_4, arg1), atslab_d2sym_sym) ;
/* tmp44 = */ _2tmp_2ATS_2dPostiats_2src_2pats_symbol_2esats__fprint_symbol (arg0, tmp47) ;
return /* (tmp44) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2sym] */

/*
// /tmp/ATS-Postiats/src/pats_dynexp2_print.dats: 4076(line=157, offs=13) -- 4108(line=157, offs=45)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__print_d2sym (ats_ptr_type arg0) {
/* local vardec */
// ATSlocal_void (tmp48) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__print_d2sym:
/* tmp48 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2sym (stdout, arg0) ;
return /* (tmp48) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__print_d2sym] */

/*
// /tmp/ATS-Postiats/src/pats_dynexp2_print.dats: 4131(line=159, offs=13) -- 4163(line=159, offs=45)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__prerr_d2sym (ats_ptr_type arg0) {
/* local vardec */
// ATSlocal_void (tmp49) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__prerr_d2sym:
/* tmp49 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2sym (stderr, arg0) ;
return /* (tmp49) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__prerr_d2sym] */

/*
// /tmp/ATS-Postiats/src/pats_dynexp2_print.dats: 4216(line=165, offs=3) -- 4453(line=178, offs=4)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_pckind (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp50) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_pckind:
do {
/* branch: __ats_lab_9 */
__ats_lab_9_0:
if (((ats_sum_ptr_type)arg1)->tag != 0) { goto __ats_lab_10_0 ; }
__ats_lab_9_1:
/* tmp50 = */ atspre_fprint_string (arg0, ATSstrcst("PCKcon")) ;
break ;

/* branch: __ats_lab_10 */
__ats_lab_10_0:
if (((ats_sum_ptr_type)arg1)->tag != 1) { goto __ats_lab_11_0 ; }
__ats_lab_10_1:
/* tmp50 = */ atspre_fprint_string (arg0, ATSstrcst("PCKlincon")) ;
break ;

/* branch: __ats_lab_11 */
__ats_lab_11_0:
if (((ats_sum_ptr_type)arg1)->tag != 2) { goto __ats_lab_12_0 ; }
__ats_lab_11_1:
/* tmp50 = */ atspre_fprint_string (arg0, ATSstrcst("PCKfree")) ;
break ;

/* branch: __ats_lab_12 */
__ats_lab_12_0:
// if (((ats_sum_ptr_type)arg1)->tag != 3) { ats_deadcode_failure_handle () ; }
__ats_lab_12_1:
/* tmp50 = */ atspre_fprint_string (arg0, ATSstrcst("PCKunfold")) ;
break ;
} while (0) ;
return /* (tmp50) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_pckind] */

/*
// /tmp/ATS-Postiats/src/pats_dynexp2_print.dats: 4506(line=181, offs=14) -- 4534(line=181, offs=42)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__print_pckind (ats_ptr_type arg0) {
/* local vardec */
// ATSlocal_void (tmp51) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__print_pckind:
/* tmp51 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_pckind (stdout, arg0) ;
return /* (tmp51) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__print_pckind] */

/*
// /tmp/ATS-Postiats/src/pats_dynexp2_print.dats: 4558(line=183, offs=14) -- 4586(line=183, offs=42)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__prerr_pckind (ats_ptr_type arg0) {
/* local vardec */
// ATSlocal_void (tmp52) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__prerr_pckind:
/* tmp52 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_pckind (stderr, arg0) ;
return /* (tmp52) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__prerr_pckind] */

/*
// /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 (tmp54) ;
ATSlocal (ats_ptr_type, tmp55) ;
// ATSlocal_void (tmp56) ;
// ATSlocal_void (tmp57) ;

__ats_lab_fprintopt_01697_ats_ptr_type:
do {
/* branch: __ats_lab_13 */
__ats_lab_13_0:
if (arg1 != (ats_sum_ptr_type)0) { goto __ats_lab_14_0 ; }
__ats_lab_13_1:
/* tmp54 = */ atspre_fprint_string (arg0, ATSstrcst("None()")) ;
break ;

/* branch: __ats_lab_14 */
__ats_lab_14_0:
// if (arg1 == (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; }
__ats_lab_14_1:
tmp55 = ats_caselptrlab_mac(anairiats_sum_5, arg1, atslab_0) ;
/* tmp56 = */ atspre_fprint_string (arg0, ATSstrcst("Some(")) ;
/* tmp57 = */ ((ats_void_type(*)(ats_ptr_type, ats_ptr_type))arg2) (arg0, tmp55) ;
/* tmp54 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;
} while (0) ;
return /* (tmp54) */ ;
} /* end of [fprintopt_01697_ats_ptr_type] */

/*
// /tmp/ATS-Postiats/src/pats_dynexp2_print.dats: 4640(line=189, offs=3) -- 4692(line=189, offs=55)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_pckindopt (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp53) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_pckindopt:
/* tmp53 = */ fprintopt_01697_ats_ptr_type (arg0, arg1, &_2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_pckind) ;
return /* (tmp53) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_pckindopt] */

/*
// /tmp/ATS-Postiats/src/pats_dynexp2_print.dats: 4768(line=196, offs=3) -- 7842(line=335, offs=4)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_p2at (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp58) ;
ATSlocal (ats_ptr_type, tmp59) ;
ATSlocal (ats_ptr_type, tmp60) ;
// ATSlocal_void (tmp61) ;
// ATSlocal_void (tmp62) ;
ATSlocal (ats_bool_type, tmp63) ;
// ATSlocal_void (tmp64) ;
// ATSlocal_void (tmp65) ;
ATSlocal (ats_int_type, tmp66) ;
// ATSlocal_void (tmp67) ;
// ATSlocal_void (tmp68) ;
ATSlocal (ats_ptr_type, tmp69) ;
// ATSlocal_void (tmp70) ;
// ATSlocal_void (tmp71) ;
ATSlocal (ats_char_type, tmp72) ;
// ATSlocal_void (tmp73) ;
// ATSlocal_void (tmp74) ;
ATSlocal (ats_ptr_type, tmp75) ;
// ATSlocal_void (tmp76) ;
// ATSlocal_void (tmp77) ;
ATSlocal (ats_ptr_type, 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 (ats_ptr_type, tmp89) ;
ATSlocal (ats_ptr_type, tmp90) ;
ATSlocal (ats_int_type, tmp91) ;
ATSlocal (ats_ptr_type, tmp92) ;
// ATSlocal_void (tmp93) ;
// ATSlocal_void (tmp94) ;
// ATSlocal_void (tmp95) ;
// ATSlocal_void (tmp96) ;
// ATSlocal_void (tmp97) ;
// ATSlocal_void (tmp98) ;
// ATSlocal_void (tmp99) ;
// ATSlocal_void (tmp100) ;
// ATSlocal_void (tmp101) ;
// ATSlocal_void (tmp102) ;
// ATSlocal_void (tmp103) ;
// ATSlocal_void (tmp104) ;
ATSlocal (ats_int_type, tmp105) ;
ATSlocal (ats_ptr_type, tmp106) ;
// ATSlocal_void (tmp107) ;
// ATSlocal_void (tmp108) ;
// ATSlocal_void (tmp109) ;
// ATSlocal_void (tmp110) ;
ATSlocal (ats_int_type, tmp111) ;
ATSlocal (ats_int_type, tmp112) ;
ATSlocal (ats_ptr_type, tmp113) ;
// ATSlocal_void (tmp114) ;
// ATSlocal_void (tmp115) ;
// ATSlocal_void (tmp116) ;
// ATSlocal_void (tmp117) ;
// ATSlocal_void (tmp118) ;
// ATSlocal_void (tmp119) ;
ATSlocal (ats_int_type, tmp120) ;
ATSlocal (ats_ptr_type, tmp121) ;
// ATSlocal_void (tmp122) ;
// ATSlocal_void (tmp123) ;
// ATSlocal_void (tmp124) ;
// ATSlocal_void (tmp125) ;
ATSlocal (ats_ptr_type, tmp126) ;
ATSlocal (ats_ptr_type, tmp127) ;
// ATSlocal_void (tmp128) ;
// ATSlocal_void (tmp129) ;
// ATSlocal_void (tmp130) ;
// ATSlocal_void (tmp131) ;
ATSlocal (ats_ptr_type, tmp132) ;
ATSlocal (ats_ptr_type, tmp133) ;
// ATSlocal_void (tmp134) ;
// ATSlocal_void (tmp135) ;
// ATSlocal_void (tmp136) ;
// ATSlocal_void (tmp137) ;
ATSlocal (ats_ptr_type, tmp138) ;
// ATSlocal_void (tmp139) ;
// ATSlocal_void (tmp140) ;
ATSlocal (ats_ptr_type, tmp141) ;
ATSlocal (ats_ptr_type, tmp142) ;
// ATSlocal_void (tmp143) ;
// ATSlocal_void (tmp144) ;
// ATSlocal_void (tmp145) ;
// ATSlocal_void (tmp146) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_p2at:
tmp59 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_6, arg1), atslab_p2at_node) ;
do {
/* branch: __ats_lab_15 */
__ats_lab_15_0:
if (((ats_sum_ptr_type)tmp59)->tag != 0) { goto __ats_lab_16_0 ; }
__ats_lab_15_1:
/* tmp58 = */ atspre_fprint_string (arg0, ATSstrcst("P2Tany()")) ;
break ;

/* branch: __ats_lab_16 */
__ats_lab_16_0:
if (((ats_sum_ptr_type)tmp59)->tag != 1) { goto __ats_lab_17_0 ; }
__ats_lab_16_1:
tmp60 = ats_caselptrlab_mac(anairiats_sum_0, tmp59, atslab_0) ;
/* tmp61 = */ atspre_fprint_string (arg0, ATSstrcst("P2Tvar(")) ;
/* tmp62 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2var (arg0, tmp60) ;
/* tmp58 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_17 */
__ats_lab_17_0:
if (((ats_sum_ptr_type)tmp59)->tag != 5) { goto __ats_lab_18_0 ; }
__ats_lab_17_1:
tmp63 = ats_caselptrlab_mac(anairiats_sum_7, tmp59, atslab_0) ;
/* tmp64 = */ atspre_fprint_string (arg0, ATSstrcst("P2Tbool(")) ;
/* tmp65 = */ atspre_fprint_bool (arg0, tmp63) ;
/* tmp58 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_18 */
__ats_lab_18_0:
if (((ats_sum_ptr_type)tmp59)->tag != 3) { goto __ats_lab_19_0 ; }
__ats_lab_18_1:
tmp66 = ats_caselptrlab_mac(anairiats_sum_8, tmp59, atslab_0) ;
/* tmp67 = */ atspre_fprint_string (arg0, ATSstrcst("P2Tint(")) ;
/* tmp68 = */ atspre_fprint_int (arg0, tmp66) ;
/* tmp58 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_19 */
__ats_lab_19_0:
if (((ats_sum_ptr_type)tmp59)->tag != 4) { goto __ats_lab_20_0 ; }
__ats_lab_19_1:
tmp69 = ats_caselptrlab_mac(anairiats_sum_0, tmp59, atslab_0) ;
/* tmp70 = */ atspre_fprint_string (arg0, ATSstrcst("P2Tintrep(")) ;
/* tmp71 = */ atspre_fprint_string (arg0, tmp69) ;
/* tmp58 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_20 */
__ats_lab_20_0:
if (((ats_sum_ptr_type)tmp59)->tag != 6) { goto __ats_lab_21_0 ; }
__ats_lab_20_1:
tmp72 = ats_caselptrlab_mac(anairiats_sum_9, tmp59, atslab_0) ;
/* tmp73 = */ atspre_fprint_string (arg0, ATSstrcst("P2Tchar(")) ;
/* tmp74 = */ atspre_fprint_char (arg0, tmp72) ;
/* tmp58 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_21 */
__ats_lab_21_0:
if (((ats_sum_ptr_type)tmp59)->tag != 7) { goto __ats_lab_22_0 ; }
__ats_lab_21_1:
tmp75 = ats_caselptrlab_mac(anairiats_sum_0, tmp59, atslab_0) ;
/* tmp76 = */ atspre_fprint_string (arg0, ATSstrcst("P2Tfloat(")) ;
/* tmp77 = */ atspre_fprint_string (arg0, tmp75) ;
/* tmp58 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_22 */
__ats_lab_22_0:
if (((ats_sum_ptr_type)tmp59)->tag != 8) { goto __ats_lab_23_0 ; }
__ats_lab_22_1:
tmp78 = ats_caselptrlab_mac(anairiats_sum_0, tmp59, atslab_0) ;
/* tmp79 = */ atspre_fprint_string (arg0, ATSstrcst("P2Tstring(")) ;
/* tmp80 = */ atspre_fprint_string (arg0, tmp78) ;
/* tmp58 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_23 */
__ats_lab_23_0:
if (((ats_sum_ptr_type)tmp59)->tag != 9) { goto __ats_lab_24_0 ; }
__ats_lab_23_1:
tmp81 = ats_caselptrlab_mac(anairiats_sum_0, tmp59, atslab_0) ;
/* tmp82 = */ atspre_fprint_string (arg0, ATSstrcst("P2Ti0nt(")) ;
/* tmp83 = */ _2tmp_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_i0nt (arg0, tmp81) ;
/* tmp58 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_24 */
__ats_lab_24_0:
if (((ats_sum_ptr_type)tmp59)->tag != 10) { goto __ats_lab_25_0 ; }
__ats_lab_24_1:
tmp84 = ats_caselptrlab_mac(anairiats_sum_0, tmp59, atslab_0) ;
/* tmp85 = */ atspre_fprint_string (arg0, ATSstrcst("P2Tf0loat(")) ;
/* tmp86 = */ _2tmp_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_f0loat (arg0, tmp84) ;
/* tmp58 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_25 */
__ats_lab_25_0:
if (((ats_sum_ptr_type)tmp59)->tag != 11) { goto __ats_lab_26_0 ; }
__ats_lab_25_1:
/* tmp58 = */ atspre_fprint_string (arg0, ATSstrcst("P2Tempty()")) ;
break ;

/* branch: __ats_lab_26 */
__ats_lab_26_0:
if (((ats_sum_ptr_type)tmp59)->tag != 2) { goto __ats_lab_27_0 ; }
__ats_lab_26_1:
tmp87 = ats_caselptrlab_mac(anairiats_sum_10, tmp59, atslab_0) ;
tmp88 = ats_caselptrlab_mac(anairiats_sum_10, tmp59, atslab_1) ;
tmp89 = ats_caselptrlab_mac(anairiats_sum_10, tmp59, atslab_2) ;
tmp90 = ats_caselptrlab_mac(anairiats_sum_10, tmp59, atslab_3) ;
tmp91 = ats_caselptrlab_mac(anairiats_sum_10, tmp59, atslab_4) ;
tmp92 = ats_caselptrlab_mac(anairiats_sum_10, tmp59, atslab_5) ;
/* tmp93 = */ atspre_fprint_string (arg0, ATSstrcst("P2Tcon(")) ;
/* tmp94 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_pckind (arg0, tmp87) ;
/* tmp95 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp96 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp2_2esats__fprint_d2con (arg0, tmp88) ;
/* tmp97 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp98 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp2_2esats__fprint_s2qualst (arg0, tmp89) ;
/* tmp99 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp100 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp2_2esats__fprint_s2exp (arg0, tmp90) ;
/* tmp101 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp102 = */ atspre_fprint_int (arg0, tmp91) ;
/* tmp103 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp104 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_p2atlst (arg0, tmp92) ;
/* tmp58 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_27 */
__ats_lab_27_0:
if (((ats_sum_ptr_type)tmp59)->tag != 18) { goto __ats_lab_28_0 ; }
__ats_lab_27_1:
tmp105 = ats_caselptrlab_mac(anairiats_sum_11, tmp59, atslab_0) ;
tmp106 = ats_caselptrlab_mac(anairiats_sum_11, tmp59, atslab_1) ;
/* tmp107 = */ atspre_fprint_string (arg0, ATSstrcst("P2Tlist(")) ;
/* tmp108 = */ atspre_fprint_int (arg0, tmp105) ;
/* tmp109 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp110 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_p2atlst (arg0, tmp106) ;
/* tmp58 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_28 */
__ats_lab_28_0:
if (((ats_sum_ptr_type)tmp59)->tag != 13) { goto __ats_lab_29_0 ; }
__ats_lab_28_1:
tmp111 = ats_caselptrlab_mac(anairiats_sum_12, tmp59, atslab_0) ;
tmp112 = ats_caselptrlab_mac(anairiats_sum_12, tmp59, atslab_1) ;
tmp113 = ats_caselptrlab_mac(anairiats_sum_12, tmp59, atslab_2) ;
/* tmp114 = */ atspre_fprint_string (arg0, ATSstrcst("P2Ttup(")) ;
/* tmp115 = */ atspre_fprint_int (arg0, tmp111) ;
/* tmp116 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp117 = */ atspre_fprint_int (arg0, tmp112) ;
/* tmp118 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp119 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_labp2atlst (arg0, tmp113) ;
/* tmp58 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_29 */
__ats_lab_29_0:
if (((ats_sum_ptr_type)tmp59)->tag != 12) { goto __ats_lab_30_0 ; }
__ats_lab_29_1:
tmp120 = ats_caselptrlab_mac(anairiats_sum_11, tmp59, atslab_0) ;
tmp121 = ats_caselptrlab_mac(anairiats_sum_11, tmp59, atslab_1) ;
/* tmp122 = */ atspre_fprint_string (arg0, ATSstrcst("P2Tlst(")) ;
/* tmp123 = */ atspre_fprint_int (arg0, tmp120) ;
/* tmp124 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp125 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_p2atlst (arg0, tmp121) ;
/* tmp58 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_30 */
__ats_lab_30_0:
if (((ats_sum_ptr_type)tmp59)->tag != 14) { goto __ats_lab_31_0 ; }
__ats_lab_30_1:
tmp126 = ats_caselptrlab_mac(anairiats_sum_1, tmp59, atslab_0) ;
tmp127 = ats_caselptrlab_mac(anairiats_sum_1, tmp59, atslab_1) ;
/* tmp128 = */ atspre_fprint_string (arg0, ATSstrcst("P2Trefas(")) ;
/* tmp129 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2var (arg0, tmp126) ;
/* tmp130 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp131 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_p2at (arg0, tmp127) ;
/* tmp58 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_31 */
__ats_lab_31_0:
if (((ats_sum_ptr_type)tmp59)->tag != 15) { goto __ats_lab_32_0 ; }
__ats_lab_31_1:
tmp132 = ats_caselptrlab_mac(anairiats_sum_1, tmp59, atslab_0) ;
tmp133 = ats_caselptrlab_mac(anairiats_sum_1, tmp59, atslab_1) ;
/* tmp134 = */ atspre_fprint_string (arg0, ATSstrcst("P2Texist(")) ;
/* tmp135 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp2_2esats__fprint_s2varlst (arg0, tmp132) ;
/* tmp136 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp137 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_p2at (arg0, tmp133) ;
/* tmp58 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_32 */
__ats_lab_32_0:
if (((ats_sum_ptr_type)tmp59)->tag != 16) { goto __ats_lab_33_0 ; }
__ats_lab_32_1:
tmp138 = ats_caselptrlab_mac(anairiats_sum_0, tmp59, atslab_0) ;
/* tmp139 = */ atspre_fprint_string (arg0, ATSstrcst("P2Tvbox(")) ;
/* tmp140 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2var (arg0, tmp138) ;
/* tmp58 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_33 */
__ats_lab_33_0:
if (((ats_sum_ptr_type)tmp59)->tag != 17) { goto __ats_lab_34_0 ; }
__ats_lab_33_1:
tmp141 = ats_caselptrlab_mac(anairiats_sum_1, tmp59, atslab_0) ;
tmp142 = ats_caselptrlab_mac(anairiats_sum_1, tmp59, atslab_1) ;
/* tmp143 = */ atspre_fprint_string (arg0, ATSstrcst("P2Tann(")) ;
/* tmp144 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_p2at (arg0, tmp141) ;
/* tmp145 = */ atspre_fprint_string (arg0, ATSstrcst(", ")) ;
/* tmp146 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp2_2esats__fprint_s2exp (arg0, tmp142) ;
/* tmp58 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_34 */
__ats_lab_34_0:
// if (((ats_sum_ptr_type)tmp59)->tag != 19) { ats_deadcode_failure_handle () ; }
__ats_lab_34_1:
/* tmp58 = */ atspre_fprint_string (arg0, ATSstrcst("P2Terrpat()")) ;
break ;
} while (0) ;
return /* (tmp58) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_p2at] */

/*
// /tmp/ATS-Postiats/src/pats_dynexp2_print.dats: 7910(line=340, offs=12) -- 7943(line=340, offs=45)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__print_p2at (ats_ptr_type arg0) {
/* local vardec */
// ATSlocal_void (tmp147) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__print_p2at:
/* tmp147 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_p2at (stdout, arg0) ;
return /* (tmp147) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__print_p2at] */

/*
// /tmp/ATS-Postiats/src/pats_dynexp2_print.dats: 7965(line=342, offs=12) -- 7998(line=342, offs=45)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__prerr_p2at (ats_ptr_type arg0) {
/* local vardec */
// ATSlocal_void (tmp148) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__prerr_p2at:
/* tmp148 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_p2at (stderr, arg0) ;
return /* (tmp148) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__prerr_p2at] */

/*
// /tmp/ATS-Postiats/src/pats_dynexp2_print.dats: 8050(line=348, offs=3) -- 8104(line=348, offs=57)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_p2atlst (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp149) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_p2atlst:
/* tmp149 = */ fprintlst_01696_ats_ptr_type (arg0, arg1, ATSstrcst(", "), &_2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_p2at) ;
return /* (tmp149) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_p2atlst] */

/*
// /tmp/ATS-Postiats/src/pats_dynexp2_print.dats: 8159(line=352, offs=15) -- 8197(line=352, offs=53)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__print_p2atlst (ats_ptr_type arg0) {
/* local vardec */
// ATSlocal_void (tmp150) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__print_p2atlst:
/* tmp150 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_p2atlst (stdout, arg0) ;
return /* (tmp150) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__print_p2atlst] */

/*
// /tmp/ATS-Postiats/src/pats_dynexp2_print.dats: 8222(line=354, offs=15) -- 8260(line=354, offs=53)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__prerr_p2atlst (ats_ptr_type arg0) {
/* local vardec */
// ATSlocal_void (tmp151) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__prerr_p2atlst:
/* tmp151 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_p2atlst (stderr, arg0) ;
return /* (tmp151) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__prerr_p2atlst] */

/*
// /tmp/ATS-Postiats/src/pats_dynexp2_print.dats: 8312(line=360, offs=3) -- 8567(line=366, offs=52)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_labp2at (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp152) ;
ATSlocal (ats_ptr_type, tmp153) ;
ATSlocal (ats_ptr_type, tmp154) ;
// ATSlocal_void (tmp155) ;
// ATSlocal_void (tmp156) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_labp2at:
do {
/* branch: __ats_lab_35 */
__ats_lab_35_0:
if (((ats_sum_ptr_type)arg1)->tag != 1) { goto __ats_lab_36_0 ; }
__ats_lab_35_1:
tmp153 = ats_caselptrlab_mac(anairiats_sum_1, arg1, atslab_0) ;
tmp154 = ats_caselptrlab_mac(anairiats_sum_1, arg1, atslab_1) ;
/* tmp155 = */ _2tmp_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_l0ab (arg0, tmp153) ;
/* tmp156 = */ atspre_fprint_string (arg0, ATSstrcst("=")) ;
/* tmp152 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_p2at (arg0, tmp154) ;
break ;

/* branch: __ats_lab_36 */
__ats_lab_36_0:
// if (((ats_sum_ptr_type)arg1)->tag != 0) { ats_deadcode_failure_handle () ; }
__ats_lab_36_1:
/* tmp152 = */ atspre_fprint_string (arg0, ATSstrcst("...")) ;
break ;
} while (0) ;
return /* (tmp152) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_labp2at] */

/*
// /tmp/ATS-Postiats/src/pats_dynexp2_print.dats: 8626(line=371, offs=3) -- 8683(line=371, offs=60)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_labp2atlst (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp157) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_labp2atlst:
/* tmp157 = */ fprintlst_01696_ats_ptr_type (arg0, arg1, ATSstrcst(", "), &_2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_labp2at) ;
return /* (tmp157) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_labp2atlst] */

/*
// /tmp/ATS-Postiats/src/pats_dynexp2_print.dats: 8758(line=378, offs=3) -- 21797(line=904, offs=4)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2exp (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp158) ;
ATSlocal (ats_ptr_type, tmp159) ;
ATSlocal (ats_ptr_type, tmp160) ;
// ATSlocal_void (tmp161) ;
// ATSlocal_void (tmp162) ;
ATSlocal (ats_ptr_type, tmp163) ;
// ATSlocal_void (tmp164) ;
// ATSlocal_void (tmp165) ;
ATSlocal (ats_int_type, tmp166) ;
// ATSlocal_void (tmp167) ;
// ATSlocal_void (tmp168) ;
ATSlocal (ats_ptr_type, tmp169) ;
// ATSlocal_void (tmp170) ;
// ATSlocal_void (tmp171) ;
ATSlocal (ats_bool_type, tmp172) ;
// ATSlocal_void (tmp173) ;
// ATSlocal_void (tmp174) ;
ATSlocal (ats_char_type, tmp175) ;
// ATSlocal_void (tmp176) ;
// ATSlocal_void (tmp177) ;
ATSlocal (ats_ptr_type, tmp178) ;
// ATSlocal_void (tmp179) ;
// ATSlocal_void (tmp180) ;
ATSlocal (ats_ptr_type, tmp181) ;
// ATSlocal_void (tmp182) ;
// ATSlocal_void (tmp183) ;
ATSlocal (ats_ptr_type, tmp184) ;
ATSlocal (ats_ptr_type, tmp185) ;
ATSlocal (ats_ptr_type, tmp186) ;
// ATSlocal_void (tmp187) ;
// ATSlocal_void (tmp188) ;
ATSlocal (ats_ptr_type, tmp189) ;
ATSlocal (ats_ptr_type, tmp190) ;
ATSlocal (ats_char_type, tmp191) ;
// ATSlocal_void (tmp192) ;
// ATSlocal_void (tmp193) ;
ATSlocal (ats_ptr_type, tmp194) ;
ATSlocal (ats_ptr_type, tmp195) ;
ATSlocal (ats_ptr_type, tmp196) ;
// ATSlocal_void (tmp197) ;
// ATSlocal_void (tmp198) ;
ATSlocal (ats_ptr_type, tmp199) ;
ATSlocal (ats_ptr_type, tmp200) ;
ATSlocal (ats_ptr_type, tmp201) ;
// ATSlocal_void (tmp202) ;
// ATSlocal_void (tmp203) ;
ATSlocal (ats_ptr_type, tmp204) ;
// ATSlocal_void (tmp205) ;
// ATSlocal_void (tmp206) ;
ATSlocal (ats_ptr_type, tmp207) ;
// ATSlocal_void (tmp208) ;
// ATSlocal_void (tmp209) ;
ATSlocal (ats_ptr_type, tmp210) ;
// ATSlocal_void (tmp211) ;
// ATSlocal_void (tmp212) ;
ATSlocal (ats_ptr_type, tmp213) ;
// ATSlocal_void (tmp214) ;
// ATSlocal_void (tmp215) ;
ATSlocal (ats_ptr_type, tmp216) ;
ATSlocal (ats_ptr_type, tmp217) ;
// ATSlocal_void (tmp218) ;
// ATSlocal_void (tmp219) ;
// ATSlocal_void (tmp220) ;
// ATSlocal_void (tmp221) ;
// ATSlocal_void (tmp222) ;
// ATSlocal_void (tmp223) ;
ATSlocal (ats_ptr_type, tmp224) ;
ATSlocal (ats_ptr_type, tmp225) ;
ATSlocal (ats_ptr_type, tmp226) ;
// ATSlocal_void (tmp227) ;
// ATSlocal_void (tmp228) ;
// ATSlocal_void (tmp229) ;
// ATSlocal_void (tmp230) ;
// ATSlocal_void (tmp231) ;
// ATSlocal_void (tmp232) ;
// ATSlocal_void (tmp233) ;
// ATSlocal_void (tmp234) ;
ATSlocal (ats_ptr_type, tmp235) ;
ATSlocal (ats_ptr_type, tmp236) ;
ATSlocal (ats_ptr_type, tmp237) ;
ATSlocal (ats_ptr_type, tmp238) ;
// ATSlocal_void (tmp239) ;
// ATSlocal_void (tmp240) ;
// ATSlocal_void (tmp241) ;
// ATSlocal_void (tmp242) ;
// ATSlocal_void (tmp243) ;
// ATSlocal_void (tmp244) ;
// ATSlocal_void (tmp245) ;
// ATSlocal_void (tmp246) ;
// ATSlocal_void (tmp247) ;
// ATSlocal_void (tmp248) ;
ATSlocal (ats_int_type, tmp249) ;
// ATSlocal_void (tmp250) ;
// ATSlocal_void (tmp251) ;
ATSlocal (ats_ptr_type, tmp252) ;
ATSlocal (ats_ptr_type, tmp253) ;
ATSlocal (ats_int_type, tmp254) ;
ATSlocal (ats_ptr_type, 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 (ats_ptr_type, tmp264) ;
// ATSlocal_void (tmp265) ;
// ATSlocal_void (tmp266) ;
ATSlocal (ats_ptr_type, tmp267) ;
ATSlocal (ats_ptr_type, tmp268) ;
// ATSlocal_void (tmp269) ;
// ATSlocal_void (tmp270) ;
// ATSlocal_void (tmp271) ;
// ATSlocal_void (tmp272) ;
ATSlocal (ats_ptr_type, tmp273) ;
ATSlocal (ats_ptr_type, tmp274) ;
// ATSlocal_void (tmp275) ;
// ATSlocal_void (tmp276) ;
// ATSlocal_void (tmp277) ;
// ATSlocal_void (tmp278) ;
ATSlocal (ats_ptr_type, tmp279) ;
ATSlocal (ats_ptr_type, tmp280) ;
// ATSlocal_void (tmp281) ;
// ATSlocal_void (tmp282) ;
// ATSlocal_void (tmp283) ;
// ATSlocal_void (tmp284) ;
ATSlocal (ats_ptr_type, tmp285) ;
ATSlocal (ats_ptr_type, tmp286) ;
// ATSlocal_void (tmp287) ;
// ATSlocal_void (tmp288) ;
// ATSlocal_void (tmp289) ;
// ATSlocal_void (tmp290) ;
ATSlocal (ats_ptr_type, tmp291) ;
ATSlocal (ats_ptr_type, tmp292) ;
// ATSlocal_void (tmp293) ;
// ATSlocal_void (tmp294) ;
// ATSlocal_void (tmp295) ;
// ATSlocal_void (tmp296) ;
ATSlocal (ats_ptr_type, tmp297) ;
ATSlocal (ats_ptr_type, tmp298) ;
// ATSlocal_void (tmp299) ;
// ATSlocal_void (tmp300) ;
// ATSlocal_void (tmp301) ;
// ATSlocal_void (tmp302) ;
ATSlocal (ats_ptr_type, tmp303) ;
ATSlocal (ats_ptr_type, tmp304) ;
ATSlocal (ats_ptr_type, tmp305) ;
// ATSlocal_void (tmp306) ;
// ATSlocal_void (tmp307) ;
// ATSlocal_void (tmp308) ;
// ATSlocal_void (tmp309) ;
// ATSlocal_void (tmp310) ;
// ATSlocal_void (tmp311) ;
ATSlocal (ats_ptr_type, tmp312) ;
ATSlocal (ats_ptr_type, tmp313) ;
ATSlocal (ats_ptr_type, tmp314) ;
// ATSlocal_void (tmp315) ;
// ATSlocal_void (tmp316) ;
// ATSlocal_void (tmp317) ;
// ATSlocal_void (tmp318) ;
// ATSlocal_void (tmp319) ;
// ATSlocal_void (tmp320) ;
// ATSlocal_void (tmp321) ;
// ATSlocal_void (tmp322) ;
// ATSlocal_void (tmp323) ;
// ATSlocal_void (tmp324) ;
// ATSlocal_void (tmp325) ;
// ATSlocal_void (tmp326) ;
ATSlocal (ats_ptr_type, tmp327) ;
// ATSlocal_void (tmp328) ;
// ATSlocal_void (tmp329) ;
ATSlocal (ats_int_type, tmp330) ;
ATSlocal (ats_ptr_type, tmp331) ;
// ATSlocal_void (tmp332) ;
// ATSlocal_void (tmp333) ;
// ATSlocal_void (tmp334) ;
// ATSlocal_void (tmp335) ;
ATSlocal (ats_ptr_type, tmp336) ;
ATSlocal (ats_ptr_type, tmp337) ;
// ATSlocal_void (tmp338) ;
// ATSlocal_void (tmp339) ;
// ATSlocal_void (tmp340) ;
// ATSlocal_void (tmp341) ;
ATSlocal (ats_int_type, tmp342) ;
ATSlocal (ats_int_type, tmp343) ;
ATSlocal (ats_ptr_type, tmp344) ;
// ATSlocal_void (tmp345) ;
// ATSlocal_void (tmp346) ;
// ATSlocal_void (tmp347) ;
// ATSlocal_void (tmp348) ;
// ATSlocal_void (tmp349) ;
// ATSlocal_void (tmp350) ;
ATSlocal (ats_int_type, tmp351) ;
ATSlocal (ats_int_type, tmp352) ;
ATSlocal (ats_ptr_type, tmp353) ;
// ATSlocal_void (tmp354) ;
// ATSlocal_void (tmp355) ;
// ATSlocal_void (tmp356) ;
// ATSlocal_void (tmp357) ;
// ATSlocal_void (tmp358) ;
// ATSlocal_void (tmp359) ;
ATSlocal (ats_ptr_type, tmp360) ;
// ATSlocal_void (tmp361) ;
// ATSlocal_void (tmp362) ;
ATSlocal (ats_ptr_type, 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_void (tmp373) ;
// ATSlocal_void (tmp374) ;
ATSlocal (ats_int_type, tmp375) ;
ATSlocal (ats_ptr_type, tmp376) ;
// ATSlocal_void (tmp377) ;
// ATSlocal_void (tmp378) ;
// ATSlocal_void (tmp379) ;
// ATSlocal_void (tmp380) ;
ATSlocal (ats_ptr_type, tmp381) ;
// ATSlocal_void (tmp382) ;
// ATSlocal_void (tmp383) ;
ATSlocal (ats_ptr_type, tmp384) ;
// ATSlocal_void (tmp385) ;
// ATSlocal_void (tmp386) ;
ATSlocal (ats_ptr_type, tmp387) ;
ATSlocal (ats_ptr_type, tmp388) ;
// ATSlocal_void (tmp389) ;
// ATSlocal_void (tmp390) ;
// ATSlocal_void (tmp391) ;
// ATSlocal_void (tmp392) ;
ATSlocal (ats_ptr_type, 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) ;
ATSlocal (ats_ptr_type, tmp402) ;
ATSlocal (ats_ptr_type, tmp403) ;
// ATSlocal_void (tmp404) ;
// ATSlocal_void (tmp405) ;
// ATSlocal_void (tmp406) ;
// ATSlocal_void (tmp407) ;
ATSlocal (ats_ptr_type, tmp408) ;
ATSlocal (ats_ptr_type, tmp409) ;
// ATSlocal_void (tmp410) ;
// ATSlocal_void (tmp411) ;
// ATSlocal_void (tmp412) ;
// ATSlocal_void (tmp413) ;
// ATSlocal_void (tmp414) ;
// ATSlocal_void (tmp415) ;
// ATSlocal_void (tmp416) ;
// ATSlocal_void (tmp417) ;
// ATSlocal_void (tmp418) ;
// ATSlocal_void (tmp419) ;
ATSlocal (ats_ptr_type, tmp420) ;
ATSlocal (ats_ptr_type, tmp421) ;
// ATSlocal_void (tmp422) ;
// ATSlocal_void (tmp423) ;
// ATSlocal_void (tmp424) ;
// ATSlocal_void (tmp425) ;
ATSlocal (ats_int_type, tmp426) ;
ATSlocal (ats_int_type, tmp427) ;
ATSlocal (ats_ptr_type, tmp428) ;
ATSlocal (ats_ptr_type, tmp429) ;
// ATSlocal_void (tmp430) ;
// ATSlocal_void (tmp431) ;
// ATSlocal_void (tmp432) ;
// ATSlocal_void (tmp433) ;
// ATSlocal_void (tmp434) ;
// ATSlocal_void (tmp435) ;
// ATSlocal_void (tmp436) ;
// ATSlocal_void (tmp437) ;
ATSlocal (ats_int_type, tmp438) ;
ATSlocal (ats_int_type, tmp439) ;
ATSlocal (ats_ptr_type, tmp440) ;
ATSlocal (ats_ptr_type, tmp441) ;
// ATSlocal_void (tmp442) ;
// ATSlocal_void (tmp443) ;
// ATSlocal_void (tmp444) ;
// ATSlocal_void (tmp445) ;
// ATSlocal_void (tmp446) ;
// ATSlocal_void (tmp447) ;
// ATSlocal_void (tmp448) ;
// ATSlocal_void (tmp449) ;
ATSlocal (ats_ptr_type, tmp450) ;
ATSlocal (ats_ptr_type, tmp451) ;
ATSlocal (ats_ptr_type, tmp452) ;
// ATSlocal_void (tmp453) ;
// ATSlocal_void (tmp454) ;
// ATSlocal_void (tmp455) ;
// ATSlocal_void (tmp456) ;
// ATSlocal_void (tmp457) ;
// ATSlocal_void (tmp458) ;
// ATSlocal_void (tmp459) ;
// ATSlocal_void (tmp460) ;
// ATSlocal_void (tmp461) ;
// ATSlocal_void (tmp462) ;
ATSlocal (ats_ptr_type, tmp463) ;
// ATSlocal_void (tmp464) ;
// ATSlocal_void (tmp465) ;
ATSlocal (ats_ptr_type, tmp466) ;
ATSlocal (ats_ptr_type, tmp467) ;
// ATSlocal_void (tmp468) ;
// ATSlocal_void (tmp469) ;
// ATSlocal_void (tmp470) ;
// ATSlocal_void (tmp471) ;
ATSlocal (ats_ptr_type, tmp472) ;
ATSlocal (ats_ptr_type, tmp473) ;
ATSlocal (ats_ptr_type, tmp474) ;
ATSlocal (ats_ptr_type, tmp475) ;
ATSlocal (ats_ptr_type, tmp476) ;
// ATSlocal_void (tmp477) ;
// ATSlocal_void (tmp478) ;
// ATSlocal_void (tmp479) ;
// ATSlocal_void (tmp480) ;
// ATSlocal_void (tmp481) ;
// ATSlocal_void (tmp482) ;
// ATSlocal_void (tmp483) ;
// ATSlocal_void (tmp484) ;
// ATSlocal_void (tmp485) ;
// ATSlocal_void (tmp486) ;
ATSlocal (ats_ptr_type, tmp487) ;
ATSlocal (ats_ptr_type, tmp488) ;
ATSlocal (ats_ptr_type, tmp489) ;
// ATSlocal_void (tmp490) ;
// ATSlocal_void (tmp491) ;
// ATSlocal_void (tmp492) ;
// ATSlocal_void (tmp493) ;
// ATSlocal_void (tmp494) ;
// ATSlocal_void (tmp495) ;
// ATSlocal_void (tmp496) ;
// ATSlocal_void (tmp497) ;
ATSlocal (ats_ptr_type, tmp498) ;
ATSlocal (ats_ptr_type, tmp499) ;
// ATSlocal_void (tmp500) ;
// ATSlocal_void (tmp501) ;
// ATSlocal_void (tmp502) ;
// ATSlocal_void (tmp503) ;
ATSlocal (ats_ptr_type, tmp504) ;
ATSlocal (ats_ptr_type, tmp505) ;
// ATSlocal_void (tmp506) ;
// ATSlocal_void (tmp507) ;
// ATSlocal_void (tmp508) ;
// ATSlocal_void (tmp509) ;
ATSlocal (ats_ptr_type, tmp510) ;
ATSlocal (ats_ptr_type, tmp511) ;
// ATSlocal_void (tmp512) ;
// ATSlocal_void (tmp513) ;
// ATSlocal_void (tmp514) ;
// ATSlocal_void (tmp515) ;
ATSlocal (ats_ptr_type, tmp516) ;
// ATSlocal_void (tmp517) ;
// ATSlocal_void (tmp518) ;
ATSlocal (ats_ptr_type, tmp519) ;
ATSlocal (ats_ptr_type, tmp520) ;
// ATSlocal_void (tmp521) ;
// ATSlocal_void (tmp522) ;
// ATSlocal_void (tmp523) ;
// ATSlocal_void (tmp524) ;
ATSlocal (ats_ptr_type, tmp525) ;
ATSlocal (ats_ptr_type, tmp526) ;
// ATSlocal_void (tmp527) ;
// ATSlocal_void (tmp528) ;
// ATSlocal_void (tmp529) ;
// ATSlocal_void (tmp530) ;
ATSlocal (ats_ptr_type, tmp531) ;
// ATSlocal_void (tmp532) ;
// ATSlocal_void (tmp533) ;
ATSlocal (ats_ptr_type, tmp534) ;
// ATSlocal_void (tmp535) ;
// ATSlocal_void (tmp536) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2exp:
tmp159 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_13, arg1), atslab_d2exp_node) ;
do {
/* branch: __ats_lab_37 */
__ats_lab_37_0:
if (((ats_sum_ptr_type)tmp159)->tag != 0) { goto __ats_lab_38_0 ; }
__ats_lab_37_1:
tmp160 = ats_caselptrlab_mac(anairiats_sum_0, tmp159, atslab_0) ;
/* tmp161 = */ atspre_fprint_string (arg0, ATSstrcst("D2Ecst(")) ;
/* tmp162 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2cst (arg0, tmp160) ;
/* tmp158 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_38 */
__ats_lab_38_0:
if (((ats_sum_ptr_type)tmp159)->tag != 1) { goto __ats_lab_39_0 ; }
__ats_lab_38_1:
tmp163 = ats_caselptrlab_mac(anairiats_sum_0, tmp159, atslab_0) ;
/* tmp164 = */ atspre_fprint_string (arg0, ATSstrcst("D2Evar(")) ;
/* tmp165 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2var (arg0, tmp163) ;
/* tmp158 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_39 */
__ats_lab_39_0:
if (((ats_sum_ptr_type)tmp159)->tag != 2) { goto __ats_lab_40_0 ; }
__ats_lab_39_1:
tmp166 = ats_caselptrlab_mac(anairiats_sum_8, tmp159, atslab_0) ;
/* tmp167 = */ atspre_fprint_string (arg0, ATSstrcst("D2Eint(")) ;
/* tmp168 = */ atspre_fprint_int (arg0, tmp166) ;
/* tmp158 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_40 */
__ats_lab_40_0:
if (((ats_sum_ptr_type)tmp159)->tag != 3) { goto __ats_lab_41_0 ; }
__ats_lab_40_1:
tmp169 = ats_caselptrlab_mac(anairiats_sum_0, tmp159, atslab_0) ;
/* tmp170 = */ atspre_fprint_string (arg0, ATSstrcst("D2Eintrep(")) ;
/* tmp171 = */ atspre_fprint_string (arg0, tmp169) ;
/* tmp158 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_41 */
__ats_lab_41_0:
if (((ats_sum_ptr_type)tmp159)->tag != 4) { goto __ats_lab_42_0 ; }
__ats_lab_41_1:
tmp172 = ats_caselptrlab_mac(anairiats_sum_7, tmp159, atslab_0) ;
/* tmp173 = */ atspre_fprint_string (arg0, ATSstrcst("D2Ebool(")) ;
/* tmp174 = */ atspre_fprint_bool (arg0, tmp172) ;
/* tmp158 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_42 */
__ats_lab_42_0:
if (((ats_sum_ptr_type)tmp159)->tag != 5) { goto __ats_lab_43_0 ; }
__ats_lab_42_1:
tmp175 = ats_caselptrlab_mac(anairiats_sum_9, tmp159, atslab_0) ;
/* tmp176 = */ atspre_fprint_string (arg0, ATSstrcst("D2Echar(")) ;
/* tmp177 = */ atspre_fprint_char (arg0, tmp175) ;
/* tmp158 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_43 */
__ats_lab_43_0:
if (((ats_sum_ptr_type)tmp159)->tag != 6) { goto __ats_lab_44_0 ; }
__ats_lab_43_1:
tmp178 = ats_caselptrlab_mac(anairiats_sum_0, tmp159, atslab_0) ;
/* tmp179 = */ atspre_fprint_string (arg0, ATSstrcst("D2Efloat(")) ;
/* tmp180 = */ atspre_fprint_string (arg0, tmp178) ;
/* tmp158 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_44 */
__ats_lab_44_0:
if (((ats_sum_ptr_type)tmp159)->tag != 7) { goto __ats_lab_45_0 ; }
__ats_lab_44_1:
tmp181 = ats_caselptrlab_mac(anairiats_sum_0, tmp159, atslab_0) ;
/* tmp182 = */ atspre_fprint_string (arg0, ATSstrcst("D2Estring(")) ;
/* tmp183 = */ atspre_fprint_string (arg0, tmp181) ;
/* tmp158 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_45 */
__ats_lab_45_0:
if (((ats_sum_ptr_type)tmp159)->tag != 8) { goto __ats_lab_46_0 ; }
__ats_lab_45_1:
tmp184 = ats_caselptrlab_mac(anairiats_sum_0, tmp159, atslab_0) ;
tmp185 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_14, tmp184), atslab_token_node) ;
if (((ats_sum_ptr_type)tmp185)->tag != 150) { ats_caseof_failure_handle ("/tmp/ATS-Postiats/src/pats_dynexp2_print.dats: 9748(line=422, offs=5) -- 9813(line=425, offs=23)") ; }
tmp186 = ats_caselptrlab_mac(anairiats_sum_15, tmp185, atslab_1) ;
/* tmp187 = */ atspre_fprint_string (arg0, ATSstrcst("D2Ei0nt(")) ;
/* tmp188 = */ atspre_fprint_string (arg0, tmp186) ;
/* tmp158 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_46 */
__ats_lab_46_0:
if (((ats_sum_ptr_type)tmp159)->tag != 9) { goto __ats_lab_47_0 ; }
__ats_lab_46_1:
tmp189 = ats_caselptrlab_mac(anairiats_sum_0, tmp159, atslab_0) ;
tmp190 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_14, tmp189), atslab_token_node) ;
if (((ats_sum_ptr_type)tmp190)->tag != 151) { ats_caseof_failure_handle ("/tmp/ATS-Postiats/src/pats_dynexp2_print.dats: 9938(line=432, offs=5) -- 9966(line=432, offs=33)") ; }
tmp191 = ats_caselptrlab_mac(anairiats_sum_9, tmp190, atslab_0) ;
/* tmp192 = */ atspre_fprint_string (arg0, ATSstrcst("D2Ec0har(")) ;
/* tmp193 = */ atspre_fprint_char (arg0, tmp191) ;
/* tmp158 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_47 */
__ats_lab_47_0:
if (((ats_sum_ptr_type)tmp159)->tag != 10) { goto __ats_lab_48_0 ; }
__ats_lab_47_1:
tmp194 = ats_caselptrlab_mac(anairiats_sum_0, tmp159, atslab_0) ;
tmp195 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_14, tmp194), atslab_token_node) ;
if (((ats_sum_ptr_type)tmp195)->tag != 152) { ats_caseof_failure_handle ("/tmp/ATS-Postiats/src/pats_dynexp2_print.dats: 10085(line=438, offs=5) -- 10152(line=441, offs=23)") ; }
tmp196 = ats_caselptrlab_mac(anairiats_sum_15, tmp195, atslab_1) ;
/* tmp197 = */ atspre_fprint_string (arg0, ATSstrcst("D2Ef0loat(")) ;
/* tmp198 = */ atspre_fprint_string (arg0, tmp196) ;
/* tmp158 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_48 */
__ats_lab_48_0:
if (((ats_sum_ptr_type)tmp159)->tag != 11) { goto __ats_lab_49_0 ; }
__ats_lab_48_1:
tmp199 = ats_caselptrlab_mac(anairiats_sum_0, tmp159, atslab_0) ;
tmp200 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_14, tmp199), atslab_token_node) ;
if (((ats_sum_ptr_type)tmp200)->tag != 154) { ats_caseof_failure_handle ("/tmp/ATS-Postiats/src/pats_dynexp2_print.dats: 10282(line=447, offs=5) -- 10312(line=447, offs=35)") ; }
tmp201 = ats_caselptrlab_mac(anairiats_sum_0, tmp200, atslab_0) ;
/* tmp202 = */ atspre_fprint_string (arg0, ATSstrcst("D2Es0tring(")) ;
/* tmp203 = */ atspre_fprint_string (arg0, tmp201) ;
/* tmp158 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_49 */
__ats_lab_49_0:
if (((ats_sum_ptr_type)tmp159)->tag != 15) { goto __ats_lab_50_0 ; }
__ats_lab_49_1:
tmp204 = ats_caselptrlab_mac(anairiats_sum_0, tmp159, atslab_0) ;
/* tmp205 = */ atspre_fprint_string (arg0, ATSstrcst("D2Ecstsp(")) ;
/* tmp206 = */ _2tmp_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_cstsp (arg0, tmp204) ;
/* tmp158 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_50 */
__ats_lab_50_0:
if (((ats_sum_ptr_type)tmp159)->tag != 16) { goto __ats_lab_51_0 ; }
__ats_lab_50_1:
tmp207 = ats_caselptrlab_mac(anairiats_sum_0, tmp159, atslab_0) ;
/* tmp208 = */ atspre_fprint_string (arg0, ATSstrcst("D2Etyrep(")) ;
/* tmp209 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp2_2esats__fprint_s2exp (arg0, tmp207) ;
/* tmp158 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_51 */
__ats_lab_51_0:
if (((ats_sum_ptr_type)tmp159)->tag != 17) { goto __ats_lab_52_0 ; }
__ats_lab_51_1:
tmp210 = ats_caselptrlab_mac(anairiats_sum_0, tmp159, atslab_0) ;
/* tmp211 = */ atspre_fprint_string (arg0, ATSstrcst("D2Eliteral(")) ;
/* tmp212 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2exp (arg0, tmp210) ;
/* tmp158 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_52 */
__ats_lab_52_0:
if (((ats_sum_ptr_type)tmp159)->tag != 12) { goto __ats_lab_53_0 ; }
__ats_lab_52_1:
/* tmp158 = */ atspre_fprint_string (arg0, ATSstrcst("D2Etop()")) ;
break ;

/* branch: __ats_lab_53 */
__ats_lab_53_0:
if (((ats_sum_ptr_type)tmp159)->tag != 13) { goto __ats_lab_54_0 ; }
__ats_lab_53_1:
tmp213 = ats_caselptrlab_mac(anairiats_sum_0, tmp159, atslab_0) ;
/* tmp214 = */ atspre_fprint_string (arg0, ATSstrcst("D2Etop2(")) ;
/* tmp215 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp2_2esats__fprint_s2exp (arg0, tmp213) ;
/* tmp158 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_54 */
__ats_lab_54_0:
if (((ats_sum_ptr_type)tmp159)->tag != 14) { goto __ats_lab_55_0 ; }
__ats_lab_54_1:
/* tmp158 = */ atspre_fprint_string (arg0, ATSstrcst("D2Eempty()")) ;
break ;

/* branch: __ats_lab_55 */
__ats_lab_55_0:
if (((ats_sum_ptr_type)tmp159)->tag != 18) { goto __ats_lab_56_0 ; }
__ats_lab_55_1:
tmp216 = ats_caselptrlab_mac(anairiats_sum_1, tmp159, atslab_0) ;
tmp217 = ats_caselptrlab_mac(anairiats_sum_1, tmp159, atslab_1) ;
/* tmp218 = */ atspre_fprint_string (arg0, ATSstrcst("D2Eextval(")) ;
/* tmp219 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp2_2esats__fprint_s2exp (arg0, tmp216) ;
/* tmp220 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp221 = */ atspre_fprint_string (arg0, ATSstrcst("\"")) ;
/* tmp222 = */ atspre_fprint_string (arg0, tmp217) ;
/* tmp223 = */ atspre_fprint_string (arg0, ATSstrcst("\"")) ;
/* tmp158 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_56 */
__ats_lab_56_0:
if (((ats_sum_ptr_type)tmp159)->tag != 19) { goto __ats_lab_57_0 ; }
__ats_lab_56_1:
tmp224 = ats_caselptrlab_mac(anairiats_sum_16, tmp159, atslab_0) ;
tmp225 = ats_caselptrlab_mac(anairiats_sum_16, tmp159, atslab_1) ;
tmp226 = ats_caselptrlab_mac(anairiats_sum_16, tmp159, atslab_2) ;
/* tmp227 = */ atspre_fprint_string (arg0, ATSstrcst("D2Eextfcall(")) ;
/* tmp228 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp2_2esats__fprint_s2exp (arg0, tmp224) ;
/* tmp229 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp230 = */ atspre_fprint_string (arg0, ATSstrcst("\"")) ;
/* tmp231 = */ atspre_fprint_string (arg0, tmp225) ;
/* tmp232 = */ atspre_fprint_string (arg0, ATSstrcst("\"")) ;
/* tmp233 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp234 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2explst (arg0, tmp226) ;
/* tmp158 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_57 */
__ats_lab_57_0:
if (((ats_sum_ptr_type)tmp159)->tag != 20) { goto __ats_lab_58_0 ; }
__ats_lab_57_1:
tmp235 = ats_caselptrlab_mac(anairiats_sum_17, tmp159, atslab_0) ;
tmp236 = ats_caselptrlab_mac(anairiats_sum_17, tmp159, atslab_1) ;
tmp237 = ats_caselptrlab_mac(anairiats_sum_17, tmp159, atslab_2) ;
tmp238 = ats_caselptrlab_mac(anairiats_sum_17, tmp159, atslab_3) ;
/* tmp239 = */ atspre_fprint_string (arg0, ATSstrcst("D2Eextmcall(")) ;
/* tmp240 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp2_2esats__fprint_s2exp (arg0, tmp235) ;
/* tmp241 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp242 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2exp (arg0, tmp236) ;
/* tmp243 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp244 = */ atspre_fprint_string (arg0, ATSstrcst("\"")) ;
/* tmp245 = */ atspre_fprint_string (arg0, tmp237) ;
/* tmp246 = */ atspre_fprint_string (arg0, ATSstrcst("\"")) ;
/* tmp247 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp248 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2explst (arg0, tmp238) ;
/* tmp158 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_58 */
__ats_lab_58_0:
if (((ats_sum_ptr_type)tmp159)->tag != 65) { goto __ats_lab_59_0 ; }
__ats_lab_58_1:
tmp249 = ats_caselptrlab_mac(anairiats_sum_8, tmp159, atslab_0) ;
/* tmp250 = */ atspre_fprint_string (arg0, ATSstrcst("D2Eloopexn(")) ;
/* tmp251 = */ atspre_fprint_int (arg0, tmp249) ;
/* tmp158 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_59 */
__ats_lab_59_0:
if (((ats_sum_ptr_type)tmp159)->tag != 21) { goto __ats_lab_60_0 ; }
__ats_lab_59_1:
tmp252 = ats_caselptrlab_mac(anairiats_sum_18, tmp159, atslab_0) ;
tmp253 = ats_caselptrlab_mac(anairiats_sum_18, tmp159, atslab_2) ;
tmp254 = ats_caselptrlab_mac(anairiats_sum_18, tmp159, atslab_3) ;
tmp255 = ats_caselptrlab_mac(anairiats_sum_18, tmp159, atslab_5) ;
/* tmp256 = */ atspre_fprint_string (arg0, ATSstrcst("D2Econ(")) ;
/* tmp257 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp2_2esats__fprint_d2con (arg0, tmp252) ;
/* tmp258 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp259 = */ fprintlst_01696_ats_ptr_type (arg0, tmp253, ATSstrcst(", "), &_2tmp_2ATS_2dPostiats_2src_2pats_staexp2_2esats__fprint_s2exparg) ;
/* tmp260 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp261 = */ atspre_fprint_int (arg0, tmp254) ;
/* tmp262 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp263 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2explst (arg0, tmp255) ;
/* tmp158 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_60 */
__ats_lab_60_0:
if (((ats_sum_ptr_type)tmp159)->tag != 22) { goto __ats_lab_61_0 ; }
__ats_lab_60_1:
tmp264 = ats_caselptrlab_mac(anairiats_sum_0, tmp159, atslab_0) ;
/* tmp265 = */ atspre_fprint_string (arg0, ATSstrcst("D2Esym(")) ;
/* tmp266 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2sym (arg0, tmp264) ;
/* tmp158 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_61 */
__ats_lab_61_0:
if (((ats_sum_ptr_type)tmp159)->tag != 23) { goto __ats_lab_62_0 ; }
__ats_lab_61_1:
tmp267 = ats_caselptrlab_mac(anairiats_sum_1, tmp159, atslab_0) ;
tmp268 = ats_caselptrlab_mac(anairiats_sum_1, tmp159, atslab_1) ;
/* tmp269 = */ atspre_fprint_string (arg0, ATSstrcst("D2Efoldat(")) ;
/* tmp270 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp2_2esats__fprint_s2exparglst (arg0, tmp267) ;
/* tmp271 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp272 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2exp (arg0, tmp268) ;
/* tmp158 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_62 */
__ats_lab_62_0:
if (((ats_sum_ptr_type)tmp159)->tag != 24) { goto __ats_lab_63_0 ; }
__ats_lab_62_1:
tmp273 = ats_caselptrlab_mac(anairiats_sum_1, tmp159, atslab_0) ;
tmp274 = ats_caselptrlab_mac(anairiats_sum_1, tmp159, atslab_1) ;
/* tmp275 = */ atspre_fprint_string (arg0, ATSstrcst("D2Efreeat(")) ;
/* tmp276 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp2_2esats__fprint_s2exparglst (arg0, tmp273) ;
/* tmp277 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp278 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2exp (arg0, tmp274) ;
/* tmp158 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_63 */
__ats_lab_63_0:
if (((ats_sum_ptr_type)tmp159)->tag != 25) { goto __ats_lab_64_0 ; }
__ats_lab_63_1:
tmp279 = ats_caselptrlab_mac(anairiats_sum_1, tmp159, atslab_0) ;
tmp280 = ats_caselptrlab_mac(anairiats_sum_1, tmp159, atslab_1) ;
/* tmp281 = */ atspre_fprint_string (arg0, ATSstrcst("D2Etmpid(")) ;
/* tmp282 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2exp (arg0, tmp279) ;
/* tmp283 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp284 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp2_2esats__fpprint_t2mpmarglst (arg0, tmp280) ;
/* tmp158 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_64 */
__ats_lab_64_0:
if (((ats_sum_ptr_type)tmp159)->tag != 26) { goto __ats_lab_65_0 ; }
__ats_lab_64_1:
tmp285 = ats_caselptrlab_mac(anairiats_sum_1, tmp159, atslab_0) ;
tmp286 = ats_caselptrlab_mac(anairiats_sum_1, tmp159, atslab_1) ;
/* tmp287 = */ atspre_fprint_string (arg0, ATSstrcst("D2Elet(\n")) ;
/* tmp288 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2eclist (arg0, tmp285) ;
/* tmp289 = */ atspre_fprint_string (arg0, ATSstrcst("\n>>in-of-let<<\n")) ;
/* tmp290 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2exp (arg0, tmp286) ;
/* tmp158 = */ atspre_fprint_string (arg0, ATSstrcst("\n)")) ;
break ;

/* branch: __ats_lab_65 */
__ats_lab_65_0:
if (((ats_sum_ptr_type)tmp159)->tag != 27) { goto __ats_lab_66_0 ; }
__ats_lab_65_1:
tmp291 = ats_caselptrlab_mac(anairiats_sum_1, tmp159, atslab_0) ;
tmp292 = ats_caselptrlab_mac(anairiats_sum_1, tmp159, atslab_1) ;
/* tmp293 = */ atspre_fprint_string (arg0, ATSstrcst("D2Ewhere(")) ;
/* tmp294 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2exp (arg0, tmp291) ;
/* tmp295 = */ atspre_fprint_string (arg0, ATSstrcst(";\n")) ;
/* tmp296 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2eclist (arg0, tmp292) ;
/* tmp158 = */ atspre_fprint_string (arg0, ATSstrcst("\n)")) ;
break ;

/* branch: __ats_lab_66 */
__ats_lab_66_0:
if (((ats_sum_ptr_type)tmp159)->tag != 28) { goto __ats_lab_67_0 ; }
__ats_lab_66_1:
tmp297 = ats_caselptrlab_mac(anairiats_sum_1, tmp159, atslab_0) ;
tmp298 = ats_caselptrlab_mac(anairiats_sum_1, tmp159, atslab_1) ;
/* tmp299 = */ atspre_fprint_string (arg0, ATSstrcst("D2Eapplst(")) ;
/* tmp300 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2exp (arg0, tmp297) ;
/* tmp301 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp302 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2exparglst (arg0, tmp298) ;
/* tmp158 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_67 */
__ats_lab_67_0:
if (((ats_sum_ptr_type)tmp159)->tag != 29) { goto __ats_lab_68_0 ; }
__ats_lab_67_1:
tmp303 = ats_caselptrlab_mac(anairiats_sum_17, tmp159, atslab_1) ;
tmp304 = ats_caselptrlab_mac(anairiats_sum_17, tmp159, atslab_2) ;
tmp305 = ats_caselptrlab_mac(anairiats_sum_17, tmp159, atslab_3) ;
/* tmp306 = */ atspre_fprint_string (arg0, ATSstrcst("D2Eifhead(")) ;
/* tmp307 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2exp (arg0, tmp303) ;
/* tmp308 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp309 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2exp (arg0, tmp304) ;
/* tmp310 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp311 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2expopt (arg0, tmp305) ;
/* tmp158 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_68 */
__ats_lab_68_0:
if (((ats_sum_ptr_type)tmp159)->tag != 30) { goto __ats_lab_69_0 ; }
__ats_lab_68_1:
tmp312 = ats_caselptrlab_mac(anairiats_sum_17, tmp159, atslab_1) ;
tmp313 = ats_caselptrlab_mac(anairiats_sum_17, tmp159, atslab_2) ;
tmp314 = ats_caselptrlab_mac(anairiats_sum_17, tmp159, atslab_3) ;
/* tmp315 = */ atspre_fprint_string (arg0, ATSstrcst("D2Esifhead(")) ;
/* tmp316 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp2_2esats__fprint_s2exp (arg0, tmp312) ;
/* tmp317 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp318 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2exp (arg0, tmp313) ;
/* tmp319 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp320 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2exp (arg0, tmp314) ;
/* tmp158 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_69 */
__ats_lab_69_0:
if (((ats_sum_ptr_type)tmp159)->tag != 31) { goto __ats_lab_70_0 ; }
__ats_lab_69_1:
/* tmp321 = */ atspre_fprint_string (arg0, ATSstrcst("D2Eifcasehd(")) ;
/* tmp322 = */ atspre_fprint_string (arg0, ATSstrcst("...")) ;
/* tmp158 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_70 */
__ats_lab_70_0:
if (((ats_sum_ptr_type)tmp159)->tag != 32) { goto __ats_lab_71_0 ; }
__ats_lab_70_1:
/* tmp323 = */ atspre_fprint_string (arg0, ATSstrcst("D2Ecasehead(")) ;
/* tmp324 = */ atspre_fprint_string (arg0, ATSstrcst("...")) ;
/* tmp158 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_71 */
__ats_lab_71_0:
if (((ats_sum_ptr_type)tmp159)->tag != 33) { goto __ats_lab_72_0 ; }
__ats_lab_71_1:
/* tmp325 = */ atspre_fprint_string (arg0, ATSstrcst("D2Escasehead(")) ;
/* tmp326 = */ atspre_fprint_string (arg0, ATSstrcst("...")) ;
/* tmp158 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_72 */
__ats_lab_72_0:
if (((ats_sum_ptr_type)tmp159)->tag != 34) { goto __ats_lab_73_0 ; }
__ats_lab_72_1:
tmp327 = ats_caselptrlab_mac(anairiats_sum_0, tmp159, atslab_0) ;
/* tmp328 = */ atspre_fprint_string (arg0, ATSstrcst("D2Esing(")) ;
/* tmp329 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2exp (arg0, tmp327) ;
/* tmp158 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_73 */
__ats_lab_73_0:
if (((ats_sum_ptr_type)tmp159)->tag != 35) { goto __ats_lab_74_0 ; }
__ats_lab_73_1:
tmp330 = ats_caselptrlab_mac(anairiats_sum_11, tmp159, atslab_0) ;
tmp331 = ats_caselptrlab_mac(anairiats_sum_11, tmp159, atslab_1) ;
/* tmp332 = */ atspre_fprint_string (arg0, ATSstrcst("D2Elist(")) ;
/* tmp333 = */ atspre_fprint_int (arg0, tmp330) ;
/* tmp334 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp335 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2explst (arg0, tmp331) ;
/* tmp158 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_74 */
__ats_lab_74_0:
if (((ats_sum_ptr_type)tmp159)->tag != 36) { goto __ats_lab_75_0 ; }
__ats_lab_74_1:
tmp336 = ats_caselptrlab_mac(anairiats_sum_19, tmp159, atslab_1) ;
tmp337 = ats_caselptrlab_mac(anairiats_sum_19, tmp159, atslab_2) ;
/* tmp338 = */ atspre_fprint_string (arg0, ATSstrcst("D2Elst(")) ;
/* tmp339 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp2_2esats__fprint_s2expopt (arg0, tmp336) ;
/* tmp340 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp341 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2explst (arg0, tmp337) ;
/* tmp158 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_75 */
__ats_lab_75_0:
if (((ats_sum_ptr_type)tmp159)->tag != 37) { goto __ats_lab_76_0 ; }
__ats_lab_75_1:
tmp342 = ats_caselptrlab_mac(anairiats_sum_12, tmp159, atslab_0) ;
tmp343 = ats_caselptrlab_mac(anairiats_sum_12, tmp159, atslab_1) ;
tmp344 = ats_caselptrlab_mac(anairiats_sum_12, tmp159, atslab_2) ;
/* tmp345 = */ atspre_fprint_string (arg0, ATSstrcst("D2Etup(knd=")) ;
/* tmp346 = */ atspre_fprint_int (arg0, tmp342) ;
/* tmp347 = */ atspre_fprint_string (arg0, ATSstrcst("; npf=")) ;
/* tmp348 = */ atspre_fprint_int (arg0, tmp343) ;
/* tmp349 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp350 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2explst (arg0, tmp344) ;
/* tmp158 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_76 */
__ats_lab_76_0:
if (((ats_sum_ptr_type)tmp159)->tag != 38) { goto __ats_lab_77_0 ; }
__ats_lab_76_1:
tmp351 = ats_caselptrlab_mac(anairiats_sum_12, tmp159, atslab_0) ;
tmp352 = ats_caselptrlab_mac(anairiats_sum_12, tmp159, atslab_1) ;
tmp353 = ats_caselptrlab_mac(anairiats_sum_12, tmp159, atslab_2) ;
/* tmp354 = */ atspre_fprint_string (arg0, ATSstrcst("D2Erec(knd=")) ;
/* tmp355 = */ atspre_fprint_int (arg0, tmp351) ;
/* tmp356 = */ atspre_fprint_string (arg0, ATSstrcst("; npf=")) ;
/* tmp357 = */ atspre_fprint_int (arg0, tmp352) ;
/* tmp358 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp359 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_labd2explst (arg0, tmp353) ;
/* tmp158 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_77 */
__ats_lab_77_0:
if (((ats_sum_ptr_type)tmp159)->tag != 39) { goto __ats_lab_78_0 ; }
__ats_lab_77_1:
tmp360 = ats_caselptrlab_mac(anairiats_sum_0, tmp159, atslab_0) ;
/* tmp361 = */ atspre_fprint_string (arg0, ATSstrcst("D2Eseq(")) ;
/* tmp362 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2explst (arg0, tmp360) ;
/* tmp158 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_78 */
__ats_lab_78_0:
if (((ats_sum_ptr_type)tmp159)->tag != 49) { goto __ats_lab_79_0 ; }
__ats_lab_78_1:
tmp363 = ats_caselptrlab_mac(anairiats_sum_0, tmp159, atslab_0) ;
/* tmp364 = */ atspre_fprint_string (arg0, ATSstrcst("D2Eraise(")) ;
/* tmp365 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2exp (arg0, tmp363) ;
/* tmp158 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_79 */
__ats_lab_79_0:
if (((ats_sum_ptr_type)tmp159)->tag != 50) { goto __ats_lab_80_0 ; }
__ats_lab_79_1:
tmp366 = ats_caselptrlab_mac(anairiats_sum_1, tmp159, atslab_0) ;
tmp367 = ats_caselptrlab_mac(anairiats_sum_1, tmp159, atslab_1) ;
/* tmp368 = */ atspre_fprint_string (arg0, ATSstrcst("D2Eeffmask(")) ;
/* tmp369 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp2_2esats__fprint_s2eff (arg0, tmp366) ;
/* tmp370 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp371 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2exp (arg0, tmp367) ;
/* tmp158 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_80 */
__ats_lab_80_0:
if (((ats_sum_ptr_type)tmp159)->tag != 51) { goto __ats_lab_81_0 ; }
__ats_lab_80_1:
tmp372 = ats_caselptrlab_mac(anairiats_sum_0, tmp159, atslab_0) ;
/* tmp373 = */ atspre_fprint_string (arg0, ATSstrcst("D2Evararg(")) ;
/* tmp374 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2explst (arg0, tmp372) ;
/* tmp158 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_81 */
__ats_lab_81_0:
if (((ats_sum_ptr_type)tmp159)->tag != 52) { goto __ats_lab_82_0 ; }
__ats_lab_81_1:
tmp375 = ats_caselptrlab_mac(anairiats_sum_11, tmp159, atslab_0) ;
tmp376 = ats_caselptrlab_mac(anairiats_sum_11, tmp159, atslab_1) ;
/* tmp377 = */ atspre_fprint_string (arg0, ATSstrcst("D2Evcopyenv(")) ;
/* tmp378 = */ atspre_fprint_int (arg0, tmp375) ;
/* tmp379 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp380 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2exp (arg0, tmp376) ;
/* tmp158 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_82 */
__ats_lab_82_0:
if (((ats_sum_ptr_type)tmp159)->tag != 53) { goto __ats_lab_83_0 ; }
__ats_lab_82_1:
tmp381 = ats_caselptrlab_mac(anairiats_sum_0, tmp159, atslab_0) ;
/* tmp382 = */ atspre_fprint_string (arg0, ATSstrcst("D2Eshowtype(")) ;
/* tmp383 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2exp (arg0, tmp381) ;
/* tmp158 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_83 */
__ats_lab_83_0:
if (((ats_sum_ptr_type)tmp159)->tag != 54) { goto __ats_lab_84_0 ; }
__ats_lab_83_1:
tmp384 = ats_caselptrlab_mac(anairiats_sum_0, tmp159, atslab_0) ;
/* tmp385 = */ atspre_fprint_string (arg0, ATSstrcst("D2Etempenver(")) ;
/* tmp386 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2varlst (arg0, tmp384) ;
/* tmp158 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_84 */
__ats_lab_84_0:
if (((ats_sum_ptr_type)tmp159)->tag != 40) { goto __ats_lab_85_0 ; }
__ats_lab_84_1:
tmp387 = ats_caselptrlab_mac(anairiats_sum_1, tmp159, atslab_0) ;
tmp388 = ats_caselptrlab_mac(anairiats_sum_1, tmp159, atslab_1) ;
/* tmp389 = */ atspre_fprint_string (arg0, ATSstrcst("D2Eselab(")) ;
/* tmp390 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2exp (arg0, tmp387) ;
/* tmp391 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp392 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2lablst (arg0, tmp388) ;
/* tmp158 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_85 */
__ats_lab_85_0:
if (((ats_sum_ptr_type)tmp159)->tag != 41) { goto __ats_lab_86_0 ; }
__ats_lab_85_1:
tmp393 = ats_caselptrlab_mac(anairiats_sum_0, tmp159, atslab_0) ;
/* tmp394 = */ atspre_fprint_string (arg0, ATSstrcst("D2Eptrof(")) ;
/* tmp395 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2exp (arg0, tmp393) ;
/* tmp158 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_86 */
__ats_lab_86_0:
if (((ats_sum_ptr_type)tmp159)->tag != 42) { goto __ats_lab_87_0 ; }
__ats_lab_86_1:
tmp396 = ats_caselptrlab_mac(anairiats_sum_0, tmp159, atslab_0) ;
/* tmp397 = */ atspre_fprint_string (arg0, ATSstrcst("D2Eviewat(")) ;
/* tmp398 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2exp (arg0, tmp396) ;
/* tmp158 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_87 */
__ats_lab_87_0:
if (((ats_sum_ptr_type)tmp159)->tag != 43) { goto __ats_lab_88_0 ; }
__ats_lab_87_1:
tmp399 = ats_caselptrlab_mac(anairiats_sum_1, tmp159, atslab_1) ;
/* tmp400 = */ atspre_fprint_string (arg0, ATSstrcst("D2Ederef(")) ;
/* tmp401 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2exp (arg0, tmp399) ;
/* tmp158 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_88 */
__ats_lab_88_0:
if (((ats_sum_ptr_type)tmp159)->tag != 44) { goto __ats_lab_89_0 ; }
__ats_lab_88_1:
tmp402 = ats_caselptrlab_mac(anairiats_sum_1, tmp159, atslab_0) ;
tmp403 = ats_caselptrlab_mac(anairiats_sum_1, tmp159, atslab_1) ;
/* tmp404 = */ atspre_fprint_string (arg0, ATSstrcst("D2Eassgn(")) ;
/* tmp405 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2exp (arg0, tmp402) ;
/* tmp406 = */ atspre_fprint_string (arg0, ATSstrcst(" := ")) ;
/* tmp407 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2exp (arg0, tmp403) ;
/* tmp158 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_89 */
__ats_lab_89_0:
if (((ats_sum_ptr_type)tmp159)->tag != 45) { goto __ats_lab_90_0 ; }
__ats_lab_89_1:
tmp408 = ats_caselptrlab_mac(anairiats_sum_1, tmp159, atslab_0) ;
tmp409 = ats_caselptrlab_mac(anairiats_sum_1, tmp159, atslab_1) ;
/* tmp410 = */ atspre_fprint_string (arg0, ATSstrcst("D2Exchng(")) ;
/* tmp411 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2exp (arg0, tmp408) ;
/* tmp412 = */ atspre_fprint_string (arg0, ATSstrcst(" :=: ")) ;
/* tmp413 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2exp (arg0, tmp409) ;
/* tmp158 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_90 */
__ats_lab_90_0:
if (((ats_sum_ptr_type)tmp159)->tag != 46) { goto __ats_lab_91_0 ; }
__ats_lab_90_1:
/* tmp414 = */ atspre_fprint_string (arg0, ATSstrcst("D2Earrsub(")) ;
/* tmp415 = */ atspre_fprint_string (arg0, ATSstrcst("...")) ;
/* tmp158 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_91 */
__ats_lab_91_0:
if (((ats_sum_ptr_type)tmp159)->tag != 47) { goto __ats_lab_92_0 ; }
__ats_lab_91_1:
/* tmp416 = */ atspre_fprint_string (arg0, ATSstrcst("D2Earrpsz(")) ;
/* tmp417 = */ atspre_fprint_string (arg0, ATSstrcst("...")) ;
/* tmp158 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_92 */
__ats_lab_92_0:
if (((ats_sum_ptr_type)tmp159)->tag != 48) { goto __ats_lab_93_0 ; }
__ats_lab_92_1:
/* tmp418 = */ atspre_fprint_string (arg0, ATSstrcst("D2Earrinit(")) ;
/* tmp419 = */ atspre_fprint_string (arg0, ATSstrcst("...")) ;
/* tmp158 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_93 */
__ats_lab_93_0:
if (((ats_sum_ptr_type)tmp159)->tag != 55) { goto __ats_lab_94_0 ; }
__ats_lab_93_1:
tmp420 = ats_caselptrlab_mac(anairiats_sum_1, tmp159, atslab_0) ;
tmp421 = ats_caselptrlab_mac(anairiats_sum_1, tmp159, atslab_1) ;
/* tmp422 = */ atspre_fprint_string (arg0, ATSstrcst("D2Eexist(")) ;
/* tmp423 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp2_2esats__fprint_s2exparg (arg0, tmp420) ;
/* tmp424 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp425 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2exp (arg0, tmp421) ;
/* tmp158 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_94 */
__ats_lab_94_0:
if (((ats_sum_ptr_type)tmp159)->tag != 56) { goto __ats_lab_95_0 ; }
__ats_lab_94_1:
tmp426 = ats_caselptrlab_mac(anairiats_sum_20, tmp159, atslab_0) ;
tmp427 = ats_caselptrlab_mac(anairiats_sum_20, tmp159, atslab_1) ;
tmp428 = ats_caselptrlab_mac(anairiats_sum_20, tmp159, atslab_2) ;
tmp429 = ats_caselptrlab_mac(anairiats_sum_20, tmp159, atslab_3) ;
/* tmp430 = */ atspre_fprint_string (arg0, ATSstrcst("D2Elam_dyn(")) ;
/* tmp431 = */ atspre_fprint_int (arg0, tmp426) ;
/* tmp432 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp433 = */ atspre_fprint_int (arg0, tmp427) ;
/* tmp434 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp435 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_p2atlst (arg0, tmp428) ;
/* tmp436 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp437 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2exp (arg0, tmp429) ;
/* tmp158 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_95 */
__ats_lab_95_0:
if (((ats_sum_ptr_type)tmp159)->tag != 57) { goto __ats_lab_96_0 ; }
__ats_lab_95_1:
tmp438 = ats_caselptrlab_mac(anairiats_sum_20, tmp159, atslab_0) ;
tmp439 = ats_caselptrlab_mac(anairiats_sum_20, tmp159, atslab_1) ;
tmp440 = ats_caselptrlab_mac(anairiats_sum_20, tmp159, atslab_2) ;
tmp441 = ats_caselptrlab_mac(anairiats_sum_20, tmp159, atslab_3) ;
/* tmp442 = */ atspre_fprint_string (arg0, ATSstrcst("D2Elaminit_dyn(")) ;
/* tmp443 = */ atspre_fprint_int (arg0, tmp438) ;
/* tmp444 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp445 = */ atspre_fprint_int (arg0, tmp439) ;
/* tmp446 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp447 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_p2atlst (arg0, tmp440) ;
/* tmp448 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp449 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2exp (arg0, tmp441) ;
/* tmp158 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_96 */
__ats_lab_96_0:
if (((ats_sum_ptr_type)tmp159)->tag != 58) { goto __ats_lab_97_0 ; }
__ats_lab_96_1:
tmp450 = ats_caselptrlab_mac(anairiats_sum_16, tmp159, atslab_0) ;
tmp451 = ats_caselptrlab_mac(anairiats_sum_16, tmp159, atslab_1) ;
tmp452 = ats_caselptrlab_mac(anairiats_sum_16, tmp159, atslab_2) ;
/* tmp453 = */ atspre_fprint_string (arg0, ATSstrcst("D2Elam_sta(")) ;
/* tmp454 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp2_2esats__fprint_s2varlst (arg0, tmp450) ;
/* tmp455 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp456 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp2_2esats__fprint_s2explst (arg0, tmp451) ;
/* tmp457 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp458 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2exp (arg0, tmp452) ;
/* tmp158 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_97 */
__ats_lab_97_0:
if (((ats_sum_ptr_type)tmp159)->tag != 59) { goto __ats_lab_98_0 ; }
__ats_lab_97_1:
/* tmp459 = */ atspre_fprint_string (arg0, ATSstrcst("D2Elam_met(")) ;
/* tmp460 = */ atspre_fprint_string (arg0, ATSstrcst("...")) ;
/* tmp158 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_98 */
__ats_lab_98_0:
if (((ats_sum_ptr_type)tmp159)->tag != 60) { goto __ats_lab_99_0 ; }
__ats_lab_98_1:
/* tmp461 = */ atspre_fprint_string (arg0, ATSstrcst("D2Efix(")) ;
/* tmp462 = */ atspre_fprint_string (arg0, ATSstrcst("...")) ;
/* tmp158 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_99 */
__ats_lab_99_0:
if (((ats_sum_ptr_type)tmp159)->tag != 61) { goto __ats_lab_100_0 ; }
__ats_lab_99_1:
tmp463 = ats_caselptrlab_mac(anairiats_sum_0, tmp159, atslab_0) ;
/* tmp464 = */ atspre_fprint_string (arg0, ATSstrcst("D2Edelay(")) ;
/* tmp465 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2exp (arg0, tmp463) ;
/* tmp158 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_100 */
__ats_lab_100_0:
if (((ats_sum_ptr_type)tmp159)->tag != 62) { goto __ats_lab_101_0 ; }
__ats_lab_100_1:
tmp466 = ats_caselptrlab_mac(anairiats_sum_1, tmp159, atslab_0) ;
tmp467 = ats_caselptrlab_mac(anairiats_sum_1, tmp159, atslab_1) ;
/* tmp468 = */ atspre_fprint_string (arg0, ATSstrcst("D2Eldelay(")) ;
/* tmp469 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2exp (arg0, tmp466) ;
/* tmp470 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp471 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2expopt (arg0, tmp467) ;
/* tmp158 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_101 */
__ats_lab_101_0:
if (((ats_sum_ptr_type)tmp159)->tag != 63) { goto __ats_lab_102_0 ; }
__ats_lab_101_1:
tmp472 = ats_caselptrlab_mac(anairiats_sum_21, tmp159, atslab_0) ;
tmp473 = ats_caselptrlab_mac(anairiats_sum_21, tmp159, atslab_1) ;
tmp474 = ats_caselptrlab_mac(anairiats_sum_21, tmp159, atslab_2) ;
tmp475 = ats_caselptrlab_mac(anairiats_sum_21, tmp159, atslab_3) ;
tmp476 = ats_caselptrlab_mac(anairiats_sum_21, tmp159, atslab_4) ;
/* tmp477 = */ atspre_fprint_string (arg0, ATSstrcst("D2Efor(")) ;
/* tmp478 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_loopi2nv (arg0, tmp472) ;
/* tmp479 = */ atspre_fprint_string (arg0, ATSstrcst("; init=")) ;
/* tmp480 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2exp (arg0, tmp473) ;
/* tmp481 = */ atspre_fprint_string (arg0, ATSstrcst("; test=")) ;
/* tmp482 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2exp (arg0, tmp474) ;
/* tmp483 = */ atspre_fprint_string (arg0, ATSstrcst("; post=")) ;
/* tmp484 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2exp (arg0, tmp475) ;
/* tmp485 = */ atspre_fprint_string (arg0, ATSstrcst("; body=")) ;
/* tmp486 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2exp (arg0, tmp476) ;
/* tmp158 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_102 */
__ats_lab_102_0:
if (((ats_sum_ptr_type)tmp159)->tag != 64) { goto __ats_lab_103_0 ; }
__ats_lab_102_1:
tmp487 = ats_caselptrlab_mac(anairiats_sum_16, tmp159, atslab_0) ;
tmp488 = ats_caselptrlab_mac(anairiats_sum_16, tmp159, atslab_1) ;
tmp489 = ats_caselptrlab_mac(anairiats_sum_16, tmp159, atslab_2) ;
/* tmp490 = */ atspre_fprint_string (arg0, ATSstrcst("D2Ewhile(")) ;
/* tmp491 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_loopi2nv (arg0, tmp487) ;
/* tmp492 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp493 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2exp (arg0, tmp488) ;
/* tmp494 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp495 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2exp (arg0, tmp489) ;
/* tmp158 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_103 */
__ats_lab_103_0:
if (((ats_sum_ptr_type)tmp159)->tag != 66) { goto __ats_lab_104_0 ; }
__ats_lab_103_1:
/* tmp496 = */ atspre_fprint_string (arg0, ATSstrcst("D2Etrywith(")) ;
/* tmp497 = */ atspre_fprint_string (arg0, ATSstrcst("...")) ;
/* tmp158 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_104 */
__ats_lab_104_0:
if (((ats_sum_ptr_type)tmp159)->tag != 67) { goto __ats_lab_105_0 ; }
__ats_lab_104_1:
tmp498 = ats_caselptrlab_mac(anairiats_sum_1, tmp159, atslab_0) ;
tmp499 = ats_caselptrlab_mac(anairiats_sum_1, tmp159, atslab_1) ;
/* tmp500 = */ atspre_fprint_string (arg0, ATSstrcst("D2Eann_type(")) ;
/* tmp501 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2exp (arg0, tmp498) ;
/* tmp502 = */ atspre_fprint_string (arg0, ATSstrcst(" : ")) ;
/* tmp503 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp2_2esats__fprint_s2exp (arg0, tmp499) ;
/* tmp158 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_105 */
__ats_lab_105_0:
if (((ats_sum_ptr_type)tmp159)->tag != 68) { goto __ats_lab_106_0 ; }
__ats_lab_105_1:
tmp504 = ats_caselptrlab_mac(anairiats_sum_1, tmp159, atslab_0) ;
tmp505 = ats_caselptrlab_mac(anairiats_sum_1, tmp159, atslab_1) ;
/* tmp506 = */ atspre_fprint_string (arg0, ATSstrcst("D2Eann_seff(")) ;
/* tmp507 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2exp (arg0, tmp504) ;
/* tmp508 = */ atspre_fprint_string (arg0, ATSstrcst(" : ")) ;
/* tmp509 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp2_2esats__fprint_s2eff (arg0, tmp505) ;
/* tmp158 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_106 */
__ats_lab_106_0:
if (((ats_sum_ptr_type)tmp159)->tag != 69) { goto __ats_lab_107_0 ; }
__ats_lab_106_1:
tmp510 = ats_caselptrlab_mac(anairiats_sum_1, tmp159, atslab_0) ;
tmp511 = ats_caselptrlab_mac(anairiats_sum_1, tmp159, atslab_1) ;
/* tmp512 = */ atspre_fprint_string (arg0, ATSstrcst("D2Eann_funclo(")) ;
/* tmp513 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2exp (arg0, tmp510) ;
/* tmp514 = */ atspre_fprint_string (arg0, ATSstrcst(" : ")) ;
/* tmp515 = */ _2tmp_2ATS_2dPostiats_2src_2pats_basics_2esats__fprint_funclo (arg0, tmp511) ;
/* tmp158 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_107 */
__ats_lab_107_0:
if (((ats_sum_ptr_type)tmp159)->tag != 70) { goto __ats_lab_108_0 ; }
__ats_lab_107_1:
tmp516 = ats_caselptrlab_mac(anairiats_sum_0, tmp159, atslab_0) ;
/* tmp517 = */ atspre_fprint_string (arg0, ATSstrcst("D2Emac(")) ;
/* tmp518 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2mac (arg0, tmp516) ;
/* tmp158 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_108 */
__ats_lab_108_0:
if (((ats_sum_ptr_type)tmp159)->tag != 71) { goto __ats_lab_109_0 ; }
__ats_lab_108_1:
tmp519 = ats_caselptrlab_mac(anairiats_sum_1, tmp159, atslab_0) ;
tmp520 = ats_caselptrlab_mac(anairiats_sum_1, tmp159, atslab_1) ;
/* tmp521 = */ atspre_fprint_string (arg0, ATSstrcst("D2Emacsyn(")) ;
/* tmp522 = */ _2tmp_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_macsynkind (arg0, tmp519) ;
/* tmp523 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp524 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2exp (arg0, tmp520) ;
/* tmp158 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_109 */
__ats_lab_109_0:
if (((ats_sum_ptr_type)tmp159)->tag != 72) { goto __ats_lab_110_0 ; }
__ats_lab_109_1:
tmp525 = ats_caselptrlab_mac(anairiats_sum_1, tmp159, atslab_0) ;
tmp526 = ats_caselptrlab_mac(anairiats_sum_1, tmp159, atslab_1) ;
/* tmp527 = */ atspre_fprint_string (arg0, ATSstrcst("D2Emacfun(")) ;
/* tmp528 = */ _2tmp_2ATS_2dPostiats_2src_2pats_symbol_2esats__fprint_symbol (arg0, tmp525) ;
/* tmp529 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp530 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2explst (arg0, tmp526) ;
/* tmp158 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_110 */
__ats_lab_110_0:
if (((ats_sum_ptr_type)tmp159)->tag != 73) { goto __ats_lab_111_0 ; }
__ats_lab_110_1:
tmp531 = ats_caselptrlab_mac(anairiats_sum_0, tmp159, atslab_0) ;
/* tmp532 = */ atspre_fprint_string (arg0, ATSstrcst("D2Esolassert(")) ;
/* tmp533 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2exp (arg0, tmp531) ;
/* tmp158 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_111 */
__ats_lab_111_0:
if (((ats_sum_ptr_type)tmp159)->tag != 74) { goto __ats_lab_112_0 ; }
__ats_lab_111_1:
tmp534 = ats_caselptrlab_mac(anairiats_sum_0, tmp159, atslab_0) ;
/* tmp535 = */ atspre_fprint_string (arg0, ATSstrcst("D2Esolverify(")) ;
/* tmp536 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp2_2esats__fprint_s2exp (arg0, tmp534) ;
/* tmp158 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_112 */
__ats_lab_112_0:
// if (((ats_sum_ptr_type)tmp159)->tag != 75) { ats_deadcode_failure_handle () ; }
__ats_lab_112_1:
/* tmp158 = */ atspre_fprint_string (arg0, ATSstrcst("D2Eerr()")) ;
break ;
} while (0) ;
return /* (tmp158) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2exp] */

/*
// /tmp/ATS-Postiats/src/pats_dynexp2_print.dats: 21867(line=909, offs=13) -- 21901(line=909, offs=47)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__print_d2exp (ats_ptr_type arg0) {
/* local vardec */
// ATSlocal_void (tmp537) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__print_d2exp:
/* tmp537 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2exp (stdout, arg0) ;
return /* (tmp537) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__print_d2exp] */

/*
// /tmp/ATS-Postiats/src/pats_dynexp2_print.dats: 21924(line=911, offs=13) -- 21958(line=911, offs=47)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__prerr_d2exp (ats_ptr_type arg0) {
/* local vardec */
// ATSlocal_void (tmp538) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__prerr_d2exp:
/* tmp538 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2exp (stderr, arg0) ;
return /* (tmp538) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__prerr_d2exp] */

/*
// /tmp/ATS-Postiats/src/pats_dynexp2_print.dats: 22007(line=916, offs=17) -- 22064(line=917, offs=46)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2explst (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp539) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2explst:
/* tmp539 = */ fprintlst_01696_ats_ptr_type (arg0, arg1, ATSstrcst(", "), &_2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2exp) ;
return /* (tmp539) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2explst] */

/*
// /tmp/ATS-Postiats/src/pats_dynexp2_print.dats: 22143(line=924, offs=3) -- 22422(line=935, offs=4)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2expopt (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp540) ;
ATSlocal (ats_ptr_type, tmp541) ;
// ATSlocal_void (tmp542) ;
// ATSlocal_void (tmp543) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2expopt:
do {
/* branch: __ats_lab_113 */
__ats_lab_113_0:
if (arg1 == (ats_sum_ptr_type)0) { goto __ats_lab_114_0 ; }
__ats_lab_113_1:
tmp541 = ats_caselptrlab_mac(anairiats_sum_5, arg1, atslab_0) ;
/* tmp542 = */ atspre_fprint_string (arg0, ATSstrcst("Some(")) ;
/* tmp543 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2exp (arg0, tmp541) ;
/* tmp540 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_114 */
__ats_lab_114_0:
// if (arg1 != (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; }
__ats_lab_114_1:
/* tmp540 = */ atspre_fprint_string (arg0, ATSstrcst("None()")) ;
break ;
} while (0) ;
return /* (tmp540) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2expopt] */

/*
// /tmp/ATS-Postiats/src/pats_dynexp2_print.dats: 22501(line=941, offs=3) -- 22654(line=946, offs=2)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_labd2exp (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp544) ;
ATSlocal (ats_ptr_type, tmp545) ;
ATSlocal (ats_ptr_type, tmp546) ;
// ATSlocal_void (tmp547) ;
// ATSlocal_void (tmp548) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_labd2exp:

tmp545 = ats_caselptrlab_mac(anairiats_sum_2, arg1, atslab_0) ;
tmp546 = ats_caselptrlab_mac(anairiats_sum_2, arg1, atslab_1) ;
/* tmp547 = */ _2tmp_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_l0ab (arg0, tmp545) ;
/* tmp548 = */ atspre_fprint_string (arg0, ATSstrcst("=")) ;
/* tmp544 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2exp (arg0, tmp546) ;
return /* (tmp544) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_labd2exp] */

/*
// /tmp/ATS-Postiats/src/pats_dynexp2_print.dats: 22713(line=949, offs=20) -- 22773(line=950, offs=49)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_labd2explst (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp549) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_labd2explst:
/* tmp549 = */ fprintlst_01696_ats_ptr_type (arg0, arg1, ATSstrcst(", "), &_2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_labd2exp) ;
return /* (tmp549) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_labd2explst] */

/*
// /tmp/ATS-Postiats/src/pats_dynexp2_print.dats: 22855(line=957, offs=3) -- 23295(line=979, offs=4)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2exparg (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp550) ;
ATSlocal (ats_ptr_type, tmp551) ;
// ATSlocal_void (tmp552) ;
// ATSlocal_void (tmp553) ;
ATSlocal (ats_int_type, tmp554) ;
ATSlocal (ats_ptr_type, tmp555) ;
// ATSlocal_void (tmp556) ;
// ATSlocal_void (tmp557) ;
// ATSlocal_void (tmp558) ;
// ATSlocal_void (tmp559) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2exparg:
do {
/* branch: __ats_lab_115 */
__ats_lab_115_0:
if (((ats_sum_ptr_type)arg1)->tag != 0) { goto __ats_lab_116_0 ; }
__ats_lab_115_1:
tmp551 = ats_caselptrlab_mac(anairiats_sum_1, arg1, atslab_1) ;
/* tmp552 = */ atspre_fprint_string (arg0, ATSstrcst("D2EXPARGsta(")) ;
/* tmp553 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp2_2esats__fprint_s2exparglst (arg0, tmp551) ;
/* tmp550 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_116 */
__ats_lab_116_0:
// if (((ats_sum_ptr_type)arg1)->tag != 1) { ats_deadcode_failure_handle () ; }
__ats_lab_116_1:
tmp554 = ats_caselptrlab_mac(anairiats_sum_19, arg1, atslab_0) ;
tmp555 = ats_caselptrlab_mac(anairiats_sum_19, arg1, atslab_2) ;
/* tmp556 = */ atspre_fprint_string (arg0, ATSstrcst("D2EXPARGdyn(")) ;
/* tmp557 = */ atspre_fprint_int (arg0, tmp554) ;
/* tmp558 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp559 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2explst (arg0, tmp555) ;
/* tmp550 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;
} while (0) ;
return /* (tmp550) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2exparg] */

/*
// /tmp/ATS-Postiats/src/pats_dynexp2_print.dats: 23354(line=982, offs=20) -- 23414(line=983, offs=49)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2exparglst (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp560) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2exparglst:
/* tmp560 = */ fprintlst_01696_ats_ptr_type (arg0, arg1, ATSstrcst(", "), &_2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2exparg) ;
return /* (tmp560) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2exparglst] */

/*
// /tmp/ATS-Postiats/src/pats_dynexp2_print.dats: 23493(line=990, offs=3) -- 23895(line=1008, offs=4)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2lab (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp561) ;
ATSlocal (ats_ptr_type, tmp562) ;
ATSlocal (ats_ptr_type, tmp563) ;
// ATSlocal_void (tmp564) ;
// ATSlocal_void (tmp565) ;
ATSlocal (ats_ptr_type, tmp566) ;
// ATSlocal_void (tmp567) ;
// ATSlocal_void (tmp568) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2lab:
tmp562 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_22, arg1), atslab_d2lab_node) ;
do {
/* branch: __ats_lab_117 */
__ats_lab_117_0:
if (((ats_sum_ptr_type)tmp562)->tag != 0) { goto __ats_lab_118_0 ; }
__ats_lab_117_1:
tmp563 = ats_caselptrlab_mac(anairiats_sum_0, tmp562, atslab_0) ;
/* tmp564 = */ atspre_fprint_string (arg0, ATSstrcst("D2LABlab(")) ;
/* tmp565 = */ _2tmp_2ATS_2dPostiats_2src_2pats_label_2esats__fprint_label (arg0, tmp563) ;
/* tmp561 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_118 */
__ats_lab_118_0:
// if (((ats_sum_ptr_type)tmp562)->tag != 1) { ats_deadcode_failure_handle () ; }
__ats_lab_118_1:
tmp566 = ats_caselptrlab_mac(anairiats_sum_0, tmp562, atslab_0) ;
/* tmp567 = */ atspre_fprint_string (arg0, ATSstrcst("D2LABind(")) ;
/* tmp568 = */ fprintlst_01696_ats_ptr_type (arg0, tmp566, ATSstrcst(", "), &_2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2exp) ;
/* tmp561 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;
} while (0) ;
return /* (tmp561) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2lab] */

/*
// /tmp/ATS-Postiats/src/pats_dynexp2_print.dats: 23948(line=1011, offs=17) -- 24005(line=1012, offs=46)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2lablst (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp569) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2lablst:
/* tmp569 = */ fprintlst_01696_ats_ptr_type (arg0, arg1, ATSstrcst(", "), &_2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2lab) ;
return /* (tmp569) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2lablst] */

/*
// /tmp/ATS-Postiats/src/pats_dynexp2_print.dats: 24138(line=1023, offs=3) -- 24426(line=1039, offs=4)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_print_2edats__fprint_i2nvarg (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp570) ;
ATSlocal (ats_ptr_type, tmp571) ;
ATSlocal (ats_ptr_type, tmp572) ;
// ATSlocal_void (tmp573) ;
ATSlocal (ats_ptr_type, tmp574) ;
// ATSlocal_void (tmp575) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_print_2edats__fprint_i2nvarg:
tmp571 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_23, arg1), atslab_i2nvarg_var) ;
tmp572 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_23, arg1), atslab_i2nvarg_type) ;
/* tmp573 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2var (arg0, tmp571) ;
do {
/* branch: __ats_lab_119 */
__ats_lab_119_0:
if (tmp572 == (ats_sum_ptr_type)0) { goto __ats_lab_120_0 ; }
__ats_lab_119_1:
tmp574 = ats_caselptrlab_mac(anairiats_sum_5, tmp572, atslab_0) ;
/* tmp575 = */ atspre_fprint_string (arg0, ATSstrcst(": ")) ;
/* tmp570 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp2_2esats__fprint_s2exp (arg0, tmp574) ;
break ;

/* branch: __ats_lab_120 */
__ats_lab_120_0:
// if (tmp572 != (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; }
__ats_lab_120_1:
break ;
} while (0) ;
return /* (tmp570) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_print_2edats__fprint_i2nvarg] */

/*
// /tmp/ATS-Postiats/src/pats_dynexp2_print.dats: 24485(line=1043, offs=3) -- 24548(line=1044, offs=50)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_i2nvarglst (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp576) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_i2nvarglst:
/* tmp576 = */ fprintlst_01696_ats_ptr_type (arg0, arg1, ATSstrcst(", "), &_2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_print_2edats__fprint_i2nvarg) ;
return /* (tmp576) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_i2nvarglst] */

/*
// /tmp/ATS-Postiats/src/pats_dynexp2_print.dats: 24612(line=1049, offs=3) -- 24988(line=1061, offs=4)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_i2nvresstate (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp577) ;
// ATSlocal_void (tmp578) ;
// ATSlocal_void (tmp579) ;
ATSlocal (ats_ptr_type, tmp580) ;
// ATSlocal_void (tmp581) ;
// ATSlocal_void (tmp582) ;
ATSlocal (ats_ptr_type, tmp583) ;
// ATSlocal_void (tmp584) ;
// ATSlocal_void (tmp585) ;
ATSlocal (ats_ptr_type, tmp586) ;
// ATSlocal_void (tmp587) ;
// ATSlocal_void (tmp588) ;
ATSlocal (ats_ptr_type, tmp589) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_i2nvresstate:
/* tmp578 = */ atspre_fprint_string (arg0, ATSstrcst("i2nvresstate(svs=")) ;
tmp580 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_24, arg1), atslab_i2nvresstate_svs) ;
/* tmp579 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp2_2esats__fprint_s2varlst (arg0, tmp580) ;
/* tmp581 = */ atspre_fprint_string (arg0, ATSstrcst("; gua=")) ;
tmp583 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_24, arg1), atslab_i2nvresstate_gua) ;
/* tmp582 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp2_2esats__fprint_s2explst (arg0, tmp583) ;
/* tmp584 = */ atspre_fprint_string (arg0, ATSstrcst("; met=")) ;
tmp586 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_24, arg1), atslab_i2nvresstate_met) ;
/* tmp585 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp2_2esats__fprint_s2explstopt (arg0, tmp586) ;
/* tmp587 = */ atspre_fprint_string (arg0, ATSstrcst("; state=")) ;
tmp589 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_24, arg1), atslab_i2nvresstate_arg) ;
/* tmp588 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_i2nvarglst (arg0, tmp589) ;
/* tmp577 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
return /* (tmp577) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_i2nvresstate] */

/*
// /tmp/ATS-Postiats/src/pats_dynexp2_print.dats: 25050(line=1065, offs=3) -- 25470(line=1079, offs=4)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_loopi2nv (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp590) ;
// ATSlocal_void (tmp591) ;
// ATSlocal_void (tmp592) ;
ATSlocal (ats_ptr_type, tmp593) ;
// ATSlocal_void (tmp594) ;
// ATSlocal_void (tmp595) ;
ATSlocal (ats_ptr_type, tmp596) ;
// ATSlocal_void (tmp597) ;
// ATSlocal_void (tmp598) ;
ATSlocal (ats_ptr_type, tmp599) ;
// ATSlocal_void (tmp600) ;
// ATSlocal_void (tmp601) ;
ATSlocal (ats_ptr_type, tmp602) ;
// ATSlocal_void (tmp603) ;
// ATSlocal_void (tmp604) ;
ATSlocal (ats_ptr_type, tmp605) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_loopi2nv:
/* tmp591 = */ atspre_fprint_string (arg0, ATSstrcst("loop2inv(svs=")) ;
tmp593 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_25, arg1), atslab_loopi2nv_svs) ;
/* tmp592 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp2_2esats__fprint_s2varlst (arg0, tmp593) ;
/* tmp594 = */ atspre_fprint_string (arg0, ATSstrcst("; gua=")) ;
tmp596 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_25, arg1), atslab_loopi2nv_gua) ;
/* tmp595 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp2_2esats__fprint_s2explst (arg0, tmp596) ;
/* tmp597 = */ atspre_fprint_string (arg0, ATSstrcst("; met=")) ;
tmp599 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_25, arg1), atslab_loopi2nv_met) ;
/* tmp598 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp2_2esats__fprint_s2explstopt (arg0, tmp599) ;
/* tmp600 = */ atspre_fprint_string (arg0, ATSstrcst("; state=")) ;
tmp602 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_25, arg1), atslab_loopi2nv_arg) ;
/* tmp601 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_i2nvarglst (arg0, tmp602) ;
/* tmp603 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
tmp605 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_25, arg1), atslab_loopi2nv_res) ;
/* tmp604 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_i2nvresstate (arg0, tmp605) ;
/* tmp590 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
return /* (tmp590) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_loopi2nv] */

/*
// /tmp/ATS-Postiats/src/pats_dynexp2_print.dats: 25547(line=1085, offs=3) -- 25581(line=1085, offs=37)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__print_d2ecl (ats_ptr_type arg0) {
/* local vardec */
// ATSlocal_void (tmp606) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__print_d2ecl:
/* tmp606 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2ecl (stdout, arg0) ;
return /* (tmp606) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__print_d2ecl] */

/*
// /tmp/ATS-Postiats/src/pats_dynexp2_print.dats: 25606(line=1088, offs=3) -- 25640(line=1088, offs=37)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__prerr_d2ecl (ats_ptr_type arg0) {
/* local vardec */
// ATSlocal_void (tmp607) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__prerr_d2ecl:
/* tmp607 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2ecl (stderr, arg0) ;
return /* (tmp607) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__prerr_d2ecl] */

/*
// /tmp/ATS-Postiats/src/pats_dynexp2_print.dats: 25669(line=1092, offs=3) -- 29539(line=1253, offs=4)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2ecl (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp608) ;
ATSlocal (ats_ptr_type, tmp609) ;
ATSlocal (ats_ptr_type, tmp610) ;
// ATSlocal_void (tmp611) ;
// ATSlocal_void (tmp612) ;
ATSlocal (ats_ptr_type, tmp613) ;
ATSlocal (ats_int_type, tmp614) ;
ATSlocal (ats_ptr_type, tmp615) ;
// ATSlocal_void (tmp616) ;
// ATSlocal_void (tmp617) ;
// ATSlocal_void (tmp618) ;
// ATSlocal_void (tmp619) ;
// ATSlocal_void (tmp620) ;
// ATSlocal_void (tmp621) ;
ATSlocal (ats_ptr_type, tmp622) ;
ATSlocal (ats_ptr_type, tmp623) ;
// ATSlocal_void (tmp624) ;
// ATSlocal_void (tmp625) ;
ATSlocal (ats_int_type, tmp626) ;
ATSlocal (ats_ptr_type, tmp627) ;
// ATSlocal_void (tmp628) ;
// ATSlocal_void (tmp629) ;
// ATSlocal_void (tmp630) ;
// ATSlocal_void (tmp631) ;
ATSlocal (ats_ptr_type, tmp632) ;
ATSlocal (ats_ptr_type, tmp633) ;
// ATSlocal_void (tmp634) ;
// ATSlocal_void (tmp635) ;
// ATSlocal_void (tmp636) ;
// ATSlocal_void (tmp637) ;
ATSlocal (ats_ptr_type, tmp638) ;
ATSlocal (ats_ptr_type, tmp639) ;
// ATSlocal_void (tmp640) ;
// ATSlocal_void (tmp641) ;
// ATSlocal_void (tmp642) ;
// ATSlocal_void (tmp643) ;
ATSlocal (ats_ptr_type, tmp644) ;
// ATSlocal_void (tmp645) ;
// ATSlocal_void (tmp646) ;
ATSlocal (ats_int_type, tmp647) ;
ATSlocal (ats_ptr_type, tmp648) ;
// ATSlocal_void (tmp649) ;
// ATSlocal_void (tmp650) ;
// ATSlocal_void (tmp651) ;
// ATSlocal_void (tmp652) ;
ATSlocal (ats_int_type, tmp653) ;
ATSlocal (ats_ptr_type, tmp654) ;
// ATSlocal_void (tmp655) ;
// ATSlocal_void (tmp656) ;
// ATSlocal_void (tmp657) ;
// ATSlocal_void (tmp658) ;
ATSlocal (ats_int_type, tmp659) ;
ATSlocal (ats_ptr_type, tmp660) ;
ATSlocal (ats_ptr_type, tmp661) ;
// ATSlocal_void (tmp662) ;
// ATSlocal_void (tmp663) ;
// ATSlocal_void (tmp664) ;
// ATSlocal_void (tmp665) ;
// ATSlocal_void (tmp666) ;
// ATSlocal_void (tmp667) ;
// ATSlocal_void (tmp668) ;
// ATSlocal_void (tmp669) ;
// ATSlocal_void (tmp670) ;
// ATSlocal_void (tmp671) ;
// ATSlocal_void (tmp672) ;
// ATSlocal_void (tmp673) ;
// ATSlocal_void (tmp674) ;
// ATSlocal_void (tmp675) ;
// ATSlocal_void (tmp676) ;
// ATSlocal_void (tmp677) ;
// ATSlocal_void (tmp678) ;
// ATSlocal_void (tmp679) ;
ATSlocal (ats_int_type, tmp680) ;
// ATSlocal_void (tmp681) ;
// ATSlocal_void (tmp682) ;
// ATSlocal_void (tmp683) ;
// ATSlocal_void (tmp684) ;
// ATSlocal_void (tmp685) ;
// ATSlocal_void (tmp686) ;
// ATSlocal_void (tmp687) ;
// ATSlocal_void (tmp688) ;
// ATSlocal_void (tmp689) ;
// ATSlocal_void (tmp690) ;
// ATSlocal_void (tmp691) ;
// ATSlocal_void (tmp692) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2ecl:
tmp609 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_26, arg1), atslab_d2ecl_node) ;
do {
/* branch: __ats_lab_121 */
__ats_lab_121_0:
if (((ats_sum_ptr_type)tmp609)->tag != 0) { goto __ats_lab_122_0 ; }
__ats_lab_121_1:
/* tmp608 = */ atspre_fprint_string (arg0, ATSstrcst("D2Cnone()")) ;
break ;

/* branch: __ats_lab_122 */
__ats_lab_122_0:
if (((ats_sum_ptr_type)tmp609)->tag != 1) { goto __ats_lab_123_0 ; }
__ats_lab_122_1:
tmp610 = ats_caselptrlab_mac(anairiats_sum_0, tmp609, atslab_0) ;
/* tmp611 = */ atspre_fprint_string (arg0, ATSstrcst("D2Clist(\n")) ;
/* tmp612 = */ fprintlst_01696_ats_ptr_type (arg0, tmp610, ATSstrcst("\n"), &_2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2ecl) ;
/* tmp608 = */ atspre_fprint_string (arg0, ATSstrcst("\n)")) ;
break ;

/* branch: __ats_lab_123 */
__ats_lab_123_0:
if (((ats_sum_ptr_type)tmp609)->tag != 4) { goto __ats_lab_126_0 ; }
__ats_lab_123_1:
tmp613 = ats_caselptrlab_mac(anairiats_sum_27, tmp609, atslab_0) ;
tmp614 = ats_caselptrlab_mac(anairiats_sum_27, tmp609, atslab_1) ;
tmp615 = ats_caselptrlab_mac(anairiats_sum_27, tmp609, atslab_2) ;
/* tmp616 = */ atspre_fprint_string (arg0, ATSstrcst("D2Coverload(")) ;
/* tmp617 = */ _2tmp_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_i0de (arg0, tmp613) ;
/* tmp618 = */ atspre_fprint_string (arg0, ATSstrcst("(")) ;
/* tmp619 = */ atspre_fprint_int (arg0, tmp614) ;
/* tmp620 = */ atspre_fprint_string (arg0, ATSstrcst("); ")) ;
do {
/* branch: __ats_lab_124 */
__ats_lab_124_0:
if (tmp615 == (ats_sum_ptr_type)0) { goto __ats_lab_125_0 ; }
__ats_lab_124_1:
tmp622 = ats_caselptrlab_mac(anairiats_sum_5, tmp615, atslab_0) ;
/* tmp621 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2itm (arg0, tmp622) ;
break ;

/* branch: __ats_lab_125 */
__ats_lab_125_0:
// if (tmp615 != (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; }
__ats_lab_125_1:
/* tmp621 = */ atspre_fprint_string (arg0, ATSstrcst("*ERROR*")) ;
break ;
} while (0) ;
/* tmp608 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_126 */
__ats_lab_126_0:
if (((ats_sum_ptr_type)tmp609)->tag != 7) { goto __ats_lab_127_0 ; }
__ats_lab_126_1:
tmp623 = ats_caselptrlab_mac(anairiats_sum_0, tmp609, atslab_0) ;
/* tmp624 = */ atspre_fprint_string (arg0, ATSstrcst("D2Cstacsts(")) ;
/* tmp625 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp2_2esats__fprint_s2cstlst (arg0, tmp623) ;
/* tmp608 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_127 */
__ats_lab_127_0:
if (((ats_sum_ptr_type)tmp609)->tag != 8) { goto __ats_lab_128_0 ; }
__ats_lab_127_1:
tmp626 = ats_caselptrlab_mac(anairiats_sum_11, tmp609, atslab_0) ;
tmp627 = ats_caselptrlab_mac(anairiats_sum_11, tmp609, atslab_1) ;
/* tmp628 = */ atspre_fprint_string (arg0, ATSstrcst("D2Cstacons(")) ;
/* tmp629 = */ atspre_fprint_int (arg0, tmp626) ;
/* tmp630 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp631 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp2_2esats__fprint_s2cstlst (arg0, tmp627) ;
/* tmp608 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_128 */
__ats_lab_128_0:
if (((ats_sum_ptr_type)tmp609)->tag != 11) { goto __ats_lab_129_0 ; }
__ats_lab_128_1:
tmp632 = ats_caselptrlab_mac(anairiats_sum_1, tmp609, atslab_0) ;
tmp633 = ats_caselptrlab_mac(anairiats_sum_1, tmp609, atslab_1) ;
/* tmp634 = */ atspre_fprint_string (arg0, ATSstrcst("D2Cextype(")) ;
/* tmp635 = */ atspre_fprint_string (arg0, tmp632) ;
/* tmp636 = */ atspre_fprint_string (arg0, ATSstrcst(" = ")) ;
/* tmp637 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp2_2esats__fprint_s2exp (arg0, tmp633) ;
/* tmp608 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_129 */
__ats_lab_129_0:
if (((ats_sum_ptr_type)tmp609)->tag != 12) { goto __ats_lab_130_0 ; }
__ats_lab_129_1:
tmp638 = ats_caselptrlab_mac(anairiats_sum_1, tmp609, atslab_0) ;
tmp639 = ats_caselptrlab_mac(anairiats_sum_1, tmp609, atslab_1) ;
/* tmp640 = */ atspre_fprint_string (arg0, ATSstrcst("D2Cextvar(")) ;
/* tmp641 = */ atspre_fprint_string (arg0, tmp638) ;
/* tmp642 = */ atspre_fprint_string (arg0, ATSstrcst(" = ")) ;
/* tmp643 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2exp (arg0, tmp639) ;
/* tmp608 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_130 */
__ats_lab_130_0:
if (((ats_sum_ptr_type)tmp609)->tag != 13) { goto __ats_lab_131_0 ; }
__ats_lab_130_1:
/* tmp608 = */ atspre_fprint_string (arg0, ATSstrcst("D2Cextcode(...)")) ;
break ;

/* branch: __ats_lab_131 */
__ats_lab_131_0:
if (((ats_sum_ptr_type)tmp609)->tag != 5) { goto __ats_lab_132_0 ; }
__ats_lab_131_1:
tmp644 = ats_caselptrlab_mac(anairiats_sum_0, tmp609, atslab_0) ;
/* tmp645 = */ atspre_fprint_string (arg0, ATSstrcst("D2Cpragma(")) ;
/* tmp646 = */ fprintlst_01696_ats_ptr_type (arg0, tmp644, ATSstrcst(", "), &_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_e1xp) ;
/* tmp608 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_132 */
__ats_lab_132_0:
if (((ats_sum_ptr_type)tmp609)->tag != 6) { goto __ats_lab_133_0 ; }
__ats_lab_132_1:
tmp647 = ats_caselptrlab_mac(anairiats_sum_11, tmp609, atslab_0) ;
tmp648 = ats_caselptrlab_mac(anairiats_sum_11, tmp609, atslab_1) ;
/* tmp649 = */ atspre_fprint_string (arg0, ATSstrcst("D2Ccodegen(")) ;
/* tmp650 = */ atspre_fprint_int (arg0, tmp647) ;
/* tmp651 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp652 = */ fprintlst_01696_ats_ptr_type (arg0, tmp648, ATSstrcst(", "), &_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_e1xp) ;
/* tmp608 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_133 */
__ats_lab_133_0:
if (((ats_sum_ptr_type)tmp609)->tag != 14) { goto __ats_lab_134_0 ; }
__ats_lab_133_1:
tmp653 = ats_caselptrlab_mac(anairiats_sum_11, tmp609, atslab_0) ;
tmp654 = ats_caselptrlab_mac(anairiats_sum_11, tmp609, atslab_1) ;
/* tmp655 = */ atspre_fprint_string (arg0, ATSstrcst("D2Cdatdecs(")) ;
/* tmp656 = */ atspre_fprint_int (arg0, tmp653) ;
/* tmp657 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp658 = */ fprintlst_01696_ats_ptr_type (arg0, tmp654, ATSstrcst(", "), &_2tmp_2ATS_2dPostiats_2src_2pats_staexp2_2esats__fprint_s2cst) ;
/* tmp608 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_134 */
__ats_lab_134_0:
if (((ats_sum_ptr_type)tmp609)->tag != 16) { goto __ats_lab_135_0 ; }
__ats_lab_134_1:
tmp659 = ats_caselptrlab_mac(anairiats_sum_19, tmp609, atslab_0) ;
tmp660 = ats_caselptrlab_mac(anairiats_sum_19, tmp609, atslab_1) ;
tmp661 = ats_caselptrlab_mac(anairiats_sum_19, tmp609, atslab_2) ;
/* tmp662 = */ atspre_fprint_string (arg0, ATSstrcst("D2Cdcstdecs(")) ;
/* tmp663 = */ atspre_fprint_int (arg0, tmp659) ;
/* tmp664 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp665 = */ _2tmp_2ATS_2dPostiats_2src_2pats_basics_2esats__fprint_dcstkind (arg0, tmp660) ;
/* tmp666 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp667 = */ fprintlst_01696_ats_ptr_type (arg0, tmp661, ATSstrcst(", "), &_2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2cst) ;
/* tmp608 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_135 */
__ats_lab_135_0:
if (((ats_sum_ptr_type)tmp609)->tag != 17) { goto __ats_lab_136_0 ; }
__ats_lab_135_1:
/* tmp668 = */ atspre_fprint_string (arg0, ATSstrcst("D2Cimpdec(\n")) ;
/* tmp669 = */ atspre_fprint_string (arg0, ATSstrcst("...")) ;
/* tmp608 = */ atspre_fprint_string (arg0, ATSstrcst("\n)")) ;
break ;

/* branch: __ats_lab_136 */
__ats_lab_136_0:
if (((ats_sum_ptr_type)tmp609)->tag != 18) { goto __ats_lab_137_0 ; }
__ats_lab_136_1:
/* tmp670 = */ atspre_fprint_string (arg0, ATSstrcst("D2Cfundecs(\n")) ;
/* tmp671 = */ atspre_fprint_string (arg0, ATSstrcst("...")) ;
/* tmp608 = */ atspre_fprint_string (arg0, ATSstrcst("\n)")) ;
break ;

/* branch: __ats_lab_137 */
__ats_lab_137_0:
if (((ats_sum_ptr_type)tmp609)->tag != 19) { goto __ats_lab_138_0 ; }
__ats_lab_137_1:
/* tmp672 = */ atspre_fprint_string (arg0, ATSstrcst("D2Cvaldecs(\n")) ;
/* tmp673 = */ atspre_fprint_string (arg0, ATSstrcst("...")) ;
/* tmp608 = */ atspre_fprint_string (arg0, ATSstrcst("\n)")) ;
break ;

/* branch: __ats_lab_138 */
__ats_lab_138_0:
if (((ats_sum_ptr_type)tmp609)->tag != 20) { goto __ats_lab_139_0 ; }
__ats_lab_138_1:
/* tmp674 = */ atspre_fprint_string (arg0, ATSstrcst("D2Cvaldecs_rec(\n")) ;
/* tmp675 = */ atspre_fprint_string (arg0, ATSstrcst("...")) ;
/* tmp608 = */ atspre_fprint_string (arg0, ATSstrcst("\n)")) ;
break ;

/* branch: __ats_lab_139 */
__ats_lab_139_0:
if (((ats_sum_ptr_type)tmp609)->tag != 21) { goto __ats_lab_140_0 ; }
__ats_lab_139_1:
/* tmp676 = */ atspre_fprint_string (arg0, ATSstrcst("D2Cvardecs(\n")) ;
/* tmp677 = */ atspre_fprint_string (arg0, ATSstrcst("...")) ;
/* tmp608 = */ atspre_fprint_string (arg0, ATSstrcst("\n)")) ;
break ;

/* branch: __ats_lab_140 */
__ats_lab_140_0:
if (((ats_sum_ptr_type)tmp609)->tag != 22) { goto __ats_lab_141_0 ; }
__ats_lab_140_1:
/* tmp678 = */ atspre_fprint_string (arg0, ATSstrcst("D2Cprvardecs(\n")) ;
/* tmp679 = */ atspre_fprint_string (arg0, ATSstrcst("...")) ;
/* tmp608 = */ atspre_fprint_string (arg0, ATSstrcst("\n)")) ;
break ;

/* branch: __ats_lab_141 */
__ats_lab_141_0:
if (((ats_sum_ptr_type)tmp609)->tag != 23) { goto __ats_lab_142_0 ; }
__ats_lab_141_1:
tmp680 = ats_caselptrlab_mac(anairiats_sum_11, tmp609, atslab_0) ;
/* tmp681 = */ atspre_fprint_string (arg0, ATSstrcst("D2Cinclude(")) ;
/* tmp682 = */ atspre_fprint_int (arg0, tmp680) ;
/* tmp683 = */ atspre_fprint_string (arg0, ATSstrcst("\n")) ;
/* tmp684 = */ atspre_fprint_string (arg0, ATSstrcst("...")) ;
/* tmp608 = */ atspre_fprint_string (arg0, ATSstrcst("\n)")) ;
break ;

/* branch: __ats_lab_142 */
__ats_lab_142_0:
if (((ats_sum_ptr_type)tmp609)->tag != 24) { goto __ats_lab_143_0 ; }
__ats_lab_142_1:
/* tmp685 = */ atspre_fprint_string (arg0, ATSstrcst("D2Cstaload(\n")) ;
/* tmp686 = */ atspre_fprint_string (arg0, ATSstrcst("...")) ;
/* tmp608 = */ atspre_fprint_string (arg0, ATSstrcst("\n)")) ;
break ;

/* branch: __ats_lab_143 */
__ats_lab_143_0:
if (((ats_sum_ptr_type)tmp609)->tag != 25) { goto __ats_lab_144_0 ; }
__ats_lab_143_1:
/* tmp687 = */ atspre_fprint_string (arg0, ATSstrcst("D2Cstaloadloc(\n")) ;
/* tmp688 = */ atspre_fprint_string (arg0, ATSstrcst("...")) ;
/* tmp608 = */ atspre_fprint_string (arg0, ATSstrcst("\n)")) ;
break ;

/* branch: __ats_lab_144 */
__ats_lab_144_0:
if (((ats_sum_ptr_type)tmp609)->tag != 26) { goto __ats_lab_145_0 ; }
__ats_lab_144_1:
/* tmp689 = */ atspre_fprint_string (arg0, ATSstrcst("D2Cdynload(\n")) ;
/* tmp690 = */ atspre_fprint_string (arg0, ATSstrcst("...")) ;
/* tmp608 = */ atspre_fprint_string (arg0, ATSstrcst("\n)")) ;
break ;

/* branch: __ats_lab_145 */
__ats_lab_145_0:
if (((ats_sum_ptr_type)tmp609)->tag != 27) { goto __ats_lab_146_0 ; }
__ats_lab_145_1:
/* tmp691 = */ atspre_fprint_string (arg0, ATSstrcst("D2Clocal(\n")) ;
/* tmp692 = */ atspre_fprint_string (arg0, ATSstrcst("...")) ;
/* tmp608 = */ atspre_fprint_string (arg0, ATSstrcst("\n)")) ;
break ;

/* branch: __ats_lab_146 */
__ats_lab_146_0:
if (((ats_sum_ptr_type)tmp609)->tag != 28) { goto __ats_lab_147_0 ; }
__ats_lab_146_1:
/* tmp608 = */ atspre_fprint_string (arg0, ATSstrcst("D2Cerrdec()")) ;
break ;

/* branch: __ats_lab_147 */
__ats_lab_147_0:
__ats_lab_147_1:
/* tmp608 = */ atspre_fprint_string (arg0, ATSstrcst("D2C...(...)")) ;
break ;
} while (0) ;
return /* (tmp608) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2ecl] */

/*
// /tmp/ATS-Postiats/src/pats_dynexp2_print.dats: 29596(line=1257, offs=3) -- 29657(line=1258, offs=48)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2eclist (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp693) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2eclist:
/* tmp693 = */ fprintlst_01696_ats_ptr_type (arg0, arg1, ATSstrcst("\n"), &_2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2ecl) ;
return /* (tmp693) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2eclist] */

/*
// /tmp/ATS-Postiats/src/pats_dynexp2_print.dats: 29708(line=1264, offs=3) -- 30875(line=1316, offs=4)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2lval (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp694) ;
ATSlocal (ats_ptr_type, tmp695) ;
ATSlocal (ats_ptr_type, tmp696) ;
// ATSlocal_void (tmp697) ;
// ATSlocal_void (tmp698) ;
// ATSlocal_void (tmp699) ;
// ATSlocal_void (tmp700) ;
ATSlocal (ats_ptr_type, tmp701) ;
ATSlocal (ats_ptr_type, tmp702) ;
// ATSlocal_void (tmp703) ;
// ATSlocal_void (tmp704) ;
// ATSlocal_void (tmp705) ;
// ATSlocal_void (tmp706) ;
ATSlocal (ats_ptr_type, tmp707) ;
ATSlocal (ats_ptr_type, tmp708) ;
// ATSlocal_void (tmp709) ;
// ATSlocal_void (tmp710) ;
// ATSlocal_void (tmp711) ;
// ATSlocal_void (tmp712) ;
ATSlocal (ats_ptr_type, tmp713) ;
ATSlocal (ats_ptr_type, tmp714) ;
// ATSlocal_void (tmp715) ;
// ATSlocal_void (tmp716) ;
// ATSlocal_void (tmp717) ;
// ATSlocal_void (tmp718) ;
ATSlocal (ats_ptr_type, tmp719) ;
// ATSlocal_void (tmp720) ;
// ATSlocal_void (tmp721) ;
ATSlocal (ats_ptr_type, tmp722) ;
// ATSlocal_void (tmp723) ;
// ATSlocal_void (tmp724) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2lval:
do {
/* branch: __ats_lab_148 */
__ats_lab_148_0:
if (((ats_sum_ptr_type)arg1)->tag != 0) { goto __ats_lab_149_0 ; }
__ats_lab_148_1:
tmp695 = ats_caselptrlab_mac(anairiats_sum_1, arg1, atslab_0) ;
tmp696 = ats_caselptrlab_mac(anairiats_sum_1, arg1, atslab_1) ;
/* tmp697 = */ atspre_fprint_string (arg0, ATSstrcst("D2LVALderef(")) ;
/* tmp698 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2exp (arg0, tmp695) ;
/* tmp699 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp700 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2lablst (arg0, tmp696) ;
/* tmp694 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_149 */
__ats_lab_149_0:
if (((ats_sum_ptr_type)arg1)->tag != 1) { goto __ats_lab_150_0 ; }
__ats_lab_149_1:
tmp701 = ats_caselptrlab_mac(anairiats_sum_1, arg1, atslab_0) ;
tmp702 = ats_caselptrlab_mac(anairiats_sum_1, arg1, atslab_1) ;
/* tmp703 = */ atspre_fprint_string (arg0, ATSstrcst("D2LVALvar_lin(")) ;
/* tmp704 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2var (arg0, tmp701) ;
/* tmp705 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp706 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2lablst (arg0, tmp702) ;
/* tmp694 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_150 */
__ats_lab_150_0:
if (((ats_sum_ptr_type)arg1)->tag != 2) { goto __ats_lab_151_0 ; }
__ats_lab_150_1:
tmp707 = ats_caselptrlab_mac(anairiats_sum_1, arg1, atslab_0) ;
tmp708 = ats_caselptrlab_mac(anairiats_sum_1, arg1, atslab_1) ;
/* tmp709 = */ atspre_fprint_string (arg0, ATSstrcst("D2LVALvar_mul(")) ;
/* tmp710 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2var (arg0, tmp707) ;
/* tmp711 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp712 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2lablst (arg0, tmp708) ;
/* tmp694 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_151 */
__ats_lab_151_0:
if (((ats_sum_ptr_type)arg1)->tag != 3) { goto __ats_lab_152_0 ; }
__ats_lab_151_1:
tmp713 = ats_caselptrlab_mac(anairiats_sum_17, arg1, atslab_1) ;
tmp714 = ats_caselptrlab_mac(anairiats_sum_17, arg1, atslab_3) ;
/* tmp715 = */ atspre_fprint_string (arg0, ATSstrcst("D2LVALarrsub(")) ;
/* tmp716 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2exp (arg0, tmp713) ;
/* tmp717 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp718 = */ fprintlst_01696_ats_ptr_type (arg0, tmp714, ATSstrcst(", "), &_2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2exp) ;
/* tmp694 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_152 */
__ats_lab_152_0:
if (((ats_sum_ptr_type)arg1)->tag != 4) { goto __ats_lab_153_0 ; }
__ats_lab_152_1:
tmp719 = ats_caselptrlab_mac(anairiats_sum_0, arg1, atslab_0) ;
/* tmp720 = */ atspre_fprint_string (arg0, ATSstrcst("D2LVALviewat(")) ;
/* tmp721 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2exp (arg0, tmp719) ;
/* tmp694 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_153 */
__ats_lab_153_0:
// if (((ats_sum_ptr_type)arg1)->tag != 5) { ats_deadcode_failure_handle () ; }
__ats_lab_153_1:
tmp722 = ats_caselptrlab_mac(anairiats_sum_0, arg1, atslab_0) ;
/* tmp723 = */ atspre_fprint_string (arg0, ATSstrcst("D2LVALnone(")) ;
/* tmp724 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2exp (arg0, tmp722) ;
/* tmp694 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;
} while (0) ;
return /* (tmp694) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2lval] */

/*
// /tmp/ATS-Postiats/src/pats_dynexp2_print.dats: 30949(line=1321, offs=14) -- 30984(line=1321, offs=49)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__print_d2lval (ats_ptr_type arg0) {
/* local vardec */
// ATSlocal_void (tmp725) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__print_d2lval:
/* tmp725 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2lval (stdout, arg0) ;
return /* (tmp725) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__print_d2lval] */

/*
// /tmp/ATS-Postiats/src/pats_dynexp2_print.dats: 31008(line=1323, offs=14) -- 31043(line=1323, offs=49)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__prerr_d2lval (ats_ptr_type arg0) {
/* local vardec */
// ATSlocal_void (tmp726) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__prerr_d2lval:
/* tmp726 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2lval (stderr, arg0) ;
return /* (tmp726) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__prerr_d2lval] */

/* 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_basics_2esats__staload (void) ;
extern ats_void_type _2tmp_2ATS_2dPostiats_2src_2pats_lexing_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_syntax_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_staexp2_2esats__staload (void) ;
extern ats_void_type _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__staload (void) ;

ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_print_2edats__staload () {
static int _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_print_2edats__staload_flag = 0 ;
if (_2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_print_2edats__staload_flag) return ;
_2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_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_basics_2esats__staload () ;
_2tmp_2ATS_2dPostiats_2src_2pats_lexing_2esats__staload () ;
_2tmp_2ATS_2dPostiats_2src_2pats_symbol_2esats__staload () ;
_2tmp_2ATS_2dPostiats_2src_2pats_syntax_2esats__staload () ;
_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__staload () ;
_2tmp_2ATS_2dPostiats_2src_2pats_staexp2_2esats__staload () ;
_2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__staload () ;

return ;
} /* staload function */

/* dynamic load function */

// dynload flag declaration
extern ats_int_type _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_print_2edats__dynload_flag ;

ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_print_2edats__dynload () {
_2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_print_2edats__dynload_flag = 1 ;
_2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_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_dynexp2_print_dats.c] */
