/*
**
** The C code is generated by ATS/Anairiats
** The compilation time is: 2016-7-18: 22h:45m
**
*/

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

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

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_lexbuf.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_lexbuf.cats"

#include "pats_location.cats"

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

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

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

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

typedef
struct {
ats_ptr_type atslab_i0de_loc ;
ats_ptr_type atslab_i0de_sym ;
} anairiats_rec_4 ;

typedef
struct {
ats_ptr_type atslab_s0rtq_loc ;
ats_ptr_type atslab_s0rtq_node ;
} anairiats_rec_5 ;

typedef struct {
ats_ptr_type atslab_0 ;
} anairiats_sum_6 ;

typedef
struct {
ats_ptr_type atslab_s0taq_loc ;
ats_ptr_type atslab_s0taq_node ;
} anairiats_rec_7 ;

typedef
struct {
ats_ptr_type atslab_sqi0de_loc ;
ats_ptr_type atslab_sqi0de_qua ;
ats_ptr_type atslab_sqi0de_sym ;
} anairiats_rec_8 ;

typedef
struct {
ats_ptr_type atslab_d0ynq_loc ;
ats_ptr_type atslab_d0ynq_node ;
} anairiats_rec_9 ;

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

typedef
struct {
ats_ptr_type atslab_dqi0de_loc ;
ats_ptr_type atslab_dqi0de_qua ;
ats_ptr_type atslab_dqi0de_sym ;
} anairiats_rec_11 ;

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

typedef
struct {
ats_ptr_type atslab_e0xp_loc ;
ats_ptr_type atslab_e0xp_node ;
} anairiats_rec_13 ;

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

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

typedef
struct {
ats_ptr_type atslab_l0ab_loc ;
ats_ptr_type atslab_l0ab_lab ;
} anairiats_rec_16 ;

typedef
struct {
ats_ptr_type atslab_s0rt_loc ;
ats_ptr_type atslab_s0rt_node ;
} anairiats_rec_17 ;

typedef
struct {
ats_ptr_type atslab_d0atsrtcon_loc ;
ats_ptr_type atslab_d0atsrtcon_sym ;
ats_ptr_type atslab_d0atsrtcon_arg ;
} anairiats_rec_18 ;

typedef
struct {
ats_ptr_type atslab_d0atsrtdec_loc ;
ats_ptr_type atslab_d0atsrtdec_sym ;
ats_ptr_type atslab_d0atsrtdec_con ;
} anairiats_rec_19 ;

typedef
struct {
ats_ptr_type atslab_a0srt_loc ;
ats_ptr_type atslab_a0srt_sym ;
ats_ptr_type atslab_a0srt_srt ;
} anairiats_rec_20 ;

typedef
struct {
ats_ptr_type atslab_a0msrt_loc ;
ats_ptr_type atslab_a0msrt_arg ;
} anairiats_rec_21 ;

typedef
struct {
ats_ptr_type atslab_s0rtext_loc ;
ats_ptr_type atslab_s0rtext_node ;
} anairiats_rec_22 ;

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

typedef
struct {
ats_ptr_type atslab_s0qua_loc ;
ats_ptr_type atslab_s0qua_node ;
} anairiats_rec_24 ;

typedef
struct {
ats_ptr_type atslab_s0exp_loc ;
ats_ptr_type atslab_s0exp_node ;
} anairiats_rec_25 ;

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

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

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

typedef struct {
ats_ptr_type atslab_0 ;
ats_ptr_type atslab_1 ;
ats_ptr_type atslab_2 ;
} anairiats_sum_29 ;

typedef
struct {
ats_ptr_type atslab_q0marg_loc ;
ats_ptr_type atslab_q0marg_arg ;
} anairiats_rec_30 ;

typedef
struct {
ats_ptr_type atslab_p0at_loc ;
ats_ptr_type atslab_p0at_node ;
} anairiats_rec_31 ;

typedef
struct {
ats_ptr_type atslab_labp0at_loc ;
ats_ptr_type atslab_labp0at_node ;
} anairiats_rec_32 ;

typedef
struct {
ats_ptr_type atslab_d0exp_loc ;
ats_ptr_type atslab_d0exp_node ;
} anairiats_rec_33 ;

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

typedef
struct {
ats_ptr_type atslab_s0tacon_loc ;
ats_ptr_type atslab_s0tacon_sym ;
ats_ptr_type atslab_s0tacon_arg ;
ats_ptr_type atslab_s0tacon_def ;
} anairiats_rec_35 ;

typedef
struct {
ats_ptr_type atslab_s0tacst_loc ;
ats_ptr_type atslab_s0tacst_sym ;
ats_ptr_type atslab_s0tacst_arg ;
ats_ptr_type atslab_s0tacst_res ;
ats_ptr_type atslab_s0tacst_extopt ;
} anairiats_rec_36 ;

typedef
struct {
ats_ptr_type atslab_d0ecl_loc ;
ats_ptr_type atslab_d0ecl_node ;
} anairiats_rec_37 ;

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

/* 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, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_lexing_2esats__T_INT_147) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_lexing_2esats__T_CHAR_148) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_lexing_2esats__T_FLOAT_149) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_lexing_2esats__T_STRING_151) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__MSKencode_0) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__MSKdecode_1) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__MSKxstage_2) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__CSTSPmyfil_0) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__CSTSPmyloc_1) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__CSTSPmyfun_2) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__S0RTQnone_0) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__S0RTQsymdot_1) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__S0TAQnone_0) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__S0TAQsymdot_1) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__S0TAQsymcolon_2) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0YNQnone_0) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0YNQsymdot_1) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0YNQsymcolon_2) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0YNQsymdotcolon_3) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__P0RECint_0) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__P0RECi0de_1) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__P0RECi0de_adj_2) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__F0XTYinf_0) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__F0XTYpre_1) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__F0XTYpos_2) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__E0XPACTerror_0) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__E0XPACTprerr_1) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__E0XPACTprint_2) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__E0XPACTassert_3) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__E0XPide_0) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__E0XPint_1) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__E0XPchar_2) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__E0XPfloat_3) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__E0XPstring_4) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__E0XPstringid_5) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__E0XPapp_6) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__E0XPfun_7) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__E0XPeval_8) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__E0XPlist_9) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__E0XPif_10) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__SL0ABELED_0) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__DL0ABELED_0) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__S0RTide_0) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__S0RTqid_1) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__S0RTapp_2) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__S0RTlist_3) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__S0RTtype_4) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__S0QUAprop_0) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__S0QUAvars_1) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__S0TEsrt_0) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__S0TEsub_1) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__S0Eide_0) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__S0Esqid_1) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__S0Eopid_2) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__S0Eint_3) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__S0Echar_4) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__S0Efloat_5) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__S0Estring_6) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__S0Eextype_7) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__S0Eextkind_8) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__S0Eapp_9) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__S0Elam_10) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__S0Eimp_11) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__S0Elist_12) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__S0Elist2_13) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__S0Etyarr_14) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__S0Etytup_15) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__S0Etyrec_16) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__S0Etyrec_ext_17) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__S0Euni_18) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__S0Eexi_19) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__S0Eann_20) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__S0Ed2ctype_21) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__S0EXPARGone_0) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__S0EXPARGall_1) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__S0EXPARGseq_2) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__LABP0ATnorm_0) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__LABP0ATomit_1) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__P0Tide_0) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__P0Tdqid_1) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__P0Topid_2) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__P0Tint_3) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__P0Tchar_4) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__P0Tfloat_5) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__P0Tstring_6) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__P0Tapp_7) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__P0Tlist_8) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__P0Tlst_9) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__P0Ttup_10) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__P0Trec_11) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__P0Tfree_12) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__P0Tunfold_13) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__P0Texist_14) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__P0Tsvararg_15) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__P0Trefas_16) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__P0Tann_17) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__P0Terr_18) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Eide_0) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Edqid_1) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Eopid_2) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Eidext_3) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Eint_4) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Echar_5) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Efloat_6) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Estring_7) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Eempty_8) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Ecstsp_9) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Eliteral_10) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Elet_17) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Edeclseq_18) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Ewhere_19) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Eapp_20) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Elist_21) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Eifhead_22) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Esifhead_23) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Eifcasehd_24) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Ecasehead_25) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Escasehead_26) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Elst_27) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Etup_28) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Erec_29) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Eseq_30) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Earrsub_31) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Earrpsz_32) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Earrinit_33) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Eptrof_34) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Eviewat_35) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Esel_lab_36) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Esel_ind_37) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Eraise_38) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Eeffmask_39) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Eeffmask_arg_40) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Eshowtype_41) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Evcopyenv_42) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Etempenver_43) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Esexparg_44) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Eann_46) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Elam_47) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Efix_48) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Edelay_49) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Efor_50) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Ewhile_51) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Eloopexn_52) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Etrywith_53) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Esolassert_55) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Esolverify_56) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Cfixity_0) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Cnonfix_1) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Csymintr_2) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Csymelim_3) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Coverload_4) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Ce0xpdef_5) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Ce0xpundef_6) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Ce0xpact_7) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Cpragma_8) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Ccodegen_9) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Cdatsrts_10) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Csrtdefs_11) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Cstacsts_12) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Cstacons_13) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Ctkindef_14) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Csexpdefs_15) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Csaspdec_16) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Cexndecs_17) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Cdatdecs_18) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Cclassdec_19) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Cextype_20) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Cextype_21) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Cextvar_22) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Cextcode_23) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Cdcstdecs_24) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Cimpdec_25) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Cmacdefs_26) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Cfundecs_27) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Cvaldecs_28) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Cvardecs_29) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Cinclude_30) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Cstaload_31) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Cstaloadnm_32) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Cstaloadloc_33) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Crequire_34) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Cdynload_35) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Clocal_36) ;
ATSextern_val(ats_sum_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Cguadecl_37) ;

/* external dynamic constant declarations */
ATSextern_fun(ats_void_type, atspre_fprint_newline) (ats_ptr_type) ;
ATSextern_fun(ats_bool_type, atspre_neg_bool) (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_ptr_type, _2home_2hwxi_2Research_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, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_symbol_2esats__fprint_symbol) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_symbol_2esats__fprint_symbolopt) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_label_2esats__fprint_label) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_macsynkind) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_cstsp) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_i0nt) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_c0har) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_f0loat) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_s0tring) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_i0de) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_s0rtq) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_s0taq) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_d0ynq) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_dqi0de) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_f0xty) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_e0xpactkind) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_e0xp) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_e0xplst) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_l0ab) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_s0rt) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_d0atsrtdec) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_s0rtext) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_s0qua) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_s0qualst) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_s0exp) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_s0explst) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_s0expopt) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_labs0exp) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_q0marg) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_s0exparg) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_p0at) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_labp0at) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_d0exp) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_d0explst) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_d0expopt) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_labd0exp) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_d0ecl) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_d0eclist) (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 _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_utils_2edats____assert_prfck () ;
extern
ats_void_type _2home_2hwxi_2Research_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_29 (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_29_closure_make (ats_ptr_type env0, ats_ptr_type env1, ats_ptr_type env2) ;
static
ats_void_type aux_29_clofun (ats_clo_ptr_type cloptr, ats_ptr_type arg0, ats_int_type arg1) ;
static
ats_void_type fprintlst_01694_ats_ptr_type (ats_ptr_type arg0, ats_ptr_type arg1, ats_ptr_type arg2, ats_ptr_type arg3) ;
static
ats_void_type fprintopt_01695_ats_ptr_type (ats_ptr_type arg0, ats_ptr_type arg1, ats_ptr_type arg2) ;
static
ats_void_type fprint_d0atsrtcon_34 (ats_ptr_type arg0, ats_ptr_type arg1) ;
static
ats_void_type fprint_a0srt_36 (ats_ptr_type arg0, ats_ptr_type arg1) ;
static
ats_void_type fprint_a0msrt_37 (ats_ptr_type arg0, ats_ptr_type arg1) ;
static
ats_void_type fprint_s0tacon_54 (ats_ptr_type arg0, ats_ptr_type arg1) ;
static
ats_void_type fprint_s0tacst_55 (ats_ptr_type arg0, ats_ptr_type arg1) ;

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

/* function implementations */

/*
// /home/hwxi/Research/ATS-Postiats/src/pats_syntax_print.dats: 1707(line=54, offs=3) -- 1944(line=64, offs=4)
*/
ATSglobaldec()
ats_void_type
_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_macsynkind (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp0) ;

__ats_lab__2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_macsynkind:
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:
/* tmp0 = */ atspre_fprint_string (arg0, ATSstrcst("MSKencode")) ;
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:
/* tmp0 = */ atspre_fprint_string (arg0, ATSstrcst("MSKdecode")) ;
break ;

/* branch: __ats_lab_2 */
__ats_lab_2_0:
// if (((ats_sum_ptr_type)arg1)->tag != 2) { ats_deadcode_failure_handle () ; }
__ats_lab_2_1:
/* tmp0 = */ atspre_fprint_string (arg0, ATSstrcst("MSKxstage")) ;
break ;
} while (0) ;
return /* (tmp0) */ ;
} /* end of [_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_macsynkind] */

/*
// /home/hwxi/Research/ATS-Postiats/src/pats_syntax_print.dats: 2003(line=67, offs=18) -- 2042(line=67, offs=57)
*/
ATSglobaldec()
ats_void_type
_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__print_macsynkind (ats_ptr_type arg0) {
/* local vardec */
// ATSlocal_void (tmp1) ;

__ats_lab__2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__print_macsynkind:
/* tmp1 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_macsynkind (stdout, arg0) ;
return /* (tmp1) */ ;
} /* end of [_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__print_macsynkind] */

/*
// /home/hwxi/Research/ATS-Postiats/src/pats_syntax_print.dats: 2070(line=69, offs=18) -- 2109(line=69, offs=57)
*/
ATSglobaldec()
ats_void_type
_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__prerr_macsynkind (ats_ptr_type arg0) {
/* local vardec */
// ATSlocal_void (tmp2) ;

__ats_lab__2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__prerr_macsynkind:
/* tmp2 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_macsynkind (stderr, arg0) ;
return /* (tmp2) */ ;
} /* end of [_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__prerr_macsynkind] */

/*
// /home/hwxi/Research/ATS-Postiats/src/pats_syntax_print.dats: 2157(line=75, offs=3) -- 2350(line=79, offs=56)
*/
ATSglobaldec()
ats_void_type
_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_cstsp (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp3) ;

__ats_lab__2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_cstsp:
do {
/* branch: __ats_lab_3 */
__ats_lab_3_0:
if (((ats_sum_ptr_type)arg1)->tag != 0) { goto __ats_lab_4_0 ; }
__ats_lab_3_1:
/* tmp3 = */ atspre_fprint_string (arg0, ATSstrcst("$myfilename")) ;
break ;

/* branch: __ats_lab_4 */
__ats_lab_4_0:
if (((ats_sum_ptr_type)arg1)->tag != 1) { goto __ats_lab_5_0 ; }
__ats_lab_4_1:
/* tmp3 = */ atspre_fprint_string (arg0, ATSstrcst("$mylocation")) ;
break ;

/* branch: __ats_lab_5 */
__ats_lab_5_0:
// if (((ats_sum_ptr_type)arg1)->tag != 2) { ats_deadcode_failure_handle () ; }
__ats_lab_5_1:
/* tmp3 = */ atspre_fprint_string (arg0, ATSstrcst("$myfunction")) ;
break ;
} while (0) ;
return /* (tmp3) */ ;
} /* end of [_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_cstsp] */

/*
// /home/hwxi/Research/ATS-Postiats/src/pats_syntax_print.dats: 2552(line=90, offs=3) -- 2643(line=95, offs=4)
*/
ATSglobaldec()
ats_void_type
_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_i0nt (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp4) ;
ATSlocal (ats_ptr_type, tmp5) ;
ATSlocal (ats_ptr_type, tmp6) ;

__ats_lab__2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_i0nt:
tmp5 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_0, arg1), atslab_token_node) ;
if (((ats_sum_ptr_type)tmp5)->tag != 147) { ats_caseof_failure_handle ("/home/hwxi/Research/ATS-Postiats/src/pats_syntax_print.dats: 2574(line=92, offs=5) -- 2608(line=93, offs=29)") ; }
tmp6 = ats_caselptrlab_mac(anairiats_sum_1, tmp5, atslab_1) ;
/* tmp4 = */ atspre_fprint_string (arg0, tmp6) ;
return /* (tmp4) */ ;
} /* end of [_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_i0nt] */

/*
// /home/hwxi/Research/ATS-Postiats/src/pats_syntax_print.dats: 2694(line=99, offs=3) -- 2772(line=101, offs=4)
*/
ATSglobaldec()
ats_void_type
_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_c0har (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp7) ;
ATSlocal (ats_ptr_type, tmp8) ;
ATSlocal (ats_char_type, tmp9) ;

__ats_lab__2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_c0har:
tmp8 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_0, arg1), atslab_token_node) ;
if (((ats_sum_ptr_type)tmp8)->tag != 148) { ats_caseof_failure_handle ("/home/hwxi/Research/ATS-Postiats/src/pats_syntax_print.dats: 2715(line=100, offs=7) -- 2742(line=100, offs=34)") ; }
tmp9 = ats_caselptrlab_mac(anairiats_sum_2, tmp8, atslab_0) ;
/* tmp7 = */ atspre_fprint_char (arg0, tmp9) ;
return /* (tmp7) */ ;
} /* end of [_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_c0har] */

/*
// /home/hwxi/Research/ATS-Postiats/src/pats_syntax_print.dats: 2825(line=105, offs=3) -- 2923(line=110, offs=4)
*/
ATSglobaldec()
ats_void_type
_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_f0loat (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp10) ;
ATSlocal (ats_ptr_type, tmp11) ;
ATSlocal (ats_ptr_type, tmp12) ;

__ats_lab__2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_f0loat:
tmp11 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_0, arg1), atslab_token_node) ;
if (((ats_sum_ptr_type)tmp11)->tag != 149) { ats_caseof_failure_handle ("/home/hwxi/Research/ATS-Postiats/src/pats_syntax_print.dats: 2847(line=107, offs=5) -- 2888(line=108, offs=34)") ; }
tmp12 = ats_caselptrlab_mac(anairiats_sum_1, tmp11, atslab_1) ;
/* tmp10 = */ atspre_fprint_string (arg0, tmp12) ;
return /* (tmp10) */ ;
} /* end of [_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_f0loat] */

/*
// /home/hwxi/Research/ATS-Postiats/src/pats_syntax_print.dats: 2978(line=114, offs=3) -- 3060(line=116, offs=4)
*/
ATSglobaldec()
ats_void_type
_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_s0tring (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp13) ;
ATSlocal (ats_ptr_type, tmp14) ;
ATSlocal (ats_ptr_type, tmp15) ;

__ats_lab__2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_s0tring:
tmp14 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_0, arg1), atslab_token_node) ;
if (((ats_sum_ptr_type)tmp14)->tag != 151) { ats_caseof_failure_handle ("/home/hwxi/Research/ATS-Postiats/src/pats_syntax_print.dats: 2999(line=115, offs=7) -- 3028(line=115, offs=36)") ; }
tmp15 = ats_caselptrlab_mac(anairiats_sum_3, tmp14, atslab_0) ;
/* tmp13 = */ atspre_fprint_string (arg0, tmp15) ;
return /* (tmp13) */ ;
} /* end of [_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_s0tring] */

/*
// /home/hwxi/Research/ATS-Postiats/src/pats_syntax_print.dats: 3132(line=122, offs=3) -- 3174(line=122, offs=45)
*/
ATSglobaldec()
ats_void_type
_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_i0de (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp16) ;
ATSlocal (ats_ptr_type, tmp17) ;

__ats_lab__2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_i0de:
tmp17 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_4, arg1), atslab_i0de_sym) ;
/* tmp16 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_symbol_2esats__fprint_symbol (arg0, tmp17) ;
return /* (tmp16) */ ;
} /* end of [_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_i0de] */

/*
// /home/hwxi/Research/ATS-Postiats/src/pats_syntax_print.dats: 3221(line=125, offs=22) -- 3254(line=125, offs=55)
*/
ATSglobaldec()
ats_void_type
_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__print_i0de (ats_ptr_type arg0) {
/* local vardec */
// ATSlocal_void (tmp18) ;

__ats_lab__2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__print_i0de:
/* tmp18 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_i0de (stdout, arg0) ;
return /* (tmp18) */ ;
} /* end of [_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__print_i0de] */

/*
// /home/hwxi/Research/ATS-Postiats/src/pats_syntax_print.dats: 3276(line=126, offs=22) -- 3309(line=126, offs=55)
*/
ATSglobaldec()
ats_void_type
_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__prerr_i0de (ats_ptr_type arg0) {
/* local vardec */
// ATSlocal_void (tmp19) ;

__ats_lab__2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__prerr_i0de:
/* tmp19 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_i0de (stderr, arg0) ;
return /* (tmp19) */ ;
} /* end of [_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__prerr_i0de] */

/*
// /home/hwxi/Research/ATS-Postiats/src/pats_syntax_print.dats: 3355(line=131, offs=14) -- 3525(line=137, offs=6)
*/
ATSglobaldec()
ats_void_type
_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_s0rtq (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp20) ;
ATSlocal (ats_ptr_type, tmp21) ;
ATSlocal (ats_ptr_type, tmp22) ;
// ATSlocal_void (tmp23) ;

__ats_lab__2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_s0rtq:
tmp21 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_5, arg1), atslab_s0rtq_node) ;
do {
/* branch: __ats_lab_6 */
__ats_lab_6_0:
if (tmp21 != (ats_sum_ptr_type)0) { goto __ats_lab_7_0 ; }
__ats_lab_6_1:
break ;

/* branch: __ats_lab_7 */
__ats_lab_7_0:
// if (tmp21 == (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; }
__ats_lab_7_1:
tmp22 = ats_caselptrlab_mac(anairiats_sum_6, tmp21, atslab_0) ;
/* tmp23 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_symbol_2esats__fprint_symbol (arg0, tmp22) ;
/* tmp20 = */ atspre_fprint_string (arg0, ATSstrcst(".")) ;
break ;
} while (0) ;
return /* (tmp20) */ ;
} /* end of [_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_s0rtq] */

/*
// /home/hwxi/Research/ATS-Postiats/src/pats_syntax_print.dats: 3574(line=140, offs=23) -- 3608(line=140, offs=57)
*/
ATSglobaldec()
ats_void_type
_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__print_s0rtq (ats_ptr_type arg0) {
/* local vardec */
// ATSlocal_void (tmp24) ;

__ats_lab__2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__print_s0rtq:
/* tmp24 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_s0rtq (stdout, arg0) ;
return /* (tmp24) */ ;
} /* end of [_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__print_s0rtq] */

/*
// /home/hwxi/Research/ATS-Postiats/src/pats_syntax_print.dats: 3631(line=141, offs=23) -- 3665(line=141, offs=57)
*/
ATSglobaldec()
ats_void_type
_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__prerr_s0rtq (ats_ptr_type arg0) {
/* local vardec */
// ATSlocal_void (tmp25) ;

__ats_lab__2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__prerr_s0rtq:
/* tmp25 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_s0rtq (stderr, arg0) ;
return /* (tmp25) */ ;
} /* end of [_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__prerr_s0rtq] */

/*
// /home/hwxi/Research/ATS-Postiats/src/pats_syntax_print.dats: 3711(line=146, offs=14) -- 3996(line=156, offs=6)
*/
ATSglobaldec()
ats_void_type
_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_s0taq (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp26) ;
ATSlocal (ats_ptr_type, tmp27) ;
ATSlocal (ats_ptr_type, tmp28) ;
// ATSlocal_void (tmp29) ;
ATSlocal (ats_ptr_type, tmp30) ;
// ATSlocal_void (tmp31) ;

__ats_lab__2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_s0taq:
tmp27 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_7, arg1), atslab_s0taq_node) ;
do {
/* branch: __ats_lab_8 */
__ats_lab_8_0:
if (((ats_sum_ptr_type)tmp27)->tag != 0) { goto __ats_lab_9_0 ; }
__ats_lab_8_1:
break ;

/* branch: __ats_lab_9 */
__ats_lab_9_0:
if (((ats_sum_ptr_type)tmp27)->tag != 1) { goto __ats_lab_10_0 ; }
__ats_lab_9_1:
tmp28 = ats_caselptrlab_mac(anairiats_sum_3, tmp27, atslab_0) ;
/* tmp29 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_symbol_2esats__fprint_symbol (arg0, tmp28) ;
/* tmp26 = */ atspre_fprint_string (arg0, ATSstrcst(".")) ;
break ;

/* branch: __ats_lab_10 */
__ats_lab_10_0:
// if (((ats_sum_ptr_type)tmp27)->tag != 2) { ats_deadcode_failure_handle () ; }
__ats_lab_10_1:
tmp30 = ats_caselptrlab_mac(anairiats_sum_3, tmp27, atslab_0) ;
/* tmp31 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_symbol_2esats__fprint_symbol (arg0, tmp30) ;
/* tmp26 = */ atspre_fprint_string (arg0, ATSstrcst(":")) ;
break ;
} while (0) ;
return /* (tmp26) */ ;
} /* end of [_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_s0taq] */

/*
// /home/hwxi/Research/ATS-Postiats/src/pats_syntax_print.dats: 4045(line=159, offs=23) -- 4079(line=159, offs=57)
*/
ATSglobaldec()
ats_void_type
_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__print_s0taq (ats_ptr_type arg0) {
/* local vardec */
// ATSlocal_void (tmp32) ;

__ats_lab__2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__print_s0taq:
/* tmp32 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_s0taq (stdout, arg0) ;
return /* (tmp32) */ ;
} /* end of [_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__print_s0taq] */

/*
// /home/hwxi/Research/ATS-Postiats/src/pats_syntax_print.dats: 4102(line=160, offs=23) -- 4136(line=160, offs=57)
*/
ATSglobaldec()
ats_void_type
_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__prerr_s0taq (ats_ptr_type arg0) {
/* local vardec */
// ATSlocal_void (tmp33) ;

__ats_lab__2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__prerr_s0taq:
/* tmp33 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_s0taq (stderr, arg0) ;
return /* (tmp33) */ ;
} /* end of [_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__prerr_s0taq] */

/*
// /home/hwxi/Research/ATS-Postiats/src/pats_syntax_print.dats: 4162(line=163, offs=15) -- 4265(line=166, offs=2)
*/
ATSglobaldec()
ats_void_type
_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_sqi0de (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp34) ;
// ATSlocal_void (tmp35) ;
ATSlocal (ats_ptr_type, tmp36) ;
ATSlocal (ats_ptr_type, tmp37) ;

__ats_lab__2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_sqi0de:
tmp36 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_8, arg1), atslab_sqi0de_qua) ;
/* tmp35 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_s0taq (arg0, tmp36) ;
tmp37 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_8, arg1), atslab_sqi0de_sym) ;
/* tmp34 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_symbol_2esats__fprint_symbol (arg0, tmp37) ;
return /* (tmp34) */ ;
} /* end of [_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_sqi0de] */

/*
// /home/hwxi/Research/ATS-Postiats/src/pats_syntax_print.dats: 4337(line=171, offs=14) -- 4789(line=186, offs=6)
*/
ATSglobaldec()
ats_void_type
_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_d0ynq (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp38) ;
ATSlocal (ats_ptr_type, tmp39) ;
ATSlocal (ats_ptr_type, tmp40) ;
// ATSlocal_void (tmp41) ;
ATSlocal (ats_ptr_type, tmp42) ;
// ATSlocal_void (tmp43) ;
ATSlocal (ats_ptr_type, tmp44) ;
ATSlocal (ats_ptr_type, tmp45) ;
// ATSlocal_void (tmp46) ;
// ATSlocal_void (tmp47) ;

__ats_lab__2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_d0ynq:
tmp39 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_9, arg1), atslab_d0ynq_node) ;
do {
/* branch: __ats_lab_11 */
__ats_lab_11_0:
if (((ats_sum_ptr_type)tmp39)->tag != 0) { goto __ats_lab_12_0 ; }
__ats_lab_11_1:
break ;

/* branch: __ats_lab_12 */
__ats_lab_12_0:
if (((ats_sum_ptr_type)tmp39)->tag != 1) { goto __ats_lab_13_0 ; }
__ats_lab_12_1:
tmp40 = ats_caselptrlab_mac(anairiats_sum_3, tmp39, atslab_0) ;
/* tmp41 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_symbol_2esats__fprint_symbol (arg0, tmp40) ;
/* tmp38 = */ atspre_fprint_string (arg0, ATSstrcst(".")) ;
break ;

/* branch: __ats_lab_13 */
__ats_lab_13_0:
if (((ats_sum_ptr_type)tmp39)->tag != 2) { goto __ats_lab_14_0 ; }
__ats_lab_13_1:
tmp42 = ats_caselptrlab_mac(anairiats_sum_3, tmp39, atslab_0) ;
/* tmp43 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_symbol_2esats__fprint_symbol (arg0, tmp42) ;
/* tmp38 = */ atspre_fprint_string (arg0, ATSstrcst(":")) ;
break ;

/* branch: __ats_lab_14 */
__ats_lab_14_0:
// if (((ats_sum_ptr_type)tmp39)->tag != 3) { ats_deadcode_failure_handle () ; }
__ats_lab_14_1:
tmp44 = ats_caselptrlab_mac(anairiats_sum_10, tmp39, atslab_0) ;
tmp45 = ats_caselptrlab_mac(anairiats_sum_10, tmp39, atslab_1) ;
/* tmp46 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_symbol_2esats__fprint_symbol (arg0, tmp44) ;
/* tmp47 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_symbol_2esats__fprint_symbol (arg0, tmp45) ;
/* tmp38 = */ atspre_fprint_string (arg0, ATSstrcst(":")) ;
break ;
} while (0) ;
return /* (tmp38) */ ;
} /* end of [_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_d0ynq] */

/*
// /home/hwxi/Research/ATS-Postiats/src/pats_syntax_print.dats: 4838(line=189, offs=23) -- 4872(line=189, offs=57)
*/
ATSglobaldec()
ats_void_type
_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__print_d0ynq (ats_ptr_type arg0) {
/* local vardec */
// ATSlocal_void (tmp48) ;

__ats_lab__2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__print_d0ynq:
/* tmp48 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_d0ynq (stdout, arg0) ;
return /* (tmp48) */ ;
} /* end of [_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__print_d0ynq] */

/*
// /home/hwxi/Research/ATS-Postiats/src/pats_syntax_print.dats: 4895(line=190, offs=23) -- 4929(line=190, offs=57)
*/
ATSglobaldec()
ats_void_type
_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__prerr_d0ynq (ats_ptr_type arg0) {
/* local vardec */
// ATSlocal_void (tmp49) ;

__ats_lab__2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__prerr_d0ynq:
/* tmp49 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_d0ynq (stderr, arg0) ;
return /* (tmp49) */ ;
} /* end of [_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__prerr_d0ynq] */

/*
// /home/hwxi/Research/ATS-Postiats/src/pats_syntax_print.dats: 4955(line=193, offs=15) -- 5058(line=196, offs=2)
*/
ATSglobaldec()
ats_void_type
_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_dqi0de (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp50) ;
// ATSlocal_void (tmp51) ;
ATSlocal (ats_ptr_type, tmp52) ;
ATSlocal (ats_ptr_type, tmp53) ;

__ats_lab__2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_dqi0de:
tmp52 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_11, arg1), atslab_dqi0de_qua) ;
/* tmp51 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_d0ynq (arg0, tmp52) ;
tmp53 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_11, arg1), atslab_dqi0de_sym) ;
/* tmp50 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_symbol_2esats__fprint_symbol (arg0, tmp53) ;
return /* (tmp50) */ ;
} /* end of [_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_dqi0de] */

/*
// /home/hwxi/Research/ATS-Postiats/src/pats_syntax_print.dats: 5109(line=198, offs=24) -- 5144(line=198, offs=59)
*/
ATSglobaldec()
ats_void_type
_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__print_dqi0de (ats_ptr_type arg0) {
/* local vardec */
// ATSlocal_void (tmp54) ;

__ats_lab__2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__print_dqi0de:
/* tmp54 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_dqi0de (stdout, arg0) ;
return /* (tmp54) */ ;
} /* end of [_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__print_dqi0de] */

/*
// /home/hwxi/Research/ATS-Postiats/src/pats_syntax_print.dats: 5168(line=199, offs=24) -- 5203(line=199, offs=59)
*/
ATSglobaldec()
ats_void_type
_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__prerr_dqi0de (ats_ptr_type arg0) {
/* local vardec */
// ATSlocal_void (tmp55) ;

__ats_lab__2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__prerr_dqi0de:
/* tmp55 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_dqi0de (stderr, arg0) ;
return /* (tmp55) */ ;
} /* end of [_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__prerr_dqi0de] */

/*
// /home/hwxi/Research/ATS-Postiats/src/pats_syntax_print.dats: 5249(line=204, offs=14) -- 5472(line=211, offs=4)
*/
ATSglobaldec()
ats_void_type
_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_p0rec (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp56) ;

__ats_lab__2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_p0rec:
do {
/* branch: __ats_lab_15 */
__ats_lab_15_0:
if (((ats_sum_ptr_type)arg1)->tag != 0) { goto __ats_lab_16_0 ; }
__ats_lab_15_1:
/* tmp56 = */ atspre_fprint_string (arg0, ATSstrcst("P0RECint(...)")) ;
break ;

/* branch: __ats_lab_16 */
__ats_lab_16_0:
if (((ats_sum_ptr_type)arg1)->tag != 1) { goto __ats_lab_17_0 ; }
__ats_lab_16_1:
/* tmp56 = */ atspre_fprint_string (arg0, ATSstrcst("P0RECi0de(...)")) ;
break ;

/* branch: __ats_lab_17 */
__ats_lab_17_0:
// if (((ats_sum_ptr_type)arg1)->tag != 2) { ats_deadcode_failure_handle () ; }
__ats_lab_17_1:
/* tmp56 = */ atspre_fprint_string (arg0, ATSstrcst("P0RECi0de_adj(...)")) ;
break ;
} while (0) ;
return /* (tmp56) */ ;
} /* end of [_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_p0rec] */

/*
// /home/hwxi/Research/ATS-Postiats/src/pats_syntax_print.dats: 5545(line=217, offs=3) -- 5749(line=227, offs=4)
*/
ATSglobaldec()
ats_void_type
_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_f0xty (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp57) ;

__ats_lab__2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_f0xty:
do {
/* branch: __ats_lab_18 */
__ats_lab_18_0:
if (((ats_sum_ptr_type)arg1)->tag != 0) { goto __ats_lab_19_0 ; }
__ats_lab_18_1:
/* tmp57 = */ atspre_fprint_string (arg0, ATSstrcst("F0XTYinf(...)")) ;
break ;

/* branch: __ats_lab_19 */
__ats_lab_19_0:
if (((ats_sum_ptr_type)arg1)->tag != 1) { goto __ats_lab_20_0 ; }
__ats_lab_19_1:
/* tmp57 = */ atspre_fprint_string (arg0, ATSstrcst("F0XTYpre(...)")) ;
break ;

/* branch: __ats_lab_20 */
__ats_lab_20_0:
// if (((ats_sum_ptr_type)arg1)->tag != 2) { ats_deadcode_failure_handle () ; }
__ats_lab_20_1:
/* tmp57 = */ atspre_fprint_string (arg0, ATSstrcst("F0XTYpos(...)")) ;
break ;
} while (0) ;
return /* (tmp57) */ ;
} /* end of [_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_f0xty] */

/*
// /home/hwxi/Research/ATS-Postiats/src/pats_syntax_print.dats: 5828(line=233, offs=3) -- 6099(line=241, offs=57)
*/
ATSglobaldec()
ats_void_type
_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_e0xpactkind (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp58) ;

__ats_lab__2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_e0xpactkind:
do {
/* branch: __ats_lab_21 */
__ats_lab_21_0:
if (((ats_sum_ptr_type)arg1)->tag != 3) { goto __ats_lab_22_0 ; }
__ats_lab_21_1:
/* tmp58 = */ atspre_fprint_string (arg0, ATSstrcst("E0XPACTassert")) ;
break ;

/* branch: __ats_lab_22 */
__ats_lab_22_0:
if (((ats_sum_ptr_type)arg1)->tag != 0) { goto __ats_lab_23_0 ; }
__ats_lab_22_1:
/* tmp58 = */ atspre_fprint_string (arg0, ATSstrcst("E0XPACTerror")) ;
break ;

/* branch: __ats_lab_23 */
__ats_lab_23_0:
if (((ats_sum_ptr_type)arg1)->tag != 1) { goto __ats_lab_24_0 ; }
__ats_lab_23_1:
/* tmp58 = */ atspre_fprint_string (arg0, ATSstrcst("E0XPACTprint")) ;
break ;

/* branch: __ats_lab_24 */
__ats_lab_24_0:
// if (((ats_sum_ptr_type)arg1)->tag != 2) { ats_deadcode_failure_handle () ; }
__ats_lab_24_1:
/* tmp58 = */ atspre_fprint_string (arg0, ATSstrcst("E0XPACTprint")) ;
break ;
} while (0) ;
return /* (tmp58) */ ;
} /* end of [_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_e0xpactkind] */

/*
// /home/hwxi/Research/ATS-Postiats/src/pats_utils.dats: 11030(line=541, offs=1) -- 11310(line=555, offs=2)
*/
ATSstaticdec()
ats_void_type
aux_29 (ats_ptr_type env0, ats_ptr_type env1, ats_ptr_type env2, ats_ptr_type arg0, ats_int_type arg1) {
/* local vardec */
// ATSlocal_void (tmp90) ;
ATSlocal (ats_ptr_type, tmp91) ;
ATSlocal (ats_ptr_type, tmp92) ;
// ATSlocal_void (tmp93) ;
ATSlocal (ats_bool_type, tmp94) ;
// ATSlocal_void (tmp95) ;
ATSlocal (ats_int_type, tmp96) ;

__ats_lab_aux_29:
do {
/* branch: __ats_lab_33 */
__ats_lab_33_0:
if (arg0 != (ats_sum_ptr_type)0) { goto __ats_lab_34_0 ; }
__ats_lab_33_1:
break ;

/* branch: __ats_lab_34 */
__ats_lab_34_0:
// if (arg0 == (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; }
__ats_lab_34_1:
tmp91 = ats_caselptrlab_mac(anairiats_sum_14, arg0, atslab_0) ;
tmp92 = ats_caselptrlab_mac(anairiats_sum_14, arg0, atslab_1) ;
tmp94 = atspre_gt_int_int (arg1, 0) ;
if (tmp94) {
/* tmp93 = */ atspre_fprint_string (env0, env1) ;
} else {
/* empty */
} /* end of [if] */
/* tmp95 = */ ((ats_void_type(*)(ats_ptr_type, ats_ptr_type))env2) (env0, tmp91) ;
tmp96 = atspre_add_int_int (arg1, 1) ;
arg0 = tmp92 ;
arg1 = tmp96 ;
goto __ats_lab_aux_29 ; // tail call
break ;
} while (0) ;
return /* (tmp90) */ ;
} /* end of [aux_29] */

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

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

ATSinline()
ats_void_type
aux_29_closure_init (aux_29_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_29_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_29_closure_make (ats_ptr_type env0, ats_ptr_type env1, ats_ptr_type env2) {
aux_29_closure_type *p_clo = ATS_MALLOC(sizeof(aux_29_closure_type)) ;
aux_29_closure_init (p_clo, env0, env1, env2) ;
return (ats_clo_ptr_type)p_clo ;
} /* end of function */

/*
// /home/hwxi/Research/ATS-Postiats/src/pats_utils.dats: 10990(line=536, offs=11) -- 11353(line=559, offs=4)
*/
ATSstaticdec()
ats_void_type
fprintlst_01694_ats_ptr_type (ats_ptr_type arg0, ats_ptr_type arg1, ats_ptr_type arg2, ats_ptr_type arg3) {
/* local vardec */
// ATSlocal_void (tmp89) ;

__ats_lab_fprintlst_01694_ats_ptr_type:
/* tmp89 = */ aux_29 (arg0, arg2, arg3, arg1, 0) ;
return /* (tmp89) */ ;
} /* end of [fprintlst_01694_ats_ptr_type] */

/*
// /home/hwxi/Research/ATS-Postiats/src/pats_utils.dats: 11429(line=566, offs=1) -- 11696(line=579, offs=8)
*/
ATSstaticdec()
ats_void_type
fprintopt_01695_ats_ptr_type (ats_ptr_type arg0, ats_ptr_type arg1, ats_ptr_type arg2) {
/* local vardec */
// ATSlocal_void (tmp114) ;
ATSlocal (ats_ptr_type, tmp115) ;
// ATSlocal_void (tmp116) ;
// ATSlocal_void (tmp117) ;

__ats_lab_fprintopt_01695_ats_ptr_type:
do {
/* branch: __ats_lab_38 */
__ats_lab_38_0:
if (arg1 != (ats_sum_ptr_type)0) { goto __ats_lab_39_0 ; }
__ats_lab_38_1:
/* tmp114 = */ atspre_fprint_string (arg0, ATSstrcst("None()")) ;
break ;

/* branch: __ats_lab_39 */
__ats_lab_39_0:
// if (arg1 == (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; }
__ats_lab_39_1:
tmp115 = ats_caselptrlab_mac(anairiats_sum_6, arg1, atslab_0) ;
/* tmp116 = */ atspre_fprint_string (arg0, ATSstrcst("Some(")) ;
/* tmp117 = */ ((ats_void_type(*)(ats_ptr_type, ats_ptr_type))arg2) (arg0, tmp115) ;
/* tmp114 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;
} while (0) ;
return /* (tmp114) */ ;
} /* end of [fprintopt_01695_ats_ptr_type] */

/*
// /home/hwxi/Research/ATS-Postiats/src/pats_syntax_print.dats: 6185(line=249, offs=3) -- 7991(line=316, offs=4)
*/
ATSglobaldec()
ats_void_type
_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_e0xp (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp59) ;
ATSlocal (ats_ptr_type, tmp60) ;
ATSlocal (ats_ptr_type, tmp61) ;
// ATSlocal_void (tmp62) ;
// ATSlocal_void (tmp63) ;
ATSlocal (ats_ptr_type, tmp64) ;
// ATSlocal_void (tmp65) ;
// ATSlocal_void (tmp66) ;
ATSlocal (ats_ptr_type, tmp67) ;
// ATSlocal_void (tmp68) ;
// ATSlocal_void (tmp69) ;
ATSlocal (ats_ptr_type, tmp70) ;
// ATSlocal_void (tmp71) ;
// ATSlocal_void (tmp72) ;
ATSlocal (ats_ptr_type, tmp73) ;
// ATSlocal_void (tmp74) ;
// ATSlocal_void (tmp75) ;
ATSlocal (ats_ptr_type, tmp76) ;
// ATSlocal_void (tmp77) ;
// ATSlocal_void (tmp78) ;
ATSlocal (ats_ptr_type, tmp79) ;
ATSlocal (ats_ptr_type, tmp80) ;
// ATSlocal_void (tmp81) ;
// ATSlocal_void (tmp82) ;
// ATSlocal_void (tmp83) ;
// ATSlocal_void (tmp84) ;
ATSlocal (ats_ptr_type, tmp85) ;
ATSlocal (ats_ptr_type, tmp86) ;
// ATSlocal_void (tmp87) ;
// ATSlocal_void (tmp88) ;
// ATSlocal_void (tmp97) ;
// ATSlocal_void (tmp98) ;
ATSlocal (ats_ptr_type, tmp99) ;
// ATSlocal_void (tmp100) ;
// ATSlocal_void (tmp101) ;
ATSlocal (ats_ptr_type, tmp102) ;
// ATSlocal_void (tmp103) ;
// ATSlocal_void (tmp104) ;
ATSlocal (ats_ptr_type, tmp105) ;
ATSlocal (ats_ptr_type, tmp106) ;
ATSlocal (ats_ptr_type, tmp107) ;
// ATSlocal_void (tmp108) ;
// ATSlocal_void (tmp109) ;
// ATSlocal_void (tmp110) ;
// ATSlocal_void (tmp111) ;
// ATSlocal_void (tmp112) ;
// ATSlocal_void (tmp113) ;

__ats_lab__2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_e0xp:
tmp60 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_13, arg1), atslab_e0xp_node) ;
do {
/* branch: __ats_lab_25 */
__ats_lab_25_0:
if (((ats_sum_ptr_type)tmp60)->tag != 0) { goto __ats_lab_26_0 ; }
__ats_lab_25_1:
tmp61 = ats_caselptrlab_mac(anairiats_sum_3, tmp60, atslab_0) ;
/* tmp62 = */ atspre_fprint_string (arg0, ATSstrcst("E0XPide(")) ;
/* tmp63 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_symbol_2esats__fprint_symbol (arg0, tmp61) ;
/* tmp59 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_26 */
__ats_lab_26_0:
if (((ats_sum_ptr_type)tmp60)->tag != 2) { goto __ats_lab_27_0 ; }
__ats_lab_26_1:
tmp64 = ats_caselptrlab_mac(anairiats_sum_3, tmp60, atslab_0) ;
/* tmp65 = */ atspre_fprint_string (arg0, ATSstrcst("E0XPchar(")) ;
/* tmp66 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_c0har (arg0, tmp64) ;
/* tmp59 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_27 */
__ats_lab_27_0:
if (((ats_sum_ptr_type)tmp60)->tag != 1) { goto __ats_lab_28_0 ; }
__ats_lab_27_1:
tmp67 = ats_caselptrlab_mac(anairiats_sum_3, tmp60, atslab_0) ;
/* tmp68 = */ atspre_fprint_string (arg0, ATSstrcst("E0XPint(")) ;
/* tmp69 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_i0nt (arg0, tmp67) ;
/* tmp59 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_28 */
__ats_lab_28_0:
if (((ats_sum_ptr_type)tmp60)->tag != 3) { goto __ats_lab_29_0 ; }
__ats_lab_28_1:
tmp70 = ats_caselptrlab_mac(anairiats_sum_3, tmp60, atslab_0) ;
/* tmp71 = */ atspre_fprint_string (arg0, ATSstrcst("E0XPfloat(")) ;
/* tmp72 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_f0loat (arg0, tmp70) ;
/* tmp59 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_29 */
__ats_lab_29_0:
if (((ats_sum_ptr_type)tmp60)->tag != 4) { goto __ats_lab_30_0 ; }
__ats_lab_29_1:
tmp73 = ats_caselptrlab_mac(anairiats_sum_3, tmp60, atslab_0) ;
/* tmp74 = */ atspre_fprint_string (arg0, ATSstrcst("E0XPstring(")) ;
/* tmp75 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_s0tring (arg0, tmp73) ;
/* tmp59 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_30 */
__ats_lab_30_0:
if (((ats_sum_ptr_type)tmp60)->tag != 5) { goto __ats_lab_31_0 ; }
__ats_lab_30_1:
tmp76 = ats_caselptrlab_mac(anairiats_sum_3, tmp60, atslab_0) ;
/* tmp77 = */ atspre_fprint_string (arg0, ATSstrcst("E0XPstringid(")) ;
/* tmp78 = */ atspre_fprint_string (arg0, tmp76) ;
/* tmp59 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_31 */
__ats_lab_31_0:
if (((ats_sum_ptr_type)tmp60)->tag != 6) { goto __ats_lab_32_0 ; }
__ats_lab_31_1:
tmp79 = ats_caselptrlab_mac(anairiats_sum_10, tmp60, atslab_0) ;
tmp80 = ats_caselptrlab_mac(anairiats_sum_10, tmp60, atslab_1) ;
/* tmp81 = */ atspre_fprint_string (arg0, ATSstrcst("E0XPapp(")) ;
/* tmp82 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_e0xp (arg0, tmp79) ;
/* tmp83 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp84 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_e0xp (arg0, tmp80) ;
/* tmp59 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_32 */
__ats_lab_32_0:
if (((ats_sum_ptr_type)tmp60)->tag != 7) { goto __ats_lab_35_0 ; }
__ats_lab_32_1:
tmp85 = ats_caselptrlab_mac(anairiats_sum_10, tmp60, atslab_0) ;
tmp86 = ats_caselptrlab_mac(anairiats_sum_10, tmp60, atslab_1) ;
/* tmp87 = */ atspre_fprint_string (arg0, ATSstrcst("E0XPfun(")) ;
/* tmp88 = */ fprintlst_01694_ats_ptr_type (arg0, tmp85, ATSstrcst(", "), &_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_symbol_2esats__fprint_symbol) ;
/* tmp97 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp98 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_e0xp (arg0, tmp86) ;
/* tmp59 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_35 */
__ats_lab_35_0:
if (((ats_sum_ptr_type)tmp60)->tag != 8) { goto __ats_lab_36_0 ; }
__ats_lab_35_1:
tmp99 = ats_caselptrlab_mac(anairiats_sum_3, tmp60, atslab_0) ;
/* tmp100 = */ atspre_fprint_string (arg0, ATSstrcst("E0XPeval(")) ;
/* tmp101 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_e0xp (arg0, tmp99) ;
/* tmp59 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_36 */
__ats_lab_36_0:
if (((ats_sum_ptr_type)tmp60)->tag != 9) { goto __ats_lab_37_0 ; }
__ats_lab_36_1:
tmp102 = ats_caselptrlab_mac(anairiats_sum_3, tmp60, atslab_0) ;
/* tmp103 = */ atspre_fprint_string (arg0, ATSstrcst("E0XPlist(")) ;
/* tmp104 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_e0xplst (arg0, tmp102) ;
/* tmp59 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_37 */
__ats_lab_37_0:
// if (((ats_sum_ptr_type)tmp60)->tag != 10) { ats_deadcode_failure_handle () ; }
__ats_lab_37_1:
tmp105 = ats_caselptrlab_mac(anairiats_sum_15, tmp60, atslab_0) ;
tmp106 = ats_caselptrlab_mac(anairiats_sum_15, tmp60, atslab_1) ;
tmp107 = ats_caselptrlab_mac(anairiats_sum_15, tmp60, atslab_2) ;
/* tmp108 = */ atspre_fprint_string (arg0, ATSstrcst("E0XPif(")) ;
/* tmp109 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_e0xp (arg0, tmp105) ;
/* tmp110 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp111 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_e0xp (arg0, tmp106) ;
/* tmp112 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp113 = */ fprintopt_01695_ats_ptr_type (arg0, tmp107, &_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_e0xp) ;
/* tmp59 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;
} while (0) ;
return /* (tmp59) */ ;
} /* end of [_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_e0xp] */

/*
// /home/hwxi/Research/ATS-Postiats/src/pats_syntax_print.dats: 8042(line=319, offs=16) -- 8104(line=320, offs=51)
*/
ATSglobaldec()
ats_void_type
_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_e0xplst (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp118) ;

__ats_lab__2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_e0xplst:
/* tmp118 = */ fprintlst_01694_ats_ptr_type (arg0, arg1, ATSstrcst(", "), &_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_e0xp) ;
return /* (tmp118) */ ;
} /* end of [_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_e0xplst] */

/*
// /home/hwxi/Research/ATS-Postiats/src/pats_syntax_print.dats: 8178(line=326, offs=3) -- 8219(line=326, offs=44)
*/
ATSglobaldec()
ats_void_type
_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_l0ab (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp119) ;
ATSlocal (ats_ptr_type, tmp120) ;

__ats_lab__2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_l0ab:
tmp120 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_16, arg1), atslab_l0ab_lab) ;
/* tmp119 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_label_2esats__fprint_label (arg0, tmp120) ;
return /* (tmp119) */ ;
} /* end of [_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_l0ab] */

/*
// /home/hwxi/Research/ATS-Postiats/src/pats_syntax_print.dats: 8288(line=332, offs=13) -- 9144(line=364, offs=4)
*/
ATSglobaldec()
ats_void_type
_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_s0rt (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp121) ;
ATSlocal (ats_ptr_type, tmp122) ;
ATSlocal (ats_ptr_type, tmp123) ;
ATSlocal (ats_ptr_type, tmp124) ;
// ATSlocal_void (tmp125) ;
// ATSlocal_void (tmp126) ;
// ATSlocal_void (tmp127) ;
// ATSlocal_void (tmp128) ;
ATSlocal (ats_ptr_type, 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 (ats_ptr_type, tmp137) ;
// ATSlocal_void (tmp138) ;
// ATSlocal_void (tmp139) ;
ATSlocal (ats_int_type, tmp140) ;
// ATSlocal_void (tmp141) ;
// ATSlocal_void (tmp142) ;

__ats_lab__2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_s0rt:
tmp122 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_17, arg1), atslab_s0rt_node) ;
do {
/* branch: __ats_lab_40 */
__ats_lab_40_0:
if (((ats_sum_ptr_type)tmp122)->tag != 2) { goto __ats_lab_41_0 ; }
__ats_lab_40_1:
tmp123 = ats_caselptrlab_mac(anairiats_sum_10, tmp122, atslab_0) ;
tmp124 = ats_caselptrlab_mac(anairiats_sum_10, tmp122, atslab_1) ;
/* tmp125 = */ atspre_fprint_string (arg0, ATSstrcst("S0RTapp(")) ;
/* tmp126 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_s0rt (arg0, tmp123) ;
/* tmp127 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp128 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_s0rt (arg0, tmp124) ;
/* tmp121 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_41 */
__ats_lab_41_0:
if (((ats_sum_ptr_type)tmp122)->tag != 0) { goto __ats_lab_42_0 ; }
__ats_lab_41_1:
tmp129 = ats_caselptrlab_mac(anairiats_sum_3, tmp122, atslab_0) ;
/* tmp130 = */ atspre_fprint_string (arg0, ATSstrcst("S0RTide(")) ;
/* tmp131 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_symbol_2esats__fprint_symbol (arg0, tmp129) ;
/* tmp121 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_42 */
__ats_lab_42_0:
if (((ats_sum_ptr_type)tmp122)->tag != 1) { goto __ats_lab_43_0 ; }
__ats_lab_42_1:
tmp132 = ats_caselptrlab_mac(anairiats_sum_10, tmp122, atslab_0) ;
tmp133 = ats_caselptrlab_mac(anairiats_sum_10, tmp122, atslab_1) ;
/* tmp134 = */ atspre_fprint_string (arg0, ATSstrcst("S0RTqid(")) ;
/* tmp135 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_s0rtq (arg0, tmp132) ;
/* tmp136 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_symbol_2esats__fprint_symbol (arg0, tmp133) ;
/* tmp121 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_43 */
__ats_lab_43_0:
if (((ats_sum_ptr_type)tmp122)->tag != 3) { goto __ats_lab_44_0 ; }
__ats_lab_43_1:
tmp137 = ats_caselptrlab_mac(anairiats_sum_3, tmp122, atslab_0) ;
/* tmp138 = */ atspre_fprint_string (arg0, ATSstrcst("S0RTlist(")) ;
/* tmp139 = */ fprintlst_01694_ats_ptr_type (arg0, tmp137, ATSstrcst(", "), &_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_s0rt) ;
/* tmp121 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_44 */
__ats_lab_44_0:
// if (((ats_sum_ptr_type)tmp122)->tag != 4) { ats_deadcode_failure_handle () ; }
__ats_lab_44_1:
tmp140 = ats_caselptrlab_mac(anairiats_sum_12, tmp122, atslab_0) ;
/* tmp141 = */ atspre_fprint_string (arg0, ATSstrcst("S0RTtype(")) ;
/* tmp142 = */ atspre_fprint_int (arg0, tmp140) ;
/* tmp121 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;
} while (0) ;
return /* (tmp121) */ ;
} /* end of [_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_s0rt] */

/*
// /home/hwxi/Research/ATS-Postiats/src/pats_syntax_print.dats: 9195(line=368, offs=5) -- 9590(line=381, offs=2)
*/
ATSstaticdec()
ats_void_type
fprint_d0atsrtcon_34 (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp143) ;
// ATSlocal_void (tmp144) ;
ATSlocal (ats_ptr_type, tmp145) ;
ATSlocal (ats_ptr_type, tmp146) ;
ATSlocal (ats_ptr_type, tmp147) ;
// ATSlocal_void (tmp148) ;

__ats_lab_fprint_d0atsrtcon_34:
tmp145 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_18, arg1), atslab_d0atsrtcon_sym) ;
/* tmp144 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_symbol_2esats__fprint_symbol (arg0, tmp145) ;
tmp146 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_18, arg1), atslab_d0atsrtcon_arg) ;
do {
/* branch: __ats_lab_45 */
__ats_lab_45_0:
if (tmp146 == (ats_sum_ptr_type)0) { goto __ats_lab_46_0 ; }
__ats_lab_45_1:
tmp147 = ats_caselptrlab_mac(anairiats_sum_6, tmp146, atslab_0) ;
/* tmp148 = */ atspre_fprint_string (arg0, ATSstrcst(" of ")) ;
/* tmp143 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_s0rt (arg0, tmp147) ;
break ;

/* branch: __ats_lab_46 */
__ats_lab_46_0:
// if (tmp146 != (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; }
__ats_lab_46_1:
/* tmp143 = */ atspre_fprint_string (arg0, ATSstrcst(" of ()")) ;
break ;
} while (0) ;
return /* (tmp143) */ ;
} /* end of [fprint_d0atsrtcon_34] */

/*
// /home/hwxi/Research/ATS-Postiats/src/pats_syntax_print.dats: 9650(line=384, offs=19) -- 9843(line=389, offs=2)
*/
ATSglobaldec()
ats_void_type
_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_d0atsrtdec (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp149) ;
// ATSlocal_void (tmp150) ;
ATSlocal (ats_ptr_type, tmp151) ;
// ATSlocal_void (tmp152) ;
ATSlocal (ats_ptr_type, tmp153) ;

__ats_lab__2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_d0atsrtdec:
tmp151 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_19, arg1), atslab_d0atsrtdec_sym) ;
/* tmp150 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_symbol_2esats__fprint_symbol (arg0, tmp151) ;
/* tmp152 = */ atspre_fprint_string (arg0, ATSstrcst(" = ")) ;
tmp153 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_19, arg1), atslab_d0atsrtdec_con) ;
/* tmp149 = */ fprintlst_01694_ats_ptr_type (arg0, tmp153, ATSstrcst(" | "), &fprint_d0atsrtcon_34) ;
return /* (tmp149) */ ;
} /* end of [_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_d0atsrtdec] */

/*
// /home/hwxi/Research/ATS-Postiats/src/pats_syntax_print.dats: 9900(line=393, offs=5) -- 10190(line=403, offs=2)
*/
ATSstaticdec()
ats_void_type
fprint_a0srt_36 (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp154) ;
// ATSlocal_void (tmp155) ;
ATSlocal (ats_ptr_type, tmp156) ;
ATSlocal (ats_ptr_type, tmp157) ;
// ATSlocal_void (tmp158) ;
ATSlocal (ats_ptr_type, tmp159) ;

__ats_lab_fprint_a0srt_36:
tmp156 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_20, arg1), atslab_a0srt_sym) ;
do {
/* branch: __ats_lab_47 */
__ats_lab_47_0:
if (tmp156 == (ats_sum_ptr_type)0) { goto __ats_lab_48_0 ; }
__ats_lab_47_1:
tmp157 = ats_caselptrlab_mac(anairiats_sum_6, tmp156, atslab_0) ;
/* tmp158 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_symbol_2esats__fprint_symbol (arg0, tmp157) ;
/* tmp155 = */ atspre_fprint_string (arg0, ATSstrcst(": ")) ;
break ;

/* branch: __ats_lab_48 */
__ats_lab_48_0:
// if (tmp156 != (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; }
__ats_lab_48_1:
break ;
} while (0) ;
tmp159 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_20, arg1), atslab_a0srt_srt) ;
/* tmp154 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_s0rt (arg0, tmp159) ;
return /* (tmp154) */ ;
} /* end of [fprint_a0srt_36] */

/*
// /home/hwxi/Research/ATS-Postiats/src/pats_syntax_print.dats: 10221(line=405, offs=5) -- 10423(line=411, offs=2)
*/
ATSstaticdec()
ats_void_type
fprint_a0msrt_37 (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp160) ;
// ATSlocal_void (tmp161) ;
// ATSlocal_void (tmp162) ;
ATSlocal (ats_ptr_type, tmp163) ;

__ats_lab_fprint_a0msrt_37:
/* tmp161 = */ atspre_fprint_string (arg0, ATSstrcst("(")) ;
tmp163 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_21, arg1), atslab_a0msrt_arg) ;
/* tmp162 = */ fprintlst_01694_ats_ptr_type (arg0, tmp163, ATSstrcst(", "), &fprint_a0srt_36) ;
/* tmp160 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
return /* (tmp160) */ ;
} /* end of [fprint_a0msrt_37] */

/*
// /home/hwxi/Research/ATS-Postiats/src/pats_syntax_print.dats: 10497(line=416, offs=16) -- 11187(line=442, offs=4)
*/
ATSglobaldec()
ats_void_type
_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_s0rtext (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp164) ;
ATSlocal (ats_ptr_type, tmp165) ;
ATSlocal (ats_ptr_type, tmp166) ;
// ATSlocal_void (tmp167) ;
// ATSlocal_void (tmp168) ;
ATSlocal (ats_ptr_type, tmp169) ;
ATSlocal (ats_ptr_type, tmp170) ;
ATSlocal (ats_ptr_type, tmp171) ;
ATSlocal (ats_ptr_type, tmp172) ;
// ATSlocal_void (tmp173) ;
// ATSlocal_void (tmp174) ;
// ATSlocal_void (tmp175) ;
// ATSlocal_void (tmp176) ;
// ATSlocal_void (tmp177) ;
// ATSlocal_void (tmp178) ;
// ATSlocal_void (tmp179) ;
// ATSlocal_void (tmp180) ;

__ats_lab__2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_s0rtext:
tmp165 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_22, arg1), atslab_s0rtext_node) ;
do {
/* branch: __ats_lab_49 */
__ats_lab_49_0:
if (((ats_sum_ptr_type)tmp165)->tag != 0) { goto __ats_lab_50_0 ; }
__ats_lab_49_1:
tmp166 = ats_caselptrlab_mac(anairiats_sum_3, tmp165, atslab_0) ;
/* tmp167 = */ atspre_fprint_string (arg0, ATSstrcst("S0TEsrt(")) ;
/* tmp168 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_s0rt (arg0, tmp166) ;
/* tmp164 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_50 */
__ats_lab_50_0:
// if (((ats_sum_ptr_type)tmp165)->tag != 1) { ats_deadcode_failure_handle () ; }
__ats_lab_50_1:
tmp169 = ats_caselptrlab_mac(anairiats_sum_23, tmp165, atslab_0) ;
tmp170 = ats_caselptrlab_mac(anairiats_sum_23, tmp165, atslab_1) ;
tmp171 = ats_caselptrlab_mac(anairiats_sum_23, tmp165, atslab_2) ;
tmp172 = ats_caselptrlab_mac(anairiats_sum_23, tmp165, atslab_3) ;
/* tmp173 = */ atspre_fprint_string (arg0, ATSstrcst("S0TEsub(")) ;
/* tmp174 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_i0de (arg0, tmp169) ;
/* tmp175 = */ atspre_fprint_string (arg0, ATSstrcst(": ")) ;
/* tmp176 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_s0rtext (arg0, tmp170) ;
/* tmp177 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp178 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_s0exp (arg0, tmp171) ;
do {
/* branch: __ats_lab_51 */
__ats_lab_51_0:
if (tmp172 == (ats_sum_ptr_type)0) { goto __ats_lab_52_0 ; }
__ats_lab_51_1:
/* tmp180 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp179 = */ fprintlst_01694_ats_ptr_type (arg0, tmp172, ATSstrcst("; "), &_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_s0exp) ;
break ;

/* branch: __ats_lab_52 */
__ats_lab_52_0:
// if (tmp172 != (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; }
__ats_lab_52_1:
break ;
} while (0) ;
/* tmp164 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;
} while (0) ;
return /* (tmp164) */ ;
} /* end of [_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_s0rtext] */

/*
// /home/hwxi/Research/ATS-Postiats/src/pats_syntax_print.dats: 11260(line=447, offs=14) -- 11877(line=472, offs=4)
*/
ATSglobaldec()
ats_void_type
_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_s0qua (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp181) ;
ATSlocal (ats_ptr_type, tmp182) ;
ATSlocal (ats_ptr_type, tmp183) ;
// ATSlocal_void (tmp184) ;
// ATSlocal_void (tmp185) ;
ATSlocal (ats_ptr_type, tmp186) ;
ATSlocal (ats_ptr_type, tmp187) ;
ATSlocal (ats_ptr_type, tmp188) ;
// ATSlocal_void (tmp189) ;
// ATSlocal_void (tmp190) ;
// ATSlocal_void (tmp191) ;
// ATSlocal_void (tmp192) ;
// ATSlocal_void (tmp193) ;
// ATSlocal_void (tmp194) ;

__ats_lab__2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_s0qua:
tmp182 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_24, arg1), atslab_s0qua_node) ;
do {
/* branch: __ats_lab_53 */
__ats_lab_53_0:
if (((ats_sum_ptr_type)tmp182)->tag != 0) { goto __ats_lab_54_0 ; }
__ats_lab_53_1:
tmp183 = ats_caselptrlab_mac(anairiats_sum_3, tmp182, atslab_0) ;
/* tmp184 = */ atspre_fprint_string (arg0, ATSstrcst("S0QUAprop(")) ;
/* tmp185 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_s0exp (arg0, tmp183) ;
/* tmp181 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_54 */
__ats_lab_54_0:
// if (((ats_sum_ptr_type)tmp182)->tag != 1) { ats_deadcode_failure_handle () ; }
__ats_lab_54_1:
tmp186 = ats_caselptrlab_mac(anairiats_sum_15, tmp182, atslab_0) ;
tmp187 = ats_caselptrlab_mac(anairiats_sum_15, tmp182, atslab_1) ;
tmp188 = ats_caselptrlab_mac(anairiats_sum_15, tmp182, atslab_2) ;
/* tmp189 = */ atspre_fprint_string (arg0, ATSstrcst("S0QUAvar(")) ;
/* tmp190 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_i0de (arg0, tmp186) ;
do {
/* branch: __ats_lab_55 */
__ats_lab_55_0:
if (tmp187 == (ats_sum_ptr_type)0) { goto __ats_lab_56_0 ; }
__ats_lab_55_1:
/* tmp192 = */ atspre_fprint_string (arg0, ATSstrcst(", ")) ;
/* tmp191 = */ fprintlst_01694_ats_ptr_type (arg0, tmp187, ATSstrcst(", "), &_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_i0de) ;
break ;

/* branch: __ats_lab_56 */
__ats_lab_56_0:
// if (tmp187 != (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; }
__ats_lab_56_1:
break ;
} while (0) ;
/* tmp193 = */ atspre_fprint_string (arg0, ATSstrcst(": ")) ;
/* tmp194 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_s0rtext (arg0, tmp188) ;
/* tmp181 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;
} while (0) ;
return /* (tmp181) */ ;
} /* end of [_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_s0qua] */

/*
// /home/hwxi/Research/ATS-Postiats/src/pats_syntax_print.dats: 11930(line=475, offs=17) -- 11987(line=476, offs=46)
*/
ATSglobaldec()
ats_void_type
_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_s0qualst (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp195) ;

__ats_lab__2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_s0qualst:
/* tmp195 = */ fprintlst_01694_ats_ptr_type (arg0, arg1, ATSstrcst(", "), &_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_s0qua) ;
return /* (tmp195) */ ;
} /* end of [_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_s0qualst] */

/*
// /home/hwxi/Research/ATS-Postiats/src/pats_syntax_print.dats: 12061(line=482, offs=14) -- 15938(line=651, offs=4)
*/
ATSglobaldec()
ats_void_type
_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_s0exp (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp196) ;
ATSlocal (ats_ptr_type, tmp197) ;
ATSlocal (ats_ptr_type, tmp198) ;
// ATSlocal_void (tmp199) ;
// ATSlocal_void (tmp200) ;
ATSlocal (ats_ptr_type, tmp201) ;
ATSlocal (ats_ptr_type, tmp202) ;
// ATSlocal_void (tmp203) ;
// ATSlocal_void (tmp204) ;
// ATSlocal_void (tmp205) ;
ATSlocal (ats_ptr_type, tmp206) ;
// ATSlocal_void (tmp207) ;
// ATSlocal_void (tmp208) ;
ATSlocal (ats_ptr_type, tmp209) ;
// ATSlocal_void (tmp210) ;
// ATSlocal_void (tmp211) ;
ATSlocal (ats_ptr_type, tmp212) ;
// ATSlocal_void (tmp213) ;
// ATSlocal_void (tmp214) ;
ATSlocal (ats_ptr_type, tmp215) ;
// ATSlocal_void (tmp216) ;
// ATSlocal_void (tmp217) ;
ATSlocal (ats_ptr_type, tmp218) ;
// ATSlocal_void (tmp219) ;
// ATSlocal_void (tmp220) ;
ATSlocal (ats_ptr_type, tmp221) ;
ATSlocal (ats_ptr_type, tmp222) ;
// ATSlocal_void (tmp223) ;
// ATSlocal_void (tmp224) ;
// ATSlocal_void (tmp225) ;
// ATSlocal_void (tmp226) ;
ATSlocal (ats_ptr_type, tmp227) ;
ATSlocal (ats_ptr_type, tmp228) ;
// ATSlocal_void (tmp229) ;
// ATSlocal_void (tmp230) ;
// ATSlocal_void (tmp231) ;
// ATSlocal_void (tmp232) ;
ATSlocal (ats_ptr_type, tmp233) ;
ATSlocal (ats_ptr_type, tmp234) ;
// ATSlocal_void (tmp235) ;
// ATSlocal_void (tmp236) ;
// ATSlocal_void (tmp237) ;
// ATSlocal_void (tmp238) ;
// ATSlocal_void (tmp239) ;
// ATSlocal_void (tmp240) ;
ATSlocal (ats_ptr_type, tmp241) ;
ATSlocal (ats_ptr_type, tmp242) ;
// ATSlocal_void (tmp243) ;
// ATSlocal_void (tmp244) ;
// ATSlocal_void (tmp245) ;
// ATSlocal_void (tmp246) ;
ATSlocal (ats_ptr_type, tmp247) ;
// ATSlocal_void (tmp248) ;
// ATSlocal_void (tmp249) ;
ATSlocal (ats_ptr_type, tmp250) ;
ATSlocal (ats_ptr_type, tmp251) ;
// ATSlocal_void (tmp252) ;
// ATSlocal_void (tmp253) ;
// ATSlocal_void (tmp254) ;
// ATSlocal_void (tmp255) ;
ATSlocal (ats_ptr_type, tmp256) ;
ATSlocal (ats_ptr_type, tmp257) ;
// ATSlocal_void (tmp258) ;
// ATSlocal_void (tmp259) ;
// ATSlocal_void (tmp260) ;
// ATSlocal_void (tmp261) ;
ATSlocal (ats_int_type, tmp262) ;
ATSlocal (ats_int_type, tmp263) ;
ATSlocal (ats_ptr_type, tmp264) ;
// ATSlocal_void (tmp265) ;
// ATSlocal_void (tmp266) ;
// ATSlocal_void (tmp267) ;
// ATSlocal_void (tmp268) ;
// ATSlocal_void (tmp269) ;
// ATSlocal_void (tmp270) ;
ATSlocal (ats_int_type, tmp271) ;
ATSlocal (ats_int_type, tmp272) ;
ATSlocal (ats_ptr_type, tmp273) ;
// ATSlocal_void (tmp274) ;
// ATSlocal_void (tmp275) ;
// ATSlocal_void (tmp276) ;
// ATSlocal_void (tmp277) ;
// ATSlocal_void (tmp278) ;
// ATSlocal_void (tmp279) ;
ATSlocal (ats_ptr_type, tmp280) ;
ATSlocal (ats_int_type, tmp281) ;
ATSlocal (ats_ptr_type, tmp282) ;
// ATSlocal_void (tmp283) ;
// ATSlocal_void (tmp284) ;
// ATSlocal_void (tmp285) ;
// ATSlocal_void (tmp286) ;
// ATSlocal_void (tmp287) ;
// ATSlocal_void (tmp288) ;
ATSlocal (ats_ptr_type, tmp289) ;
// ATSlocal_void (tmp290) ;
// ATSlocal_void (tmp291) ;
ATSlocal (ats_int_type, tmp292) ;
ATSlocal (ats_ptr_type, tmp293) ;
// ATSlocal_void (tmp294) ;
// ATSlocal_void (tmp295) ;
// ATSlocal_void (tmp296) ;
// ATSlocal_void (tmp297) ;
ATSlocal (ats_ptr_type, tmp298) ;
ATSlocal (ats_ptr_type, tmp299) ;
// ATSlocal_void (tmp300) ;
// ATSlocal_void (tmp301) ;
// ATSlocal_void (tmp302) ;
// ATSlocal_void (tmp303) ;

__ats_lab__2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_s0exp:
tmp197 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_25, arg1), atslab_s0exp_node) ;
do {
/* branch: __ats_lab_57 */
__ats_lab_57_0:
if (((ats_sum_ptr_type)tmp197)->tag != 0) { goto __ats_lab_58_0 ; }
__ats_lab_57_1:
tmp198 = ats_caselptrlab_mac(anairiats_sum_3, tmp197, atslab_0) ;
/* tmp199 = */ atspre_fprint_string (arg0, ATSstrcst("S0Eide(")) ;
/* tmp200 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_symbol_2esats__fprint_symbol (arg0, tmp198) ;
/* tmp196 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_58 */
__ats_lab_58_0:
if (((ats_sum_ptr_type)tmp197)->tag != 1) { goto __ats_lab_59_0 ; }
__ats_lab_58_1:
tmp201 = ats_caselptrlab_mac(anairiats_sum_10, tmp197, atslab_0) ;
tmp202 = ats_caselptrlab_mac(anairiats_sum_10, tmp197, atslab_1) ;
/* tmp203 = */ atspre_fprint_string (arg0, ATSstrcst("S0Esqid(")) ;
/* tmp204 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_s0taq (arg0, tmp201) ;
/* tmp205 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_symbol_2esats__fprint_symbol (arg0, tmp202) ;
/* tmp196 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_59 */
__ats_lab_59_0:
if (((ats_sum_ptr_type)tmp197)->tag != 2) { goto __ats_lab_60_0 ; }
__ats_lab_59_1:
tmp206 = ats_caselptrlab_mac(anairiats_sum_3, tmp197, atslab_0) ;
/* tmp207 = */ atspre_fprint_string (arg0, ATSstrcst("S0Eopid(")) ;
/* tmp208 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_symbol_2esats__fprint_symbol (arg0, tmp206) ;
/* tmp196 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_60 */
__ats_lab_60_0:
if (((ats_sum_ptr_type)tmp197)->tag != 3) { goto __ats_lab_61_0 ; }
__ats_lab_60_1:
tmp209 = ats_caselptrlab_mac(anairiats_sum_3, tmp197, atslab_0) ;
/* tmp210 = */ atspre_fprint_string (arg0, ATSstrcst("S0Ei0nt(")) ;
/* tmp211 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_i0nt (arg0, tmp209) ;
/* tmp196 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_61 */
__ats_lab_61_0:
if (((ats_sum_ptr_type)tmp197)->tag != 4) { goto __ats_lab_62_0 ; }
__ats_lab_61_1:
tmp212 = ats_caselptrlab_mac(anairiats_sum_3, tmp197, atslab_0) ;
/* tmp213 = */ atspre_fprint_string (arg0, ATSstrcst("S0Echar(")) ;
/* tmp214 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_c0har (arg0, tmp212) ;
/* tmp196 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_62 */
__ats_lab_62_0:
if (((ats_sum_ptr_type)tmp197)->tag != 5) { goto __ats_lab_63_0 ; }
__ats_lab_62_1:
tmp215 = ats_caselptrlab_mac(anairiats_sum_3, tmp197, atslab_0) ;
/* tmp216 = */ atspre_fprint_string (arg0, ATSstrcst("S0Efloat(")) ;
/* tmp217 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_f0loat (arg0, tmp215) ;
/* tmp196 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_63 */
__ats_lab_63_0:
if (((ats_sum_ptr_type)tmp197)->tag != 6) { goto __ats_lab_64_0 ; }
__ats_lab_63_1:
tmp218 = ats_caselptrlab_mac(anairiats_sum_3, tmp197, atslab_0) ;
/* tmp219 = */ atspre_fprint_string (arg0, ATSstrcst("S0Estring(")) ;
/* tmp220 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_s0tring (arg0, tmp218) ;
/* tmp196 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_64 */
__ats_lab_64_0:
if (((ats_sum_ptr_type)tmp197)->tag != 7) { goto __ats_lab_65_0 ; }
__ats_lab_64_1:
tmp221 = ats_caselptrlab_mac(anairiats_sum_10, tmp197, atslab_0) ;
tmp222 = ats_caselptrlab_mac(anairiats_sum_10, tmp197, atslab_1) ;
/* tmp223 = */ atspre_fprint_string (arg0, ATSstrcst("S0Eextype(")) ;
/* tmp224 = */ atspre_fprint_string (arg0, tmp221) ;
/* tmp225 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp226 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_s0explst (arg0, tmp222) ;
/* tmp196 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_65 */
__ats_lab_65_0:
if (((ats_sum_ptr_type)tmp197)->tag != 8) { goto __ats_lab_66_0 ; }
__ats_lab_65_1:
tmp227 = ats_caselptrlab_mac(anairiats_sum_10, tmp197, atslab_0) ;
tmp228 = ats_caselptrlab_mac(anairiats_sum_10, tmp197, atslab_1) ;
/* tmp229 = */ atspre_fprint_string (arg0, ATSstrcst("S0Eextkind(")) ;
/* tmp230 = */ atspre_fprint_string (arg0, tmp227) ;
/* tmp231 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp232 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_s0explst (arg0, tmp228) ;
/* tmp196 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_66 */
__ats_lab_66_0:
if (((ats_sum_ptr_type)tmp197)->tag != 9) { goto __ats_lab_67_0 ; }
__ats_lab_66_1:
tmp233 = ats_caselptrlab_mac(anairiats_sum_10, tmp197, atslab_0) ;
tmp234 = ats_caselptrlab_mac(anairiats_sum_10, tmp197, atslab_1) ;
/* tmp235 = */ atspre_fprint_string (arg0, ATSstrcst("S0Eapp(")) ;
/* tmp236 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_s0exp (arg0, tmp233) ;
/* tmp237 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp238 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_s0exp (arg0, tmp234) ;
/* tmp196 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_67 */
__ats_lab_67_0:
if (((ats_sum_ptr_type)tmp197)->tag != 11) { goto __ats_lab_68_0 ; }
__ats_lab_67_1:
/* tmp239 = */ atspre_fprint_string (arg0, ATSstrcst("S0Eimp(")) ;
/* tmp240 = */ atspre_fprint_string (arg0, ATSstrcst("...")) ;
/* tmp196 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_68 */
__ats_lab_68_0:
if (((ats_sum_ptr_type)tmp197)->tag != 10) { goto __ats_lab_69_0 ; }
__ats_lab_68_1:
tmp241 = ats_caselptrlab_mac(anairiats_sum_15, tmp197, atslab_1) ;
tmp242 = ats_caselptrlab_mac(anairiats_sum_15, tmp197, atslab_2) ;
/* tmp243 = */ atspre_fprint_string (arg0, ATSstrcst("S0Elam(")) ;
/* tmp244 = */ fprintopt_01695_ats_ptr_type (arg0, tmp241, &_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_s0rt) ;
/* tmp245 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp246 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_s0exp (arg0, tmp242) ;
/* tmp196 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_69 */
__ats_lab_69_0:
if (((ats_sum_ptr_type)tmp197)->tag != 12) { goto __ats_lab_70_0 ; }
__ats_lab_69_1:
tmp247 = ats_caselptrlab_mac(anairiats_sum_3, tmp197, atslab_0) ;
/* tmp248 = */ atspre_fprint_string (arg0, ATSstrcst("S0Elist(")) ;
/* tmp249 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_s0explst (arg0, tmp247) ;
/* tmp196 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_70 */
__ats_lab_70_0:
if (((ats_sum_ptr_type)tmp197)->tag != 13) { goto __ats_lab_71_0 ; }
__ats_lab_70_1:
tmp250 = ats_caselptrlab_mac(anairiats_sum_10, tmp197, atslab_0) ;
tmp251 = ats_caselptrlab_mac(anairiats_sum_10, tmp197, atslab_1) ;
/* tmp252 = */ atspre_fprint_string (arg0, ATSstrcst("S0Elist2(")) ;
/* tmp253 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_s0explst (arg0, tmp250) ;
/* tmp254 = */ atspre_fprint_string (arg0, ATSstrcst(" | ")) ;
/* tmp255 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_s0explst (arg0, tmp251) ;
/* tmp196 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_71 */
__ats_lab_71_0:
if (((ats_sum_ptr_type)tmp197)->tag != 14) { goto __ats_lab_72_0 ; }
__ats_lab_71_1:
tmp256 = ats_caselptrlab_mac(anairiats_sum_10, tmp197, atslab_0) ;
tmp257 = ats_caselptrlab_mac(anairiats_sum_10, tmp197, atslab_1) ;
/* tmp258 = */ atspre_fprint_string (arg0, ATSstrcst("S0Etyarr(")) ;
/* tmp259 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_s0exp (arg0, tmp256) ;
/* tmp260 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp261 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_s0explst (arg0, tmp257) ;
/* tmp196 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_72 */
__ats_lab_72_0:
if (((ats_sum_ptr_type)tmp197)->tag != 15) { goto __ats_lab_73_0 ; }
__ats_lab_72_1:
tmp262 = ats_caselptrlab_mac(anairiats_sum_26, tmp197, atslab_0) ;
tmp263 = ats_caselptrlab_mac(anairiats_sum_26, tmp197, atslab_1) ;
tmp264 = ats_caselptrlab_mac(anairiats_sum_26, tmp197, atslab_2) ;
/* tmp265 = */ atspre_fprint_string (arg0, ATSstrcst("S0Etytup(")) ;
/* tmp266 = */ atspre_fprint_int (arg0, tmp262) ;
/* tmp267 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp268 = */ atspre_fprint_int (arg0, tmp263) ;
/* tmp269 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp270 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_s0explst (arg0, tmp264) ;
/* tmp196 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_73 */
__ats_lab_73_0:
if (((ats_sum_ptr_type)tmp197)->tag != 16) { goto __ats_lab_74_0 ; }
__ats_lab_73_1:
tmp271 = ats_caselptrlab_mac(anairiats_sum_26, tmp197, atslab_0) ;
tmp272 = ats_caselptrlab_mac(anairiats_sum_26, tmp197, atslab_1) ;
tmp273 = ats_caselptrlab_mac(anairiats_sum_26, tmp197, atslab_2) ;
/* tmp274 = */ atspre_fprint_string (arg0, ATSstrcst("S0Etyrec(")) ;
/* tmp275 = */ atspre_fprint_int (arg0, tmp271) ;
/* tmp276 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp277 = */ atspre_fprint_int (arg0, tmp272) ;
/* tmp278 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp279 = */ fprintlst_01694_ats_ptr_type (arg0, tmp273, ATSstrcst(", "), &_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_labs0exp) ;
/* tmp196 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_74 */
__ats_lab_74_0:
if (((ats_sum_ptr_type)tmp197)->tag != 17) { goto __ats_lab_75_0 ; }
__ats_lab_74_1:
tmp280 = ats_caselptrlab_mac(anairiats_sum_27, tmp197, atslab_0) ;
tmp281 = ats_caselptrlab_mac(anairiats_sum_27, tmp197, atslab_1) ;
tmp282 = ats_caselptrlab_mac(anairiats_sum_27, tmp197, atslab_2) ;
/* tmp283 = */ atspre_fprint_string (arg0, ATSstrcst("S0Etyrec_ext(")) ;
/* tmp284 = */ atspre_fprint_string (arg0, tmp280) ;
/* tmp285 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp286 = */ atspre_fprint_int (arg0, tmp281) ;
/* tmp287 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp288 = */ fprintlst_01694_ats_ptr_type (arg0, tmp282, ATSstrcst(", "), &_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_labs0exp) ;
/* tmp196 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_75 */
__ats_lab_75_0:
if (((ats_sum_ptr_type)tmp197)->tag != 18) { goto __ats_lab_76_0 ; }
__ats_lab_75_1:
tmp289 = ats_caselptrlab_mac(anairiats_sum_3, tmp197, atslab_0) ;
/* tmp290 = */ atspre_fprint_string (arg0, ATSstrcst("S0Euni(")) ;
/* tmp291 = */ fprintlst_01694_ats_ptr_type (arg0, tmp289, ATSstrcst(", "), &_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_s0qua) ;
/* tmp196 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_76 */
__ats_lab_76_0:
if (((ats_sum_ptr_type)tmp197)->tag != 19) { goto __ats_lab_77_0 ; }
__ats_lab_76_1:
tmp292 = ats_caselptrlab_mac(anairiats_sum_28, tmp197, atslab_0) ;
tmp293 = ats_caselptrlab_mac(anairiats_sum_28, tmp197, atslab_1) ;
/* tmp294 = */ atspre_fprint_string (arg0, ATSstrcst("S0Eexi(")) ;
/* tmp295 = */ atspre_fprint_int (arg0, tmp292) ;
/* tmp296 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp297 = */ fprintlst_01694_ats_ptr_type (arg0, tmp293, ATSstrcst(", "), &_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_s0qua) ;
/* tmp196 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_77 */
__ats_lab_77_0:
if (((ats_sum_ptr_type)tmp197)->tag != 20) { goto __ats_lab_78_0 ; }
__ats_lab_77_1:
tmp298 = ats_caselptrlab_mac(anairiats_sum_10, tmp197, atslab_0) ;
tmp299 = ats_caselptrlab_mac(anairiats_sum_10, tmp197, atslab_1) ;
/* tmp300 = */ atspre_fprint_string (arg0, ATSstrcst("S0Eann(")) ;
/* tmp301 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_s0exp (arg0, tmp298) ;
/* tmp302 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp303 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_s0rt (arg0, tmp299) ;
/* tmp196 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_78 */
__ats_lab_78_0:
// if (((ats_sum_ptr_type)tmp197)->tag != 21) { ats_deadcode_failure_handle () ; }
__ats_lab_78_1:
/* tmp196 = */ atspre_fprint_string (arg0, ATSstrcst("S0Ed2ctype(...)")) ;
break ;
} while (0) ;
return /* (tmp196) */ ;
} /* end of [_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_s0exp] */

/*
// /home/hwxi/Research/ATS-Postiats/src/pats_syntax_print.dats: 16014(line=657, offs=3) -- 16069(line=657, offs=58)
*/
ATSglobaldec()
ats_void_type
_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_s0explst (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp304) ;

__ats_lab__2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_s0explst:
/* tmp304 = */ fprintlst_01694_ats_ptr_type (arg0, arg1, ATSstrcst(", "), &_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_s0exp) ;
return /* (tmp304) */ ;
} /* end of [_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_s0explst] */

/*
// /home/hwxi/Research/ATS-Postiats/src/pats_syntax_print.dats: 16127(line=662, offs=3) -- 16178(line=662, offs=54)
*/
ATSglobaldec()
ats_void_type
_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_s0expopt (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp305) ;

__ats_lab__2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_s0expopt:
/* tmp305 = */ fprintopt_01695_ats_ptr_type (arg0, arg1, &_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_s0exp) ;
return /* (tmp305) */ ;
} /* end of [_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_s0expopt] */

/*
// /home/hwxi/Research/ATS-Postiats/src/pats_syntax_print.dats: 16257(line=669, offs=3) -- 16569(line=680, offs=4)
*/
ATSglobaldec()
ats_void_type
_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_s0exparg (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp306) ;
ATSlocal (ats_ptr_type, tmp307) ;
// ATSlocal_void (tmp308) ;
// ATSlocal_void (tmp309) ;

__ats_lab__2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_s0exparg:
do {
/* branch: __ats_lab_79 */
__ats_lab_79_0:
if (((ats_sum_ptr_type)arg1)->tag != 0) { goto __ats_lab_80_0 ; }
__ats_lab_79_1:
/* tmp306 = */ atspre_fprint_string (arg0, ATSstrcst("{..}")) ;
break ;

/* branch: __ats_lab_80 */
__ats_lab_80_0:
if (((ats_sum_ptr_type)arg1)->tag != 1) { goto __ats_lab_81_0 ; }
__ats_lab_80_1:
/* tmp306 = */ atspre_fprint_string (arg0, ATSstrcst("{...}")) ;
break ;

/* branch: __ats_lab_81 */
__ats_lab_81_0:
// if (((ats_sum_ptr_type)arg1)->tag != 2) { ats_deadcode_failure_handle () ; }
__ats_lab_81_1:
tmp307 = ats_caselptrlab_mac(anairiats_sum_3, arg1, atslab_0) ;
/* tmp308 = */ atspre_fprint_string (arg0, ATSstrcst("{")) ;
/* tmp309 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_s0explst (arg0, tmp307) ;
/* tmp306 = */ atspre_fprint_string (arg0, ATSstrcst("}")) ;
break ;
} while (0) ;
return /* (tmp306) */ ;
} /* end of [_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_s0exparg] */

/*
// /home/hwxi/Research/ATS-Postiats/src/pats_syntax_print.dats: 16648(line=686, offs=3) -- 16810(line=691, offs=2)
*/
ATSglobaldec()
ats_void_type
_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_labs0exp (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp310) ;
ATSlocal (ats_ptr_type, tmp311) ;
ATSlocal (ats_ptr_type, tmp312) ;
// ATSlocal_void (tmp313) ;
// ATSlocal_void (tmp314) ;

__ats_lab__2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_labs0exp:
// 
tmp311 = ats_caselptrlab_mac(anairiats_sum_29, arg1, atslab_0) ;
tmp312 = ats_caselptrlab_mac(anairiats_sum_29, arg1, atslab_2) ;
/* tmp313 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_l0ab (arg0, tmp311) ;
/* tmp314 = */ atspre_fprint_string (arg0, ATSstrcst("= ")) ;
/* tmp310 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_s0exp (arg0, tmp312) ;
return /* (tmp310) */ ;
} /* end of [_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_labs0exp] */

/*
// /home/hwxi/Research/ATS-Postiats/src/pats_syntax_print.dats: 16887(line=697, offs=3) -- 17020(line=701, offs=2)
*/
ATSglobaldec()
ats_void_type
_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_q0marg (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp315) ;
// ATSlocal_void (tmp316) ;
// ATSlocal_void (tmp317) ;
ATSlocal (ats_ptr_type, tmp318) ;

__ats_lab__2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_q0marg:
/* tmp316 = */ atspre_fprint_string (arg0, ATSstrcst("{")) ;
tmp318 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_30, arg1), atslab_q0marg_arg) ;
/* tmp317 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_s0qualst (arg0, tmp318) ;
/* tmp315 = */ atspre_fprint_string (arg0, ATSstrcst("}")) ;
return /* (tmp315) */ ;
} /* end of [_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_q0marg] */

/*
// /home/hwxi/Research/ATS-Postiats/src/pats_syntax_print.dats: 17077(line=705, offs=3) -- 17131(line=705, offs=57)
*/
ATSglobaldec()
ats_void_type
_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_q0marglst (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp319) ;

__ats_lab__2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_q0marglst:
/* tmp319 = */ fprintlst_01694_ats_ptr_type (arg0, arg1, ATSstrcst(""), &_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_q0marg) ;
return /* (tmp319) */ ;
} /* end of [_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_q0marglst] */

/*
// /home/hwxi/Research/ATS-Postiats/src/pats_syntax_print.dats: 17205(line=711, offs=13) -- 20164(line=836, offs=4)
*/
ATSglobaldec()
ats_void_type
_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_p0at (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp320) ;
ATSlocal (ats_ptr_type, tmp321) ;
ATSlocal (ats_ptr_type, tmp322) ;
// ATSlocal_void (tmp323) ;
// ATSlocal_void (tmp324) ;
ATSlocal (ats_ptr_type, tmp325) ;
// ATSlocal_void (tmp326) ;
// ATSlocal_void (tmp327) ;
ATSlocal (ats_ptr_type, tmp328) ;
ATSlocal (ats_ptr_type, tmp329) ;
// ATSlocal_void (tmp330) ;
// ATSlocal_void (tmp331) ;
// ATSlocal_void (tmp332) ;
ATSlocal (ats_ptr_type, tmp333) ;
// ATSlocal_void (tmp334) ;
// ATSlocal_void (tmp335) ;
ATSlocal (ats_ptr_type, tmp336) ;
// ATSlocal_void (tmp337) ;
// ATSlocal_void (tmp338) ;
ATSlocal (ats_ptr_type, tmp339) ;
// ATSlocal_void (tmp340) ;
// ATSlocal_void (tmp341) ;
ATSlocal (ats_ptr_type, tmp342) ;
// ATSlocal_void (tmp343) ;
// ATSlocal_void (tmp344) ;
ATSlocal (ats_ptr_type, tmp345) ;
// ATSlocal_void (tmp346) ;
// ATSlocal_void (tmp347) ;
// ATSlocal_void (tmp348) ;
ATSlocal (ats_int_type, tmp349) ;
ATSlocal (ats_ptr_type, tmp350) ;
// ATSlocal_void (tmp351) ;
// ATSlocal_void (tmp352) ;
// ATSlocal_void (tmp353) ;
// ATSlocal_void (tmp354) ;
ATSlocal (ats_int_type, tmp355) ;
ATSlocal (ats_ptr_type, tmp356) ;
// ATSlocal_void (tmp357) ;
// ATSlocal_void (tmp358) ;
// ATSlocal_void (tmp359) ;
// ATSlocal_void (tmp360) ;
ATSlocal (ats_int_type, tmp361) ;
ATSlocal (ats_int_type, tmp362) ;
ATSlocal (ats_ptr_type, tmp363) ;
// ATSlocal_void (tmp364) ;
// ATSlocal_void (tmp365) ;
// ATSlocal_void (tmp366) ;
// ATSlocal_void (tmp367) ;
// ATSlocal_void (tmp368) ;
// ATSlocal_void (tmp369) ;
ATSlocal (ats_int_type, tmp370) ;
ATSlocal (ats_int_type, tmp371) ;
ATSlocal (ats_ptr_type, tmp372) ;
// ATSlocal_void (tmp373) ;
// ATSlocal_void (tmp374) ;
// ATSlocal_void (tmp375) ;
// ATSlocal_void (tmp376) ;
// ATSlocal_void (tmp377) ;
// ATSlocal_void (tmp378) ;
ATSlocal (ats_ptr_type, tmp379) ;
// ATSlocal_void (tmp380) ;
// ATSlocal_void (tmp381) ;
ATSlocal (ats_ptr_type, tmp382) ;
// ATSlocal_void (tmp383) ;
// ATSlocal_void (tmp384) ;
// ATSlocal_void (tmp385) ;
// ATSlocal_void (tmp386) ;
// ATSlocal_void (tmp387) ;
// ATSlocal_void (tmp388) ;
ATSlocal (ats_ptr_type, tmp389) ;
ATSlocal (ats_ptr_type, tmp390) ;
// ATSlocal_void (tmp391) ;
// ATSlocal_void (tmp392) ;
// ATSlocal_void (tmp393) ;
// ATSlocal_void (tmp394) ;
ATSlocal (ats_ptr_type, tmp395) ;
ATSlocal (ats_ptr_type, tmp396) ;
// ATSlocal_void (tmp397) ;
// ATSlocal_void (tmp398) ;
// ATSlocal_void (tmp399) ;
// ATSlocal_void (tmp400) ;

__ats_lab__2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_p0at:
tmp321 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_31, arg1), atslab_p0at_node) ;
do {
/* branch: __ats_lab_82 */
__ats_lab_82_0:
if (((ats_sum_ptr_type)tmp321)->tag != 0) { goto __ats_lab_83_0 ; }
__ats_lab_82_1:
tmp322 = ats_caselptrlab_mac(anairiats_sum_3, tmp321, atslab_0) ;
/* tmp323 = */ atspre_fprint_string (arg0, ATSstrcst("P0Tide(")) ;
/* tmp324 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_symbol_2esats__fprint_symbol (arg0, tmp322) ;
/* tmp320 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_83 */
__ats_lab_83_0:
if (((ats_sum_ptr_type)tmp321)->tag != 2) { goto __ats_lab_84_0 ; }
__ats_lab_83_1:
tmp325 = ats_caselptrlab_mac(anairiats_sum_3, tmp321, atslab_0) ;
/* tmp326 = */ atspre_fprint_string (arg0, ATSstrcst("P0Topid(")) ;
/* tmp327 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_symbol_2esats__fprint_symbol (arg0, tmp325) ;
/* tmp320 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_84 */
__ats_lab_84_0:
if (((ats_sum_ptr_type)tmp321)->tag != 1) { goto __ats_lab_85_0 ; }
__ats_lab_84_1:
tmp328 = ats_caselptrlab_mac(anairiats_sum_10, tmp321, atslab_0) ;
tmp329 = ats_caselptrlab_mac(anairiats_sum_10, tmp321, atslab_1) ;
/* tmp330 = */ atspre_fprint_string (arg0, ATSstrcst("P0Tdqid(")) ;
/* tmp331 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_d0ynq (arg0, tmp328) ;
/* tmp332 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_symbol_2esats__fprint_symbol (arg0, tmp329) ;
/* tmp320 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_85 */
__ats_lab_85_0:
if (((ats_sum_ptr_type)tmp321)->tag != 3) { goto __ats_lab_86_0 ; }
__ats_lab_85_1:
tmp333 = ats_caselptrlab_mac(anairiats_sum_3, tmp321, atslab_0) ;
/* tmp334 = */ atspre_fprint_string (arg0, ATSstrcst("P0Tint(")) ;
/* tmp335 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_i0nt (arg0, tmp333) ;
/* tmp320 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_86 */
__ats_lab_86_0:
if (((ats_sum_ptr_type)tmp321)->tag != 4) { goto __ats_lab_87_0 ; }
__ats_lab_86_1:
tmp336 = ats_caselptrlab_mac(anairiats_sum_3, tmp321, atslab_0) ;
/* tmp337 = */ atspre_fprint_string (arg0, ATSstrcst("P0Tchar(")) ;
/* tmp338 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_c0har (arg0, tmp336) ;
/* tmp320 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_87 */
__ats_lab_87_0:
if (((ats_sum_ptr_type)tmp321)->tag != 5) { goto __ats_lab_88_0 ; }
__ats_lab_87_1:
tmp339 = ats_caselptrlab_mac(anairiats_sum_3, tmp321, atslab_0) ;
/* tmp340 = */ atspre_fprint_string (arg0, ATSstrcst("P0Tfloat(")) ;
/* tmp341 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_f0loat (arg0, tmp339) ;
/* tmp320 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_88 */
__ats_lab_88_0:
if (((ats_sum_ptr_type)tmp321)->tag != 6) { goto __ats_lab_89_0 ; }
__ats_lab_88_1:
tmp342 = ats_caselptrlab_mac(anairiats_sum_3, tmp321, atslab_0) ;
/* tmp343 = */ atspre_fprint_string (arg0, ATSstrcst("P0Tstring(")) ;
/* tmp344 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_s0tring (arg0, tmp342) ;
/* tmp320 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_89 */
__ats_lab_89_0:
if (((ats_sum_ptr_type)tmp321)->tag != 7) { goto __ats_lab_90_0 ; }
__ats_lab_89_1:
tmp345 = ats_caselptrlab_mac(anairiats_sum_10, tmp321, atslab_0) ;
/* tmp346 = */ atspre_fprint_string (arg0, ATSstrcst("P0Tapp(")) ;
/* tmp347 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_p0at (arg0, tmp345) ;
/* tmp348 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp320 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_90 */
__ats_lab_90_0:
if (((ats_sum_ptr_type)tmp321)->tag != 8) { goto __ats_lab_91_0 ; }
__ats_lab_90_1:
tmp349 = ats_caselptrlab_mac(anairiats_sum_28, tmp321, atslab_0) ;
tmp350 = ats_caselptrlab_mac(anairiats_sum_28, tmp321, atslab_1) ;
/* tmp351 = */ atspre_fprint_string (arg0, ATSstrcst("P0Tlist(")) ;
/* tmp352 = */ atspre_fprint_int (arg0, tmp349) ;
/* tmp353 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp354 = */ fprintlst_01694_ats_ptr_type (arg0, tmp350, ATSstrcst(", "), &_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_p0at) ;
/* tmp320 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_91 */
__ats_lab_91_0:
if (((ats_sum_ptr_type)tmp321)->tag != 9) { goto __ats_lab_92_0 ; }
__ats_lab_91_1:
tmp355 = ats_caselptrlab_mac(anairiats_sum_28, tmp321, atslab_0) ;
tmp356 = ats_caselptrlab_mac(anairiats_sum_28, tmp321, atslab_1) ;
/* tmp357 = */ atspre_fprint_string (arg0, ATSstrcst("P0Tlst(")) ;
/* tmp358 = */ atspre_fprint_int (arg0, tmp355) ;
/* tmp359 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp360 = */ fprintlst_01694_ats_ptr_type (arg0, tmp356, ATSstrcst(", "), &_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_p0at) ;
/* tmp320 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_92 */
__ats_lab_92_0:
if (((ats_sum_ptr_type)tmp321)->tag != 11) { goto __ats_lab_93_0 ; }
__ats_lab_92_1:
tmp361 = ats_caselptrlab_mac(anairiats_sum_26, tmp321, atslab_0) ;
tmp362 = ats_caselptrlab_mac(anairiats_sum_26, tmp321, atslab_1) ;
tmp363 = ats_caselptrlab_mac(anairiats_sum_26, tmp321, atslab_2) ;
/* tmp364 = */ atspre_fprint_string (arg0, ATSstrcst("P0Trec(")) ;
/* tmp365 = */ atspre_fprint_int (arg0, tmp361) ;
/* tmp366 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp367 = */ atspre_fprint_int (arg0, tmp362) ;
/* tmp368 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp369 = */ fprintlst_01694_ats_ptr_type (arg0, tmp363, ATSstrcst(", "), &_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_labp0at) ;
/* tmp320 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_93 */
__ats_lab_93_0:
if (((ats_sum_ptr_type)tmp321)->tag != 10) { goto __ats_lab_94_0 ; }
__ats_lab_93_1:
tmp370 = ats_caselptrlab_mac(anairiats_sum_26, tmp321, atslab_0) ;
tmp371 = ats_caselptrlab_mac(anairiats_sum_26, tmp321, atslab_1) ;
tmp372 = ats_caselptrlab_mac(anairiats_sum_26, tmp321, atslab_2) ;
/* tmp373 = */ atspre_fprint_string (arg0, ATSstrcst("P0Ttup(")) ;
/* tmp374 = */ atspre_fprint_int (arg0, tmp370) ;
/* tmp375 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp376 = */ atspre_fprint_int (arg0, tmp371) ;
/* tmp377 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp378 = */ fprintlst_01694_ats_ptr_type (arg0, tmp372, ATSstrcst(", "), &_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_p0at) ;
/* tmp320 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_94 */
__ats_lab_94_0:
if (((ats_sum_ptr_type)tmp321)->tag != 12) { goto __ats_lab_95_0 ; }
__ats_lab_94_1:
tmp379 = ats_caselptrlab_mac(anairiats_sum_3, tmp321, atslab_0) ;
/* tmp380 = */ atspre_fprint_string (arg0, ATSstrcst("P0Tfree(")) ;
/* tmp381 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_p0at (arg0, tmp379) ;
/* tmp320 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_95 */
__ats_lab_95_0:
if (((ats_sum_ptr_type)tmp321)->tag != 13) { goto __ats_lab_96_0 ; }
__ats_lab_95_1:
tmp382 = ats_caselptrlab_mac(anairiats_sum_3, tmp321, atslab_0) ;
/* tmp383 = */ atspre_fprint_string (arg0, ATSstrcst("P0Tunfold(")) ;
/* tmp384 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_p0at (arg0, tmp382) ;
/* tmp320 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_96 */
__ats_lab_96_0:
if (((ats_sum_ptr_type)tmp321)->tag != 14) { goto __ats_lab_97_0 ; }
__ats_lab_96_1:
/* tmp385 = */ atspre_fprint_string (arg0, ATSstrcst("P0Texist(")) ;
/* tmp386 = */ atspre_fprint_string (arg0, ATSstrcst("...")) ;
/* tmp320 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_97 */
__ats_lab_97_0:
if (((ats_sum_ptr_type)tmp321)->tag != 15) { goto __ats_lab_98_0 ; }
__ats_lab_97_1:
/* tmp387 = */ atspre_fprint_string (arg0, ATSstrcst("P0Tsvararg(")) ;
/* tmp388 = */ atspre_fprint_string (arg0, ATSstrcst("...")) ;
/* tmp320 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_98 */
__ats_lab_98_0:
if (((ats_sum_ptr_type)tmp321)->tag != 16) { goto __ats_lab_99_0 ; }
__ats_lab_98_1:
tmp389 = ats_caselptrlab_mac(anairiats_sum_15, tmp321, atslab_0) ;
tmp390 = ats_caselptrlab_mac(anairiats_sum_15, tmp321, atslab_2) ;
/* tmp391 = */ atspre_fprint_string (arg0, ATSstrcst("P0Trefas(")) ;
/* tmp392 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_symbol_2esats__fprint_symbol (arg0, tmp389) ;
/* tmp393 = */ atspre_fprint_string (arg0, ATSstrcst(", ")) ;
/* tmp394 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_p0at (arg0, tmp390) ;
/* tmp320 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_99 */
__ats_lab_99_0:
if (((ats_sum_ptr_type)tmp321)->tag != 17) { goto __ats_lab_100_0 ; }
__ats_lab_99_1:
tmp395 = ats_caselptrlab_mac(anairiats_sum_10, tmp321, atslab_0) ;
tmp396 = ats_caselptrlab_mac(anairiats_sum_10, tmp321, atslab_1) ;
/* tmp397 = */ atspre_fprint_string (arg0, ATSstrcst("P0Tann(")) ;
/* tmp398 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_p0at (arg0, tmp395) ;
/* tmp399 = */ atspre_fprint_string (arg0, ATSstrcst(": ")) ;
/* tmp400 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_s0exp (arg0, tmp396) ;
/* tmp320 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_100 */
__ats_lab_100_0:
// if (((ats_sum_ptr_type)tmp321)->tag != 18) { ats_deadcode_failure_handle () ; }
__ats_lab_100_1:
/* tmp320 = */ atspre_fprint_string (arg0, ATSstrcst("P0Terr()")) ;
break ;
} while (0) ;
return /* (tmp320) */ ;
} /* end of [_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_p0at] */

/*
// /home/hwxi/Research/ATS-Postiats/src/pats_syntax_print.dats: 20236(line=841, offs=16) -- 20496(line=848, offs=49)
*/
ATSglobaldec()
ats_void_type
_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_labp0at (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp401) ;
ATSlocal (ats_ptr_type, tmp402) ;
ATSlocal (ats_ptr_type, tmp403) ;
ATSlocal (ats_ptr_type, tmp404) ;
// ATSlocal_void (tmp405) ;
// ATSlocal_void (tmp406) ;

__ats_lab__2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_labp0at:
tmp402 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_32, arg1), atslab_labp0at_node) ;
do {
/* branch: __ats_lab_101 */
__ats_lab_101_0:
if (tmp402 == (ats_sum_ptr_type)0) { goto __ats_lab_102_0 ; }
__ats_lab_101_1:
tmp403 = ats_caselptrlab_mac(anairiats_sum_14, tmp402, atslab_0) ;
tmp404 = ats_caselptrlab_mac(anairiats_sum_14, tmp402, atslab_1) ;
/* tmp405 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_l0ab (arg0, tmp403) ;
/* tmp406 = */ atspre_fprint_string (arg0, ATSstrcst("= ")) ;
/* tmp401 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_p0at (arg0, tmp404) ;
break ;

/* branch: __ats_lab_102 */
__ats_lab_102_0:
// if (tmp402 != (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; }
__ats_lab_102_1:
/* tmp401 = */ atspre_fprint_string (arg0, ATSstrcst("...")) ;
break ;
} while (0) ;
return /* (tmp401) */ ;
} /* end of [_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_labp0at] */

/*
// /home/hwxi/Research/ATS-Postiats/src/pats_syntax_print.dats: 20569(line=854, offs=14) -- 27368(line=1166, offs=4)
*/
ATSglobaldec()
ats_void_type
_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_d0exp (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp407) ;
ATSlocal (ats_ptr_type, tmp408) ;
ATSlocal (ats_ptr_type, tmp409) ;
// ATSlocal_void (tmp410) ;
// ATSlocal_void (tmp411) ;
ATSlocal (ats_ptr_type, tmp412) ;
// ATSlocal_void (tmp413) ;
// ATSlocal_void (tmp414) ;
ATSlocal (ats_ptr_type, tmp415) ;
ATSlocal (ats_ptr_type, tmp416) ;
// ATSlocal_void (tmp417) ;
// ATSlocal_void (tmp418) ;
// ATSlocal_void (tmp419) ;
// ATSlocal_void (tmp420) ;
ATSlocal (ats_ptr_type, tmp421) ;
// ATSlocal_void (tmp422) ;
// ATSlocal_void (tmp423) ;
ATSlocal (ats_ptr_type, tmp424) ;
// ATSlocal_void (tmp425) ;
// ATSlocal_void (tmp426) ;
ATSlocal (ats_ptr_type, tmp427) ;
// ATSlocal_void (tmp428) ;
// ATSlocal_void (tmp429) ;
ATSlocal (ats_ptr_type, tmp430) ;
// ATSlocal_void (tmp431) ;
// ATSlocal_void (tmp432) ;
ATSlocal (ats_ptr_type, tmp433) ;
// ATSlocal_void (tmp434) ;
// ATSlocal_void (tmp435) ;
ATSlocal (ats_ptr_type, tmp436) ;
// ATSlocal_void (tmp437) ;
// ATSlocal_void (tmp438) ;
ATSlocal (ats_ptr_type, tmp439) ;
// ATSlocal_void (tmp440) ;
// ATSlocal_void (tmp441) ;
// ATSlocal_void (tmp442) ;
// ATSlocal_void (tmp443) ;
// ATSlocal_void (tmp444) ;
// ATSlocal_void (tmp445) ;
// ATSlocal_void (tmp446) ;
// ATSlocal_void (tmp447) ;
ATSlocal (ats_ptr_type, tmp448) ;
ATSlocal (ats_ptr_type, tmp449) ;
// ATSlocal_void (tmp450) ;
// ATSlocal_void (tmp451) ;
// ATSlocal_void (tmp452) ;
// ATSlocal_void (tmp453) ;
ATSlocal (ats_int_type, tmp454) ;
ATSlocal (ats_ptr_type, tmp455) ;
// ATSlocal_void (tmp456) ;
// ATSlocal_void (tmp457) ;
// ATSlocal_void (tmp458) ;
// ATSlocal_void (tmp459) ;
ATSlocal (ats_ptr_type, tmp460) ;
ATSlocal (ats_ptr_type, tmp461) ;
ATSlocal (ats_ptr_type, tmp462) ;
// ATSlocal_void (tmp463) ;
// ATSlocal_void (tmp464) ;
// ATSlocal_void (tmp465) ;
// ATSlocal_void (tmp466) ;
// ATSlocal_void (tmp467) ;
// ATSlocal_void (tmp468) ;
ATSlocal (ats_ptr_type, tmp469) ;
ATSlocal (ats_ptr_type, tmp470) ;
ATSlocal (ats_ptr_type, tmp471) ;
// ATSlocal_void (tmp472) ;
// ATSlocal_void (tmp473) ;
// ATSlocal_void (tmp474) ;
// ATSlocal_void (tmp475) ;
// ATSlocal_void (tmp476) ;
// ATSlocal_void (tmp477) ;
// ATSlocal_void (tmp478) ;
// ATSlocal_void (tmp479) ;
// ATSlocal_void (tmp480) ;
// ATSlocal_void (tmp481) ;
// ATSlocal_void (tmp482) ;
// ATSlocal_void (tmp483) ;
ATSlocal (ats_int_type, tmp484) ;
ATSlocal (ats_ptr_type, tmp485) ;
ATSlocal (ats_ptr_type, tmp486) ;
// ATSlocal_void (tmp487) ;
// ATSlocal_void (tmp488) ;
// ATSlocal_void (tmp489) ;
// ATSlocal_void (tmp490) ;
// ATSlocal_void (tmp491) ;
// ATSlocal_void (tmp492) ;
ATSlocal (ats_int_type, tmp493) ;
ATSlocal (ats_int_type, tmp494) ;
ATSlocal (ats_ptr_type, tmp495) ;
// ATSlocal_void (tmp496) ;
// ATSlocal_void (tmp497) ;
// ATSlocal_void (tmp498) ;
// ATSlocal_void (tmp499) ;
// ATSlocal_void (tmp500) ;
// ATSlocal_void (tmp501) ;
ATSlocal (ats_int_type, tmp502) ;
ATSlocal (ats_int_type, tmp503) ;
ATSlocal (ats_ptr_type, tmp504) ;
// ATSlocal_void (tmp505) ;
// ATSlocal_void (tmp506) ;
// ATSlocal_void (tmp507) ;
// ATSlocal_void (tmp508) ;
// ATSlocal_void (tmp509) ;
// ATSlocal_void (tmp510) ;
ATSlocal (ats_ptr_type, tmp511) ;
// ATSlocal_void (tmp512) ;
// ATSlocal_void (tmp513) ;
// ATSlocal_void (tmp514) ;
// ATSlocal_void (tmp515) ;
// ATSlocal_void (tmp516) ;
// ATSlocal_void (tmp517) ;
// ATSlocal_void (tmp518) ;
// ATSlocal_void (tmp519) ;
ATSlocal (ats_int_type, tmp520) ;
ATSlocal (ats_ptr_type, tmp521) ;
// ATSlocal_void (tmp522) ;
// ATSlocal_void (tmp523) ;
// ATSlocal_void (tmp524) ;
// ATSlocal_void (tmp525) ;
ATSlocal (ats_int_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) ;
ATSlocal (ats_int_type, tmp537) ;
ATSlocal (ats_ptr_type, tmp538) ;
// ATSlocal_void (tmp539) ;
// ATSlocal_void (tmp540) ;
// ATSlocal_void (tmp541) ;
// ATSlocal_void (tmp542) ;
ATSlocal (ats_ptr_type, tmp543) ;
// ATSlocal_void (tmp544) ;
// ATSlocal_void (tmp545) ;
ATSlocal (ats_ptr_type, tmp546) ;
// ATSlocal_void (tmp547) ;
// ATSlocal_void (tmp548) ;
ATSlocal (ats_ptr_type, tmp549) ;
ATSlocal (ats_ptr_type, tmp550) ;
// ATSlocal_void (tmp551) ;
// ATSlocal_void (tmp552) ;
// ATSlocal_void (tmp553) ;
// ATSlocal_void (tmp554) ;
// ATSlocal_void (tmp555) ;
// ATSlocal_void (tmp556) ;
// ATSlocal_void (tmp557) ;
// ATSlocal_void (tmp558) ;
ATSlocal (ats_int_type, tmp559) ;
ATSlocal (ats_ptr_type, tmp560) ;
// ATSlocal_void (tmp561) ;
// ATSlocal_void (tmp562) ;
// ATSlocal_void (tmp563) ;
// ATSlocal_void (tmp564) ;
// ATSlocal_void (tmp565) ;
// ATSlocal_void (tmp566) ;
// ATSlocal_void (tmp567) ;
// ATSlocal_void (tmp568) ;
ATSlocal (ats_int_type, tmp569) ;
// ATSlocal_void (tmp570) ;
// ATSlocal_void (tmp571) ;
// ATSlocal_void (tmp572) ;
// ATSlocal_void (tmp573) ;
ATSlocal (ats_ptr_type, tmp574) ;
// ATSlocal_void (tmp575) ;
// ATSlocal_void (tmp576) ;
ATSlocal (ats_ptr_type, tmp577) ;
// ATSlocal_void (tmp578) ;
// ATSlocal_void (tmp579) ;

__ats_lab__2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_d0exp:
tmp408 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_33, arg1), atslab_d0exp_node) ;
do {
/* branch: __ats_lab_103 */
__ats_lab_103_0:
if (((ats_sum_ptr_type)tmp408)->tag != 0) { goto __ats_lab_104_0 ; }
__ats_lab_103_1:
tmp409 = ats_caselptrlab_mac(anairiats_sum_3, tmp408, atslab_0) ;
/* tmp410 = */ atspre_fprint_string (arg0, ATSstrcst("D0Eide(")) ;
/* tmp411 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_symbol_2esats__fprint_symbol (arg0, tmp409) ;
/* tmp407 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_104 */
__ats_lab_104_0:
if (((ats_sum_ptr_type)tmp408)->tag != 2) { goto __ats_lab_105_0 ; }
__ats_lab_104_1:
tmp412 = ats_caselptrlab_mac(anairiats_sum_3, tmp408, atslab_0) ;
/* tmp413 = */ atspre_fprint_string (arg0, ATSstrcst("D0Eopid(")) ;
/* tmp414 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_symbol_2esats__fprint_symbol (arg0, tmp412) ;
/* tmp407 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_105 */
__ats_lab_105_0:
if (((ats_sum_ptr_type)tmp408)->tag != 1) { goto __ats_lab_106_0 ; }
__ats_lab_105_1:
tmp415 = ats_caselptrlab_mac(anairiats_sum_10, tmp408, atslab_0) ;
tmp416 = ats_caselptrlab_mac(anairiats_sum_10, tmp408, atslab_1) ;
/* tmp417 = */ atspre_fprint_string (arg0, ATSstrcst("D0Edqid(")) ;
/* tmp418 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_d0ynq (arg0, tmp415) ;
/* tmp419 = */ atspre_fprint_string (arg0, ATSstrcst(", ")) ;
/* tmp420 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_symbol_2esats__fprint_symbol (arg0, tmp416) ;
/* tmp407 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_106 */
__ats_lab_106_0:
if (((ats_sum_ptr_type)tmp408)->tag != 3) { goto __ats_lab_107_0 ; }
__ats_lab_106_1:
tmp421 = ats_caselptrlab_mac(anairiats_sum_3, tmp408, atslab_0) ;
/* tmp422 = */ atspre_fprint_string (arg0, ATSstrcst("D0Eidext(")) ;
/* tmp423 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_symbol_2esats__fprint_symbol (arg0, tmp421) ;
/* tmp407 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_107 */
__ats_lab_107_0:
if (((ats_sum_ptr_type)tmp408)->tag != 4) { goto __ats_lab_108_0 ; }
__ats_lab_107_1:
tmp424 = ats_caselptrlab_mac(anairiats_sum_3, tmp408, atslab_0) ;
/* tmp425 = */ atspre_fprint_string (arg0, ATSstrcst("D0Eint(")) ;
/* tmp426 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_i0nt (arg0, tmp424) ;
/* tmp407 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_108 */
__ats_lab_108_0:
if (((ats_sum_ptr_type)tmp408)->tag != 5) { goto __ats_lab_109_0 ; }
__ats_lab_108_1:
tmp427 = ats_caselptrlab_mac(anairiats_sum_3, tmp408, atslab_0) ;
/* tmp428 = */ atspre_fprint_string (arg0, ATSstrcst("D0Echar(")) ;
/* tmp429 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_c0har (arg0, tmp427) ;
/* tmp407 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_109 */
__ats_lab_109_0:
if (((ats_sum_ptr_type)tmp408)->tag != 6) { goto __ats_lab_110_0 ; }
__ats_lab_109_1:
tmp430 = ats_caselptrlab_mac(anairiats_sum_3, tmp408, atslab_0) ;
/* tmp431 = */ atspre_fprint_string (arg0, ATSstrcst("D0Efloat(")) ;
/* tmp432 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_f0loat (arg0, tmp430) ;
/* tmp407 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_110 */
__ats_lab_110_0:
if (((ats_sum_ptr_type)tmp408)->tag != 7) { goto __ats_lab_111_0 ; }
__ats_lab_110_1:
tmp433 = ats_caselptrlab_mac(anairiats_sum_3, tmp408, atslab_0) ;
/* tmp434 = */ atspre_fprint_string (arg0, ATSstrcst("D0Estring(")) ;
/* tmp435 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_s0tring (arg0, tmp433) ;
/* tmp407 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_111 */
__ats_lab_111_0:
if (((ats_sum_ptr_type)tmp408)->tag != 8) { goto __ats_lab_112_0 ; }
__ats_lab_111_1:
/* tmp407 = */ atspre_fprint_string (arg0, ATSstrcst("D0Eempty()")) ;
break ;

/* branch: __ats_lab_112 */
__ats_lab_112_0:
if (((ats_sum_ptr_type)tmp408)->tag != 9) { goto __ats_lab_113_0 ; }
__ats_lab_112_1:
tmp436 = ats_caselptrlab_mac(anairiats_sum_3, tmp408, atslab_0) ;
/* tmp437 = */ atspre_fprint_string (arg0, ATSstrcst("D0Ecstsp(")) ;
/* tmp438 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_cstsp (arg0, tmp436) ;
/* tmp407 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_113 */
__ats_lab_113_0:
if (((ats_sum_ptr_type)tmp408)->tag != 10) { goto __ats_lab_114_0 ; }
__ats_lab_113_1:
tmp439 = ats_caselptrlab_mac(anairiats_sum_3, tmp408, atslab_0) ;
/* tmp440 = */ atspre_fprint_string (arg0, ATSstrcst("D0Eliteral(")) ;
/* tmp441 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_d0exp (arg0, tmp439) ;
/* tmp407 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_114 */
__ats_lab_114_0:
if (((ats_sum_ptr_type)tmp408)->tag != 17) { goto __ats_lab_115_0 ; }
__ats_lab_114_1:
/* tmp442 = */ atspre_fprint_string (arg0, ATSstrcst("D0Elet(")) ;
/* tmp443 = */ atspre_fprint_string (arg0, ATSstrcst("...")) ;
/* tmp407 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_115 */
__ats_lab_115_0:
if (((ats_sum_ptr_type)tmp408)->tag != 18) { goto __ats_lab_116_0 ; }
__ats_lab_115_1:
/* tmp444 = */ atspre_fprint_string (arg0, ATSstrcst("D0Edeclseq(")) ;
/* tmp445 = */ atspre_fprint_string (arg0, ATSstrcst("...")) ;
/* tmp407 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_116 */
__ats_lab_116_0:
if (((ats_sum_ptr_type)tmp408)->tag != 19) { goto __ats_lab_117_0 ; }
__ats_lab_116_1:
/* tmp446 = */ atspre_fprint_string (arg0, ATSstrcst("D0Ewhere(")) ;
/* tmp447 = */ atspre_fprint_string (arg0, ATSstrcst("...")) ;
/* tmp407 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_117 */
__ats_lab_117_0:
if (((ats_sum_ptr_type)tmp408)->tag != 20) { goto __ats_lab_118_0 ; }
__ats_lab_117_1:
tmp448 = ats_caselptrlab_mac(anairiats_sum_10, tmp408, atslab_0) ;
tmp449 = ats_caselptrlab_mac(anairiats_sum_10, tmp408, atslab_1) ;
/* tmp450 = */ atspre_fprint_string (arg0, ATSstrcst("D0Eapp(")) ;
/* tmp451 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_d0exp (arg0, tmp448) ;
/* tmp452 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp453 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_d0exp (arg0, tmp449) ;
/* tmp407 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_118 */
__ats_lab_118_0:
if (((ats_sum_ptr_type)tmp408)->tag != 21) { goto __ats_lab_119_0 ; }
__ats_lab_118_1:
tmp454 = ats_caselptrlab_mac(anairiats_sum_28, tmp408, atslab_0) ;
tmp455 = ats_caselptrlab_mac(anairiats_sum_28, tmp408, atslab_1) ;
/* tmp456 = */ atspre_fprint_string (arg0, ATSstrcst("D0Elist(")) ;
/* tmp457 = */ atspre_fprint_int (arg0, tmp454) ;
/* tmp458 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp459 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_d0explst (arg0, tmp455) ;
/* tmp407 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_119 */
__ats_lab_119_0:
if (((ats_sum_ptr_type)tmp408)->tag != 22) { goto __ats_lab_120_0 ; }
__ats_lab_119_1:
tmp460 = ats_caselptrlab_mac(anairiats_sum_23, tmp408, atslab_1) ;
tmp461 = ats_caselptrlab_mac(anairiats_sum_23, tmp408, atslab_2) ;
tmp462 = ats_caselptrlab_mac(anairiats_sum_23, tmp408, atslab_3) ;
/* tmp463 = */ atspre_fprint_string (arg0, ATSstrcst("D0Eifhead(")) ;
/* tmp464 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_d0exp (arg0, tmp460) ;
/* tmp465 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp466 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_d0exp (arg0, tmp461) ;
/* tmp467 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp468 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_d0expopt (arg0, tmp462) ;
/* tmp407 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_120 */
__ats_lab_120_0:
if (((ats_sum_ptr_type)tmp408)->tag != 23) { goto __ats_lab_121_0 ; }
__ats_lab_120_1:
tmp469 = ats_caselptrlab_mac(anairiats_sum_23, tmp408, atslab_1) ;
tmp470 = ats_caselptrlab_mac(anairiats_sum_23, tmp408, atslab_2) ;
tmp471 = ats_caselptrlab_mac(anairiats_sum_23, tmp408, atslab_3) ;
/* tmp472 = */ atspre_fprint_string (arg0, ATSstrcst("D0Esifhead(")) ;
/* tmp473 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_s0exp (arg0, tmp469) ;
/* tmp474 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp475 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_d0exp (arg0, tmp470) ;
/* tmp476 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp477 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_d0exp (arg0, tmp471) ;
/* tmp407 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_121 */
__ats_lab_121_0:
if (((ats_sum_ptr_type)tmp408)->tag != 24) { goto __ats_lab_122_0 ; }
__ats_lab_121_1:
/* tmp478 = */ atspre_fprint_string (arg0, ATSstrcst("D0Eifcasehd(")) ;
/* tmp479 = */ atspre_fprint_string (arg0, ATSstrcst("...")) ;
/* tmp407 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_122 */
__ats_lab_122_0:
if (((ats_sum_ptr_type)tmp408)->tag != 25) { goto __ats_lab_123_0 ; }
__ats_lab_122_1:
/* tmp480 = */ atspre_fprint_string (arg0, ATSstrcst("D0Ecasehead(")) ;
/* tmp481 = */ atspre_fprint_string (arg0, ATSstrcst("...")) ;
/* tmp407 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_123 */
__ats_lab_123_0:
if (((ats_sum_ptr_type)tmp408)->tag != 26) { goto __ats_lab_124_0 ; }
__ats_lab_123_1:
/* tmp482 = */ atspre_fprint_string (arg0, ATSstrcst("D0Escasehead(")) ;
/* tmp483 = */ atspre_fprint_string (arg0, ATSstrcst("...")) ;
/* tmp407 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_124 */
__ats_lab_124_0:
if (((ats_sum_ptr_type)tmp408)->tag != 27) { goto __ats_lab_125_0 ; }
__ats_lab_124_1:
tmp484 = ats_caselptrlab_mac(anairiats_sum_34, tmp408, atslab_0) ;
tmp485 = ats_caselptrlab_mac(anairiats_sum_34, tmp408, atslab_1) ;
tmp486 = ats_caselptrlab_mac(anairiats_sum_34, tmp408, atslab_2) ;
/* tmp487 = */ atspre_fprint_string (arg0, ATSstrcst("D0Elst(")) ;
/* tmp488 = */ atspre_fprint_int (arg0, tmp484) ;
/* tmp489 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp490 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_s0expopt (arg0, tmp485) ;
/* tmp491 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp492 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_d0exp (arg0, tmp486) ;
/* tmp407 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_125 */
__ats_lab_125_0:
if (((ats_sum_ptr_type)tmp408)->tag != 28) { goto __ats_lab_126_0 ; }
__ats_lab_125_1:
tmp493 = ats_caselptrlab_mac(anairiats_sum_26, tmp408, atslab_0) ;
tmp494 = ats_caselptrlab_mac(anairiats_sum_26, tmp408, atslab_1) ;
tmp495 = ats_caselptrlab_mac(anairiats_sum_26, tmp408, atslab_2) ;
/* tmp496 = */ atspre_fprint_string (arg0, ATSstrcst("D0Etup(")) ;
/* tmp497 = */ atspre_fprint_int (arg0, tmp493) ;
/* tmp498 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp499 = */ atspre_fprint_int (arg0, tmp494) ;
/* tmp500 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp501 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_d0explst (arg0, tmp495) ;
/* tmp407 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_126 */
__ats_lab_126_0:
if (((ats_sum_ptr_type)tmp408)->tag != 29) { goto __ats_lab_127_0 ; }
__ats_lab_126_1:
tmp502 = ats_caselptrlab_mac(anairiats_sum_26, tmp408, atslab_0) ;
tmp503 = ats_caselptrlab_mac(anairiats_sum_26, tmp408, atslab_1) ;
tmp504 = ats_caselptrlab_mac(anairiats_sum_26, tmp408, atslab_2) ;
/* tmp505 = */ atspre_fprint_string (arg0, ATSstrcst("D0Erec(")) ;
/* tmp506 = */ atspre_fprint_int (arg0, tmp502) ;
/* tmp507 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp508 = */ atspre_fprint_int (arg0, tmp503) ;
/* tmp509 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp510 = */ fprintlst_01694_ats_ptr_type (arg0, tmp504, ATSstrcst(", "), &_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_labd0exp) ;
/* tmp407 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_127 */
__ats_lab_127_0:
if (((ats_sum_ptr_type)tmp408)->tag != 30) { goto __ats_lab_128_0 ; }
__ats_lab_127_1:
tmp511 = ats_caselptrlab_mac(anairiats_sum_3, tmp408, atslab_0) ;
/* tmp512 = */ atspre_fprint_string (arg0, ATSstrcst("D0Eseq(")) ;
/* tmp513 = */ fprintlst_01694_ats_ptr_type (arg0, tmp511, ATSstrcst("; "), &_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_d0exp) ;
/* tmp407 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_128 */
__ats_lab_128_0:
if (((ats_sum_ptr_type)tmp408)->tag != 31) { goto __ats_lab_129_0 ; }
__ats_lab_128_1:
/* tmp514 = */ atspre_fprint_string (arg0, ATSstrcst("D0Earrsub(")) ;
/* tmp515 = */ atspre_fprint_string (arg0, ATSstrcst("...")) ;
/* tmp407 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_129 */
__ats_lab_129_0:
if (((ats_sum_ptr_type)tmp408)->tag != 32) { goto __ats_lab_130_0 ; }
__ats_lab_129_1:
/* tmp516 = */ atspre_fprint_string (arg0, ATSstrcst("D0Earrpsz(")) ;
/* tmp517 = */ atspre_fprint_string (arg0, ATSstrcst("...")) ;
/* tmp407 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_130 */
__ats_lab_130_0:
if (((ats_sum_ptr_type)tmp408)->tag != 33) { goto __ats_lab_131_0 ; }
__ats_lab_130_1:
/* tmp518 = */ atspre_fprint_string (arg0, ATSstrcst("D0Earrinit(")) ;
/* tmp519 = */ atspre_fprint_string (arg0, ATSstrcst("...")) ;
/* tmp407 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_131 */
__ats_lab_131_0:
if (((ats_sum_ptr_type)tmp408)->tag != 34) { goto __ats_lab_132_0 ; }
__ats_lab_131_1:
/* tmp407 = */ atspre_fprint_string (arg0, ATSstrcst("D0Eptrof()")) ;
break ;

/* branch: __ats_lab_132 */
__ats_lab_132_0:
if (((ats_sum_ptr_type)tmp408)->tag != 35) { goto __ats_lab_133_0 ; }
__ats_lab_132_1:
/* tmp407 = */ atspre_fprint_string (arg0, ATSstrcst("D0Eviewat()")) ;
break ;

/* branch: __ats_lab_133 */
__ats_lab_133_0:
if (((ats_sum_ptr_type)tmp408)->tag != 36) { goto __ats_lab_134_0 ; }
__ats_lab_133_1:
tmp520 = ats_caselptrlab_mac(anairiats_sum_28, tmp408, atslab_0) ;
tmp521 = ats_caselptrlab_mac(anairiats_sum_28, tmp408, atslab_1) ;
/* tmp522 = */ atspre_fprint_string (arg0, ATSstrcst("D0Esel_lab(")) ;
/* tmp523 = */ atspre_fprint_int (arg0, tmp520) ;
/* tmp524 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp525 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_label_2esats__fprint_label (arg0, tmp521) ;
/* tmp407 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_134 */
__ats_lab_134_0:
if (((ats_sum_ptr_type)tmp408)->tag != 37) { goto __ats_lab_135_0 ; }
__ats_lab_134_1:
tmp526 = ats_caselptrlab_mac(anairiats_sum_28, tmp408, atslab_0) ;
/* tmp527 = */ atspre_fprint_string (arg0, ATSstrcst("D0Esel_int(")) ;
/* tmp528 = */ atspre_fprint_int (arg0, tmp526) ;
/* tmp529 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp530 = */ atspre_fprint_string (arg0, ATSstrcst("...")) ;
/* tmp407 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_135 */
__ats_lab_135_0:
if (((ats_sum_ptr_type)tmp408)->tag != 38) { goto __ats_lab_136_0 ; }
__ats_lab_135_1:
tmp531 = ats_caselptrlab_mac(anairiats_sum_3, tmp408, atslab_0) ;
/* tmp532 = */ atspre_fprint_string (arg0, ATSstrcst("D0Eraise(")) ;
/* tmp533 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_d0exp (arg0, tmp531) ;
/* tmp407 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_136 */
__ats_lab_136_0:
if (((ats_sum_ptr_type)tmp408)->tag != 39) { goto __ats_lab_137_0 ; }
__ats_lab_136_1:
/* tmp407 = */ atspre_fprint_string (arg0, ATSstrcst("D0Eeffmask(...)")) ;
break ;

/* branch: __ats_lab_137 */
__ats_lab_137_0:
if (((ats_sum_ptr_type)tmp408)->tag != 40) { goto __ats_lab_138_0 ; }
__ats_lab_137_1:
/* tmp407 = */ atspre_fprint_string (arg0, ATSstrcst("D0Eeffmask_arg(...)")) ;
break ;

/* branch: __ats_lab_138 */
__ats_lab_138_0:
if (((ats_sum_ptr_type)tmp408)->tag != 41) { goto __ats_lab_139_0 ; }
__ats_lab_138_1:
tmp534 = ats_caselptrlab_mac(anairiats_sum_3, tmp408, atslab_0) ;
/* tmp535 = */ atspre_fprint_string (arg0, ATSstrcst("D0Eshowtype(")) ;
/* tmp536 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_d0exp (arg0, tmp534) ;
/* tmp407 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_139 */
__ats_lab_139_0:
if (((ats_sum_ptr_type)tmp408)->tag != 42) { goto __ats_lab_140_0 ; }
__ats_lab_139_1:
tmp537 = ats_caselptrlab_mac(anairiats_sum_28, tmp408, atslab_0) ;
tmp538 = ats_caselptrlab_mac(anairiats_sum_28, tmp408, atslab_1) ;
/* tmp539 = */ atspre_fprint_string (arg0, ATSstrcst("D0Evcopyenv(")) ;
/* tmp540 = */ atspre_fprint_int (arg0, tmp537) ;
/* tmp541 = */ atspre_fprint_string (arg0, ATSstrcst(", ")) ;
/* tmp542 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_d0exp (arg0, tmp538) ;
/* tmp407 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_140 */
__ats_lab_140_0:
if (((ats_sum_ptr_type)tmp408)->tag != 43) { goto __ats_lab_141_0 ; }
__ats_lab_140_1:
tmp543 = ats_caselptrlab_mac(anairiats_sum_3, tmp408, atslab_0) ;
/* tmp544 = */ atspre_fprint_string (arg0, ATSstrcst("D0Etempenver(")) ;
/* tmp545 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_d0exp (arg0, tmp543) ;
/* tmp407 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_141 */
__ats_lab_141_0:
if (((ats_sum_ptr_type)tmp408)->tag != 44) { goto __ats_lab_142_0 ; }
__ats_lab_141_1:
tmp546 = ats_caselptrlab_mac(anairiats_sum_3, tmp408, atslab_0) ;
/* tmp547 = */ atspre_fprint_string (arg0, ATSstrcst("D0Esexparg(")) ;
/* tmp548 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_s0exparg (arg0, tmp546) ;
/* tmp407 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_142 */
__ats_lab_142_0:
if (((ats_sum_ptr_type)tmp408)->tag != 46) { goto __ats_lab_143_0 ; }
__ats_lab_142_1:
tmp549 = ats_caselptrlab_mac(anairiats_sum_10, tmp408, atslab_0) ;
tmp550 = ats_caselptrlab_mac(anairiats_sum_10, tmp408, atslab_1) ;
/* tmp551 = */ atspre_fprint_string (arg0, ATSstrcst("D0Eann(")) ;
/* tmp552 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_d0exp (arg0, tmp549) ;
/* tmp553 = */ atspre_fprint_string (arg0, ATSstrcst(": ")) ;
/* tmp554 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_s0exp (arg0, tmp550) ;
/* tmp407 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_143 */
__ats_lab_143_0:
if (((ats_sum_ptr_type)tmp408)->tag != 47) { goto __ats_lab_144_0 ; }
__ats_lab_143_1:
/* tmp555 = */ atspre_fprint_string (arg0, ATSstrcst("D0Elam(")) ;
/* tmp556 = */ atspre_fprint_string (arg0, ATSstrcst("...")) ;
/* tmp407 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_144 */
__ats_lab_144_0:
if (((ats_sum_ptr_type)tmp408)->tag != 48) { goto __ats_lab_145_0 ; }
__ats_lab_144_1:
/* tmp557 = */ atspre_fprint_string (arg0, ATSstrcst("D0Efix(")) ;
/* tmp558 = */ atspre_fprint_string (arg0, ATSstrcst("...")) ;
/* tmp407 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_145 */
__ats_lab_145_0:
if (((ats_sum_ptr_type)tmp408)->tag != 49) { goto __ats_lab_146_0 ; }
__ats_lab_145_1:
tmp559 = ats_caselptrlab_mac(anairiats_sum_28, tmp408, atslab_0) ;
tmp560 = ats_caselptrlab_mac(anairiats_sum_28, tmp408, atslab_1) ;
/* tmp561 = */ atspre_fprint_string (arg0, ATSstrcst("D0Edelay(")) ;
/* tmp562 = */ atspre_fprint_int (arg0, tmp559) ;
/* tmp563 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp564 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_d0exp (arg0, tmp560) ;
/* tmp407 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_146 */
__ats_lab_146_0:
if (((ats_sum_ptr_type)tmp408)->tag != 50) { goto __ats_lab_147_0 ; }
__ats_lab_146_1:
/* tmp565 = */ atspre_fprint_string (arg0, ATSstrcst("D0Efor(")) ;
/* tmp566 = */ atspre_fprint_string (arg0, ATSstrcst("...")) ;
/* tmp407 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_147 */
__ats_lab_147_0:
if (((ats_sum_ptr_type)tmp408)->tag != 51) { goto __ats_lab_148_0 ; }
__ats_lab_147_1:
/* tmp567 = */ atspre_fprint_string (arg0, ATSstrcst("D0Ewhile(")) ;
/* tmp568 = */ atspre_fprint_string (arg0, ATSstrcst("...")) ;
/* tmp407 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_148 */
__ats_lab_148_0:
if (((ats_sum_ptr_type)tmp408)->tag != 52) { goto __ats_lab_149_0 ; }
__ats_lab_148_1:
tmp569 = ats_caselptrlab_mac(anairiats_sum_12, tmp408, atslab_0) ;
/* tmp570 = */ atspre_fprint_string (arg0, ATSstrcst("D0Eloopexn(")) ;
/* tmp571 = */ atspre_fprint_int (arg0, tmp569) ;
/* tmp407 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_149 */
__ats_lab_149_0:
if (((ats_sum_ptr_type)tmp408)->tag != 53) { goto __ats_lab_150_0 ; }
__ats_lab_149_1:
/* tmp572 = */ atspre_fprint_string (arg0, ATSstrcst("D0Etrywith(")) ;
/* tmp573 = */ atspre_fprint_string (arg0, ATSstrcst("...")) ;
/* tmp407 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_150 */
__ats_lab_150_0:
if (((ats_sum_ptr_type)tmp408)->tag != 55) { goto __ats_lab_151_0 ; }
__ats_lab_150_1:
tmp574 = ats_caselptrlab_mac(anairiats_sum_3, tmp408, atslab_0) ;
/* tmp575 = */ atspre_fprint_string (arg0, ATSstrcst("D0Esolassert(")) ;
/* tmp576 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_d0exp (arg0, tmp574) ;
/* tmp407 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_151 */
__ats_lab_151_0:
if (((ats_sum_ptr_type)tmp408)->tag != 56) { goto __ats_lab_152_0 ; }
__ats_lab_151_1:
tmp577 = ats_caselptrlab_mac(anairiats_sum_3, tmp408, atslab_0) ;
/* tmp578 = */ atspre_fprint_string (arg0, ATSstrcst("D0Esolverify(")) ;
/* tmp579 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_s0exp (arg0, tmp577) ;
/* tmp407 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_152 */
__ats_lab_152_0:
__ats_lab_152_1:
/* tmp407 = */ atspre_fprint_string (arg0, ATSstrcst("D0E(...)")) ;
break ;
} while (0) ;
return /* (tmp407) */ ;
} /* end of [_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_d0exp] */

/*
// /home/hwxi/Research/ATS-Postiats/src/pats_syntax_print.dats: 27444(line=1172, offs=3) -- 27499(line=1172, offs=58)
*/
ATSglobaldec()
ats_void_type
_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_d0explst (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp580) ;

__ats_lab__2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_d0explst:
/* tmp580 = */ fprintlst_01694_ats_ptr_type (arg0, arg1, ATSstrcst(", "), &_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_d0exp) ;
return /* (tmp580) */ ;
} /* end of [_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_d0explst] */

/*
// /home/hwxi/Research/ATS-Postiats/src/pats_syntax_print.dats: 27557(line=1177, offs=3) -- 27608(line=1177, offs=54)
*/
ATSglobaldec()
ats_void_type
_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_d0expopt (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp581) ;

__ats_lab__2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_d0expopt:
/* tmp581 = */ fprintopt_01695_ats_ptr_type (arg0, arg1, &_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_d0exp) ;
return /* (tmp581) */ ;
} /* end of [_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_d0expopt] */

/*
// /home/hwxi/Research/ATS-Postiats/src/pats_syntax_print.dats: 27687(line=1184, offs=3) -- 27843(line=1189, offs=2)
*/
ATSglobaldec()
ats_void_type
_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_labd0exp (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp582) ;
ATSlocal (ats_ptr_type, tmp583) ;
ATSlocal (ats_ptr_type, tmp584) ;
// ATSlocal_void (tmp585) ;
// ATSlocal_void (tmp586) ;

__ats_lab__2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_labd0exp:
// 
tmp583 = ats_caselptrlab_mac(anairiats_sum_14, arg1, atslab_0) ;
tmp584 = ats_caselptrlab_mac(anairiats_sum_14, arg1, atslab_1) ;
/* tmp585 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_l0ab (arg0, tmp583) ;
/* tmp586 = */ atspre_fprint_string (arg0, ATSstrcst("= ")) ;
/* tmp582 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_d0exp (arg0, tmp584) ;
return /* (tmp582) */ ;
} /* end of [_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_labd0exp] */

/*
// /home/hwxi/Research/ATS-Postiats/src/pats_syntax_print.dats: 27898(line=1193, offs=5) -- 28247(line=1202, offs=2)
*/
ATSstaticdec()
ats_void_type
fprint_s0tacon_54 (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp587) ;
// ATSlocal_void (tmp588) ;
ATSlocal (ats_ptr_type, tmp589) ;
// ATSlocal_void (tmp590) ;
// ATSlocal_void (tmp591) ;
ATSlocal (ats_ptr_type, tmp592) ;
// ATSlocal_void (tmp593) ;
// ATSlocal_void (tmp594) ;
ATSlocal (ats_ptr_type, tmp595) ;

__ats_lab_fprint_s0tacon_54:
tmp589 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_35, arg1), atslab_s0tacon_sym) ;
/* tmp588 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_symbol_2esats__fprint_symbol (arg0, tmp589) ;
/* tmp590 = */ atspre_fprint_string (arg0, ATSstrcst("(")) ;
tmp592 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_35, arg1), atslab_s0tacon_arg) ;
/* tmp591 = */ fprintlst_01694_ats_ptr_type (arg0, tmp592, ATSstrcst(" "), &fprint_a0msrt_37) ;
/* tmp593 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
/* tmp594 = */ atspre_fprint_string (arg0, ATSstrcst(" = ")) ;
tmp595 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_35, arg1), atslab_s0tacon_def) ;
/* tmp587 = */ fprintopt_01695_ats_ptr_type (arg0, tmp595, &_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_s0exp) ;
return /* (tmp587) */ ;
} /* end of [fprint_s0tacon_54] */

/*
// /home/hwxi/Research/ATS-Postiats/src/pats_syntax_print.dats: 28301(line=1206, offs=5) -- 28597(line=1214, offs=2)
*/
ATSstaticdec()
ats_void_type
fprint_s0tacst_55 (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp596) ;
// ATSlocal_void (tmp597) ;
ATSlocal (ats_ptr_type, tmp598) ;
// ATSlocal_void (tmp599) ;
// ATSlocal_void (tmp600) ;
ATSlocal (ats_ptr_type, tmp601) ;
// ATSlocal_void (tmp602) ;
ATSlocal (ats_ptr_type, tmp603) ;

__ats_lab_fprint_s0tacst_55:
tmp598 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_36, arg1), atslab_s0tacst_sym) ;
/* tmp597 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_symbol_2esats__fprint_symbol (arg0, tmp598) ;
/* tmp599 = */ atspre_fprint_string (arg0, ATSstrcst("(")) ;
tmp601 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_36, arg1), atslab_s0tacst_arg) ;
/* tmp600 = */ fprintlst_01694_ats_ptr_type (arg0, tmp601, ATSstrcst(" "), &fprint_a0msrt_37) ;
/* tmp602 = */ atspre_fprint_string (arg0, ATSstrcst("):")) ;
tmp603 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_36, arg1), atslab_s0tacst_res) ;
/* tmp596 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_s0rt (arg0, tmp603) ;
return /* (tmp596) */ ;
} /* end of [fprint_s0tacst_55] */

/*
// /home/hwxi/Research/ATS-Postiats/src/pats_syntax_print.dats: 28993(line=1237, offs=3) -- 35635(line=1528, offs=4)
*/
ATSglobaldec()
ats_void_type
_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_d0ecl (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp604) ;
ATSlocal (ats_ptr_type, tmp605) ;
ATSlocal (ats_ptr_type, tmp606) ;
ATSlocal (ats_ptr_type, tmp607) ;
// ATSlocal_void (tmp608) ;
// ATSlocal_void (tmp609) ;
// ATSlocal_void (tmp610) ;
// ATSlocal_void (tmp611) ;
ATSlocal (ats_ptr_type, tmp612) ;
// ATSlocal_void (tmp613) ;
// ATSlocal_void (tmp614) ;
ATSlocal (ats_ptr_type, tmp615) ;
// ATSlocal_void (tmp616) ;
// ATSlocal_void (tmp617) ;
ATSlocal (ats_ptr_type, tmp618) ;
// ATSlocal_void (tmp619) ;
// ATSlocal_void (tmp620) ;
ATSlocal (ats_ptr_type, tmp621) ;
ATSlocal (ats_ptr_type, tmp622) ;
ATSlocal (ats_int_type, tmp623) ;
// ATSlocal_void (tmp624) ;
// ATSlocal_void (tmp625) ;
// ATSlocal_void (tmp626) ;
// ATSlocal_void (tmp627) ;
// ATSlocal_void (tmp628) ;
// ATSlocal_void (tmp629) ;
ATSlocal (ats_ptr_type, tmp630) ;
ATSlocal (ats_ptr_type, tmp631) ;
// ATSlocal_void (tmp632) ;
// ATSlocal_void (tmp633) ;
// ATSlocal_void (tmp634) ;
// ATSlocal_void (tmp635) ;
ATSlocal (ats_ptr_type, tmp636) ;
// ATSlocal_void (tmp637) ;
// ATSlocal_void (tmp638) ;
ATSlocal (ats_ptr_type, tmp639) ;
ATSlocal (ats_ptr_type, tmp640) ;
// ATSlocal_void (tmp641) ;
// ATSlocal_void (tmp642) ;
// ATSlocal_void (tmp643) ;
// ATSlocal_void (tmp644) ;
ATSlocal (ats_ptr_type, tmp645) ;
// ATSlocal_void (tmp646) ;
// ATSlocal_void (tmp647) ;
ATSlocal (ats_int_type, tmp648) ;
ATSlocal (ats_ptr_type, tmp649) ;
// ATSlocal_void (tmp650) ;
// ATSlocal_void (tmp651) ;
// ATSlocal_void (tmp652) ;
// ATSlocal_void (tmp653) ;
ATSlocal (ats_ptr_type, tmp654) ;
// ATSlocal_void (tmp655) ;
// ATSlocal_void (tmp656) ;
ATSlocal (ats_ptr_type, tmp657) ;
// ATSlocal_void (tmp658) ;
// ATSlocal_void (tmp659) ;
ATSlocal (ats_int_type, tmp660) ;
ATSlocal (ats_ptr_type, tmp661) ;
// ATSlocal_void (tmp662) ;
// ATSlocal_void (tmp663) ;
// ATSlocal_void (tmp664) ;
// ATSlocal_void (tmp665) ;
ATSlocal (ats_int_type, tmp666) ;
// ATSlocal_void (tmp667) ;
// ATSlocal_void (tmp668) ;
// ATSlocal_void (tmp669) ;
// ATSlocal_void (tmp670) ;
ATSlocal (ats_int_type, tmp671) ;
// ATSlocal_void (tmp672) ;
// ATSlocal_void (tmp673) ;
// ATSlocal_void (tmp674) ;
// ATSlocal_void (tmp675) ;
ATSlocal (ats_ptr_type, tmp676) ;
ATSlocal (ats_ptr_type, tmp677) ;
// ATSlocal_void (tmp678) ;
// ATSlocal_void (tmp679) ;
// ATSlocal_void (tmp680) ;
// ATSlocal_void (tmp681) ;
ATSlocal (ats_ptr_type, tmp682) ;
ATSlocal (ats_ptr_type, tmp683) ;
// ATSlocal_void (tmp684) ;
// ATSlocal_void (tmp685) ;
// ATSlocal_void (tmp686) ;
// ATSlocal_void (tmp687) ;
ATSlocal (ats_int_type, tmp688) ;
ATSlocal (ats_ptr_type, tmp689) ;
ATSlocal (ats_ptr_type, tmp690) ;
// ATSlocal_void (tmp691) ;
// ATSlocal_void (tmp692) ;
// ATSlocal_void (tmp693) ;
// ATSlocal_void (tmp694) ;
// ATSlocal_void (tmp695) ;
// ATSlocal_void (tmp696) ;
ATSlocal (ats_ptr_type, tmp697) ;
ATSlocal (ats_ptr_type, tmp698) ;
// ATSlocal_void (tmp699) ;
// ATSlocal_void (tmp700) ;
// ATSlocal_void (tmp701) ;
// ATSlocal_void (tmp702) ;
ATSlocal (ats_int_type, tmp703) ;
ATSlocal (ats_int_type, tmp704) ;
// ATSlocal_void (tmp705) ;
// ATSlocal_void (tmp706) ;
// ATSlocal_void (tmp707) ;
// ATSlocal_void (tmp708) ;
// ATSlocal_void (tmp709) ;
// ATSlocal_void (tmp710) ;
ATSlocal (ats_int_type, tmp711) ;
ATSlocal (ats_ptr_type, tmp712) ;
// ATSlocal_void (tmp713) ;
// ATSlocal_void (tmp714) ;
// ATSlocal_void (tmp715) ;
// ATSlocal_void (tmp716) ;
ATSlocal (ats_ptr_type, tmp717) ;
ATSlocal (ats_ptr_type, tmp718) ;
// ATSlocal_void (tmp719) ;
// ATSlocal_void (tmp720) ;
// ATSlocal_void (tmp721) ;
// ATSlocal_void (tmp722) ;
ATSlocal (ats_ptr_type, tmp723) ;
ATSlocal (ats_ptr_type, tmp724) ;
// ATSlocal_void (tmp725) ;
// ATSlocal_void (tmp726) ;
// ATSlocal_void (tmp727) ;
// ATSlocal_void (tmp728) ;
ATSlocal (ats_ptr_type, tmp729) ;
// ATSlocal_void (tmp730) ;
// ATSlocal_void (tmp731) ;
// ATSlocal_void (tmp732) ;
// ATSlocal_void (tmp733) ;
ATSlocal (ats_ptr_type, tmp734) ;
// ATSlocal_void (tmp735) ;
// ATSlocal_void (tmp736) ;
ATSlocal (ats_ptr_type, tmp737) ;
// ATSlocal_void (tmp738) ;
// ATSlocal_void (tmp739) ;
ATSlocal (ats_ptr_type, tmp740) ;
ATSlocal (ats_ptr_type, tmp741) ;
// ATSlocal_void (tmp742) ;
// ATSlocal_void (tmp743) ;
// ATSlocal_void (tmp744) ;
// ATSlocal_void (tmp745) ;

__ats_lab__2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_d0ecl:
tmp605 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_37, arg1), atslab_d0ecl_node) ;
do {
/* branch: __ats_lab_153 */
__ats_lab_153_0:
if (((ats_sum_ptr_type)tmp605)->tag != 0) { goto __ats_lab_154_0 ; }
__ats_lab_153_1:
tmp606 = ats_caselptrlab_mac(anairiats_sum_10, tmp605, atslab_0) ;
tmp607 = ats_caselptrlab_mac(anairiats_sum_10, tmp605, atslab_1) ;
/* tmp608 = */ atspre_fprint_string (arg0, ATSstrcst("D0Cfixity(")) ;
/* tmp609 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_f0xty (arg0, tmp606) ;
/* tmp610 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp611 = */ fprintlst_01694_ats_ptr_type (arg0, tmp607, ATSstrcst(", "), &_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_i0de) ;
/* tmp604 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_154 */
__ats_lab_154_0:
if (((ats_sum_ptr_type)tmp605)->tag != 1) { goto __ats_lab_155_0 ; }
__ats_lab_154_1:
tmp612 = ats_caselptrlab_mac(anairiats_sum_3, tmp605, atslab_0) ;
/* tmp613 = */ atspre_fprint_string (arg0, ATSstrcst("D0Cnonfix(")) ;
/* tmp614 = */ fprintlst_01694_ats_ptr_type (arg0, tmp612, ATSstrcst(", "), &_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_i0de) ;
/* tmp604 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_155 */
__ats_lab_155_0:
if (((ats_sum_ptr_type)tmp605)->tag != 2) { goto __ats_lab_156_0 ; }
__ats_lab_155_1:
tmp615 = ats_caselptrlab_mac(anairiats_sum_3, tmp605, atslab_0) ;
/* tmp616 = */ atspre_fprint_string (arg0, ATSstrcst("D0Csymintr(")) ;
/* tmp617 = */ fprintlst_01694_ats_ptr_type (arg0, tmp615, ATSstrcst(", "), &_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_i0de) ;
/* tmp604 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_156 */
__ats_lab_156_0:
if (((ats_sum_ptr_type)tmp605)->tag != 3) { goto __ats_lab_157_0 ; }
__ats_lab_156_1:
tmp618 = ats_caselptrlab_mac(anairiats_sum_3, tmp605, atslab_0) ;
/* tmp619 = */ atspre_fprint_string (arg0, ATSstrcst("D0Csymelim(")) ;
/* tmp620 = */ fprintlst_01694_ats_ptr_type (arg0, tmp618, ATSstrcst(", "), &_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_i0de) ;
/* tmp604 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_157 */
__ats_lab_157_0:
if (((ats_sum_ptr_type)tmp605)->tag != 4) { goto __ats_lab_158_0 ; }
__ats_lab_157_1:
tmp621 = ats_caselptrlab_mac(anairiats_sum_38, tmp605, atslab_0) ;
tmp622 = ats_caselptrlab_mac(anairiats_sum_38, tmp605, atslab_1) ;
tmp623 = ats_caselptrlab_mac(anairiats_sum_38, tmp605, atslab_2) ;
/* tmp624 = */ atspre_fprint_string (arg0, ATSstrcst("D0Coverload(")) ;
/* tmp625 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_i0de (arg0, tmp621) ;
/* tmp626 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp627 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_dqi0de (arg0, tmp622) ;
/* tmp628 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp629 = */ atspre_fprint_int (arg0, tmp623) ;
/* tmp604 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_158 */
__ats_lab_158_0:
if (((ats_sum_ptr_type)tmp605)->tag != 5) { goto __ats_lab_159_0 ; }
__ats_lab_158_1:
tmp630 = ats_caselptrlab_mac(anairiats_sum_10, tmp605, atslab_0) ;
tmp631 = ats_caselptrlab_mac(anairiats_sum_10, tmp605, atslab_1) ;
/* tmp632 = */ atspre_fprint_string (arg0, ATSstrcst("D0Ce0xpdef(")) ;
/* tmp633 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_symbol_2esats__fprint_symbol (arg0, tmp630) ;
/* tmp634 = */ atspre_fprint_string (arg0, ATSstrcst(", ")) ;
/* tmp635 = */ fprintopt_01695_ats_ptr_type (arg0, tmp631, &_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_e0xp) ;
/* tmp604 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_159 */
__ats_lab_159_0:
if (((ats_sum_ptr_type)tmp605)->tag != 6) { goto __ats_lab_160_0 ; }
__ats_lab_159_1:
tmp636 = ats_caselptrlab_mac(anairiats_sum_3, tmp605, atslab_0) ;
/* tmp637 = */ atspre_fprint_string (arg0, ATSstrcst("D0Ce0xpundef(")) ;
/* tmp638 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_symbol_2esats__fprint_symbol (arg0, tmp636) ;
/* tmp604 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_160 */
__ats_lab_160_0:
if (((ats_sum_ptr_type)tmp605)->tag != 7) { goto __ats_lab_161_0 ; }
__ats_lab_160_1:
tmp639 = ats_caselptrlab_mac(anairiats_sum_10, tmp605, atslab_0) ;
tmp640 = ats_caselptrlab_mac(anairiats_sum_10, tmp605, atslab_1) ;
/* tmp641 = */ atspre_fprint_string (arg0, ATSstrcst("D0Ce0xpact(")) ;
/* tmp642 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_e0xpactkind (arg0, tmp639) ;
/* tmp643 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp644 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_e0xp (arg0, tmp640) ;
/* tmp604 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_161 */
__ats_lab_161_0:
if (((ats_sum_ptr_type)tmp605)->tag != 8) { goto __ats_lab_162_0 ; }
__ats_lab_161_1:
tmp645 = ats_caselptrlab_mac(anairiats_sum_3, tmp605, atslab_0) ;
/* tmp646 = */ atspre_fprint_string (arg0, ATSstrcst("D0Cpragma(")) ;
/* tmp647 = */ fprintlst_01694_ats_ptr_type (arg0, tmp645, ATSstrcst(", "), &_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_e0xp) ;
/* tmp604 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_162 */
__ats_lab_162_0:
if (((ats_sum_ptr_type)tmp605)->tag != 9) { goto __ats_lab_163_0 ; }
__ats_lab_162_1:
tmp648 = ats_caselptrlab_mac(anairiats_sum_28, tmp605, atslab_0) ;
tmp649 = ats_caselptrlab_mac(anairiats_sum_28, tmp605, atslab_1) ;
/* tmp650 = */ atspre_fprint_string (arg0, ATSstrcst("D0Ccodegen(")) ;
/* tmp651 = */ atspre_fprint_int (arg0, tmp648) ;
/* tmp652 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp653 = */ fprintlst_01694_ats_ptr_type (arg0, tmp649, ATSstrcst(", "), &_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_e0xp) ;
/* tmp604 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_163 */
__ats_lab_163_0:
if (((ats_sum_ptr_type)tmp605)->tag != 10) { goto __ats_lab_164_0 ; }
__ats_lab_163_1:
tmp654 = ats_caselptrlab_mac(anairiats_sum_3, tmp605, atslab_0) ;
/* tmp655 = */ atspre_fprint_string (arg0, ATSstrcst("D0Cdatsrts(\n")) ;
/* tmp656 = */ fprintlst_01694_ats_ptr_type (arg0, tmp654, ATSstrcst("\n"), &_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_d0atsrtdec) ;
/* tmp604 = */ atspre_fprint_string (arg0, ATSstrcst("\n)")) ;
break ;

/* branch: __ats_lab_164 */
__ats_lab_164_0:
if (((ats_sum_ptr_type)tmp605)->tag != 11) { goto __ats_lab_165_0 ; }
__ats_lab_164_1:
/* tmp604 = */ atspre_fprint_string (arg0, ATSstrcst("D0Csrtdefs(...)")) ;
break ;

/* branch: __ats_lab_165 */
__ats_lab_165_0:
if (((ats_sum_ptr_type)tmp605)->tag != 12) { goto __ats_lab_166_0 ; }
__ats_lab_165_1:
tmp657 = ats_caselptrlab_mac(anairiats_sum_3, tmp605, atslab_0) ;
/* tmp658 = */ atspre_fprint_string (arg0, ATSstrcst("D0Cstacsts(\n")) ;
/* tmp659 = */ fprintlst_01694_ats_ptr_type (arg0, tmp657, ATSstrcst("\n"), &fprint_s0tacst_55) ;
/* tmp604 = */ atspre_fprint_string (arg0, ATSstrcst("\n)")) ;
break ;

/* branch: __ats_lab_166 */
__ats_lab_166_0:
if (((ats_sum_ptr_type)tmp605)->tag != 13) { goto __ats_lab_167_0 ; }
__ats_lab_166_1:
tmp660 = ats_caselptrlab_mac(anairiats_sum_28, tmp605, atslab_0) ;
tmp661 = ats_caselptrlab_mac(anairiats_sum_28, tmp605, atslab_1) ;
/* tmp662 = */ atspre_fprint_string (arg0, ATSstrcst("D0Cstacons(")) ;
/* tmp663 = */ atspre_fprint_int (arg0, tmp660) ;
/* tmp664 = */ atspre_fprint_string (arg0, ATSstrcst(";\n")) ;
/* tmp665 = */ fprintlst_01694_ats_ptr_type (arg0, tmp661, ATSstrcst("\n"), &fprint_s0tacon_54) ;
/* tmp604 = */ atspre_fprint_string (arg0, ATSstrcst("\n)")) ;
break ;

/* branch: __ats_lab_167 */
__ats_lab_167_0:
if (((ats_sum_ptr_type)tmp605)->tag != 14) { goto __ats_lab_168_0 ; }
__ats_lab_167_1:
/* tmp604 = */ atspre_fprint_string (arg0, ATSstrcst("D0Ctkindef(...)")) ;
break ;

/* branch: __ats_lab_168 */
__ats_lab_168_0:
if (((ats_sum_ptr_type)tmp605)->tag != 15) { goto __ats_lab_169_0 ; }
__ats_lab_168_1:
tmp666 = ats_caselptrlab_mac(anairiats_sum_28, tmp605, atslab_0) ;
/* tmp667 = */ atspre_fprint_string (arg0, ATSstrcst("D0Csexpdefs(")) ;
/* tmp668 = */ atspre_fprint_int (arg0, tmp666) ;
/* tmp669 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp670 = */ atspre_fprint_string (arg0, ATSstrcst("...")) ;
/* tmp604 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_169 */
__ats_lab_169_0:
if (((ats_sum_ptr_type)tmp605)->tag != 16) { goto __ats_lab_170_0 ; }
__ats_lab_169_1:
/* tmp604 = */ atspre_fprint_string (arg0, ATSstrcst("D0Csaspdec(...)")) ;
break ;

/* branch: __ats_lab_170 */
__ats_lab_170_0:
if (((ats_sum_ptr_type)tmp605)->tag != 17) { goto __ats_lab_171_0 ; }
__ats_lab_170_1:
/* tmp604 = */ atspre_fprint_string (arg0, ATSstrcst("D0Cexndecs(...)")) ;
break ;

/* branch: __ats_lab_171 */
__ats_lab_171_0:
if (((ats_sum_ptr_type)tmp605)->tag != 18) { goto __ats_lab_172_0 ; }
__ats_lab_171_1:
tmp671 = ats_caselptrlab_mac(anairiats_sum_34, tmp605, atslab_0) ;
/* tmp672 = */ atspre_fprint_string (arg0, ATSstrcst("D0Cdatdecs(")) ;
/* tmp673 = */ atspre_fprint_int (arg0, tmp671) ;
/* tmp674 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp675 = */ atspre_fprint_string (arg0, ATSstrcst("...")) ;
/* tmp604 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_172 */
__ats_lab_172_0:
if (((ats_sum_ptr_type)tmp605)->tag != 24) { goto __ats_lab_173_0 ; }
__ats_lab_172_1:
/* tmp604 = */ atspre_fprint_string (arg0, ATSstrcst("D0Cdcstdecs(...)")) ;
break ;

/* branch: __ats_lab_173 */
__ats_lab_173_0:
if (((ats_sum_ptr_type)tmp605)->tag != 26) { goto __ats_lab_174_0 ; }
__ats_lab_173_1:
/* tmp604 = */ atspre_fprint_string (arg0, ATSstrcst("D0Cmacdefs(...)")) ;
break ;

/* branch: __ats_lab_174 */
__ats_lab_174_0:
if (((ats_sum_ptr_type)tmp605)->tag != 19) { goto __ats_lab_175_0 ; }
__ats_lab_174_1:
tmp676 = ats_caselptrlab_mac(anairiats_sum_10, tmp605, atslab_0) ;
tmp677 = ats_caselptrlab_mac(anairiats_sum_10, tmp605, atslab_1) ;
/* tmp678 = */ atspre_fprint_string (arg0, ATSstrcst("D0Cclassdec(")) ;
/* tmp679 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_i0de (arg0, tmp676) ;
/* tmp680 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp681 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_s0expopt (arg0, tmp677) ;
/* tmp604 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_175 */
__ats_lab_175_0:
if (((ats_sum_ptr_type)tmp605)->tag != 20) { goto __ats_lab_176_0 ; }
__ats_lab_175_1:
tmp682 = ats_caselptrlab_mac(anairiats_sum_10, tmp605, atslab_0) ;
tmp683 = ats_caselptrlab_mac(anairiats_sum_10, tmp605, atslab_1) ;
/* tmp684 = */ atspre_fprint_string (arg0, ATSstrcst("D0Cextype(")) ;
/* tmp685 = */ atspre_fprint_string (arg0, tmp682) ;
/* tmp686 = */ atspre_fprint_string (arg0, ATSstrcst(" = ")) ;
/* tmp687 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_s0exp (arg0, tmp683) ;
/* tmp604 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_176 */
__ats_lab_176_0:
if (((ats_sum_ptr_type)tmp605)->tag != 21) { goto __ats_lab_177_0 ; }
__ats_lab_176_1:
tmp688 = ats_caselptrlab_mac(anairiats_sum_34, tmp605, atslab_0) ;
tmp689 = ats_caselptrlab_mac(anairiats_sum_34, tmp605, atslab_1) ;
tmp690 = ats_caselptrlab_mac(anairiats_sum_34, tmp605, atslab_2) ;
/* tmp691 = */ atspre_fprint_string (arg0, ATSstrcst("D0Cextype(")) ;
/* tmp692 = */ atspre_fprint_int (arg0, tmp688) ;
/* tmp693 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp694 = */ atspre_fprint_string (arg0, tmp689) ;
/* tmp695 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp696 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_s0exp (arg0, tmp690) ;
/* tmp604 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_177 */
__ats_lab_177_0:
if (((ats_sum_ptr_type)tmp605)->tag != 22) { goto __ats_lab_178_0 ; }
__ats_lab_177_1:
tmp697 = ats_caselptrlab_mac(anairiats_sum_10, tmp605, atslab_0) ;
tmp698 = ats_caselptrlab_mac(anairiats_sum_10, tmp605, atslab_1) ;
/* tmp699 = */ atspre_fprint_string (arg0, ATSstrcst("D0Cextvar(")) ;
/* tmp700 = */ atspre_fprint_string (arg0, tmp697) ;
/* tmp701 = */ atspre_fprint_string (arg0, ATSstrcst(" = ")) ;
/* tmp702 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_d0exp (arg0, tmp698) ;
/* tmp604 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_178 */
__ats_lab_178_0:
if (((ats_sum_ptr_type)tmp605)->tag != 23) { goto __ats_lab_179_0 ; }
__ats_lab_178_1:
tmp703 = ats_caselptrlab_mac(anairiats_sum_26, tmp605, atslab_0) ;
tmp704 = ats_caselptrlab_mac(anairiats_sum_26, tmp605, atslab_1) ;
/* tmp705 = */ atspre_fprint_string (arg0, ATSstrcst("D0Cextcode(")) ;
/* tmp706 = */ atspre_fprint_int (arg0, tmp703) ;
/* tmp707 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp708 = */ atspre_fprint_int (arg0, tmp704) ;
/* tmp709 = */ atspre_fprint_string (arg0, ATSstrcst("\n")) ;
/* tmp710 = */ atspre_fprint_string (arg0, ATSstrcst("...")) ;
/* tmp604 = */ atspre_fprint_string (arg0, ATSstrcst("\n)")) ;
break ;

/* branch: __ats_lab_179 */
__ats_lab_179_0:
if (((ats_sum_ptr_type)tmp605)->tag != 25) { goto __ats_lab_180_0 ; }
__ats_lab_179_1:
/* tmp604 = */ atspre_fprint_string (arg0, ATSstrcst("D0Cimpdec(...)")) ;
break ;

/* branch: __ats_lab_180 */
__ats_lab_180_0:
if (((ats_sum_ptr_type)tmp605)->tag != 28) { goto __ats_lab_181_0 ; }
__ats_lab_180_1:
/* tmp604 = */ atspre_fprint_string (arg0, ATSstrcst("D0Cvaldecs(...)")) ;
break ;

/* branch: __ats_lab_181 */
__ats_lab_181_0:
if (((ats_sum_ptr_type)tmp605)->tag != 27) { goto __ats_lab_182_0 ; }
__ats_lab_181_1:
/* tmp604 = */ atspre_fprint_string (arg0, ATSstrcst("D0Cfundecs(...)")) ;
break ;

/* branch: __ats_lab_182 */
__ats_lab_182_0:
if (((ats_sum_ptr_type)tmp605)->tag != 29) { goto __ats_lab_183_0 ; }
__ats_lab_182_1:
/* tmp604 = */ atspre_fprint_string (arg0, ATSstrcst("D0Cvardecs(...)")) ;
break ;

/* branch: __ats_lab_183 */
__ats_lab_183_0:
if (((ats_sum_ptr_type)tmp605)->tag != 30) { goto __ats_lab_184_0 ; }
__ats_lab_183_1:
tmp711 = ats_caselptrlab_mac(anairiats_sum_27, tmp605, atslab_1) ;
tmp712 = ats_caselptrlab_mac(anairiats_sum_27, tmp605, atslab_2) ;
/* tmp713 = */ atspre_fprint_string (arg0, ATSstrcst("D0Cinclude(")) ;
/* tmp714 = */ atspre_fprint_int (arg0, tmp711) ;
/* tmp715 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp716 = */ atspre_fprint_string (arg0, tmp712) ;
/* tmp604 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_184 */
__ats_lab_184_0:
if (((ats_sum_ptr_type)tmp605)->tag != 31) { goto __ats_lab_185_0 ; }
__ats_lab_184_1:
tmp717 = ats_caselptrlab_mac(anairiats_sum_15, tmp605, atslab_1) ;
tmp718 = ats_caselptrlab_mac(anairiats_sum_15, tmp605, atslab_2) ;
/* tmp719 = */ atspre_fprint_string (arg0, ATSstrcst("D0Cstaload(")) ;
/* tmp720 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_symbol_2esats__fprint_symbolopt (arg0, tmp717) ;
/* tmp721 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp722 = */ atspre_fprint_string (arg0, tmp718) ;
/* tmp604 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_185 */
__ats_lab_185_0:
if (((ats_sum_ptr_type)tmp605)->tag != 32) { goto __ats_lab_186_0 ; }
__ats_lab_185_1:
tmp723 = ats_caselptrlab_mac(anairiats_sum_15, tmp605, atslab_1) ;
tmp724 = ats_caselptrlab_mac(anairiats_sum_15, tmp605, atslab_2) ;
/* tmp725 = */ atspre_fprint_string (arg0, ATSstrcst("D0Cstaloadnm(")) ;
/* tmp726 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_symbol_2esats__fprint_symbolopt (arg0, tmp723) ;
/* tmp727 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp728 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_symbol_2esats__fprint_symbol (arg0, tmp724) ;
/* tmp604 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_186 */
__ats_lab_186_0:
if (((ats_sum_ptr_type)tmp605)->tag != 33) { goto __ats_lab_187_0 ; }
__ats_lab_186_1:
tmp729 = ats_caselptrlab_mac(anairiats_sum_15, tmp605, atslab_1) ;
/* tmp730 = */ atspre_fprint_string (arg0, ATSstrcst("D0Cstaloadloc(")) ;
/* tmp731 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_symbol_2esats__fprint_symbol (arg0, tmp729) ;
/* tmp732 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp733 = */ atspre_fprint_string (arg0, ATSstrcst("(*d0eclist*)")) ;
/* tmp604 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_187 */
__ats_lab_187_0:
if (((ats_sum_ptr_type)tmp605)->tag != 34) { goto __ats_lab_188_0 ; }
__ats_lab_187_1:
tmp734 = ats_caselptrlab_mac(anairiats_sum_10, tmp605, atslab_1) ;
/* tmp735 = */ atspre_fprint_string (arg0, ATSstrcst("D0Crequire(")) ;
/* tmp736 = */ atspre_fprint_string (arg0, tmp734) ;
/* tmp604 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_188 */
__ats_lab_188_0:
if (((ats_sum_ptr_type)tmp605)->tag != 35) { goto __ats_lab_189_0 ; }
__ats_lab_188_1:
tmp737 = ats_caselptrlab_mac(anairiats_sum_10, tmp605, atslab_1) ;
/* tmp738 = */ atspre_fprint_string (arg0, ATSstrcst("D0Cdynload(")) ;
/* tmp739 = */ atspre_fprint_string (arg0, tmp737) ;
/* tmp604 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_189 */
__ats_lab_189_0:
if (((ats_sum_ptr_type)tmp605)->tag != 36) { goto __ats_lab_190_0 ; }
__ats_lab_189_1:
tmp740 = ats_caselptrlab_mac(anairiats_sum_10, tmp605, atslab_0) ;
tmp741 = ats_caselptrlab_mac(anairiats_sum_10, tmp605, atslab_1) ;
/* tmp742 = */ atspre_fprint_string (arg0, ATSstrcst("D0Clocal(\n")) ;
/* tmp743 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_d0eclist (arg0, tmp740) ;
/* tmp744 = */ atspre_fprint_string (arg0, ATSstrcst("\n(*in*)\n")) ;
/* tmp745 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_d0eclist (arg0, tmp741) ;
/* tmp604 = */ atspre_fprint_string (arg0, ATSstrcst("\n)")) ;
break ;

/* branch: __ats_lab_190 */
__ats_lab_190_0:
// if (((ats_sum_ptr_type)tmp605)->tag != 37) { ats_deadcode_failure_handle () ; }
__ats_lab_190_1:
/* tmp604 = */ atspre_fprint_string (arg0, ATSstrcst("D0Cguadecl(...)")) ;
break ;
} while (0) ;
return /* (tmp604) */ ;
} /* end of [_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_d0ecl] */

/*
// /home/hwxi/Research/ATS-Postiats/src/pats_syntax_print.dats: 35711(line=1534, offs=3) -- 35822(line=1537, offs=2)
*/
ATSglobaldec()
ats_void_type
_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_d0eclist (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp746) ;
// ATSlocal_void (tmp747) ;

__ats_lab__2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_d0eclist:
/* tmp747 = */ fprintlst_01694_ats_ptr_type (arg0, arg1, ATSstrcst("\n"), &_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_d0ecl) ;
/* tmp746 = */ atspre_fprint_newline (arg0) ;
return /* (tmp746) */ ;
} /* end of [_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_d0eclist] */

/* static load function */

extern ats_void_type _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_utils_2esats__staload (void) ;
extern ats_void_type _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_utils_2edats__staload (void) ;
extern ats_void_type _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_fixity_2esats__staload (void) ;
extern ats_void_type _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_label_2esats__staload (void) ;
extern ats_void_type _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_symbol_2esats__staload (void) ;
extern ats_void_type _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_lexing_2esats__staload (void) ;
extern ats_void_type _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__staload (void) ;

ats_void_type
_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_print_2edats__staload () {
static int _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_print_2edats__staload_flag = 0 ;
if (_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_print_2edats__staload_flag) return ;
_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_print_2edats__staload_flag = 1 ;

_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_utils_2esats__staload () ;
_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_utils_2edats__staload () ;
_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_fixity_2esats__staload () ;
_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_label_2esats__staload () ;
_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_symbol_2esats__staload () ;
_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_lexing_2esats__staload () ;
_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_2esats__staload () ;

return ;
} /* staload function */

/* dynamic load function */

// dynload flag declaration
extern ats_int_type _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_print_2edats__dynload_flag ;

ats_void_type
_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_print_2edats__dynload () {
_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_print_2edats__dynload_flag = 1 ;
_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_syntax_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 () ;
_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_utils_2edats____assert_prfck () ;
_2home_2hwxi_2Research_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_syntax_print_dats.c] */
