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

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

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

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_lexbuf.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_lexbuf.cats"

#include "pats_location.cats"

#include "pats_location.cats"
/* external codes at top */
/* type definitions */
typedef struct {
int tag ;
ats_int_type atslab_0 ;
} anairiats_sum_0 ;

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

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

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

typedef
struct {
ats_ptr_type atslab_e1xp_loc ;
ats_ptr_type atslab_e1xp_node ;
} anairiats_rec_4 ;

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

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

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

typedef struct {
int tag ;
ats_uint_type atslab_0 ;
ats_ptr_type atslab_1 ;
} anairiats_sum_8 ;

typedef
struct {
ats_ptr_type atslab_s1rt_loc ;
ats_ptr_type atslab_s1rt_node ;
} anairiats_rec_9 ;

typedef struct {
ats_ptr_type atslab_0 ;
} anairiats_sum_10 ;

typedef
struct {
ats_ptr_type atslab_d1atsrtcon_loc ;
ats_ptr_type atslab_d1atsrtcon_sym ;
ats_ptr_type atslab_d1atsrtcon_arg ;
} anairiats_rec_11 ;

typedef
struct {
ats_ptr_type atslab_d1atsrtdec_loc ;
ats_ptr_type atslab_d1atsrtdec_sym ;
ats_ptr_type atslab_d1atsrtdec_con ;
} anairiats_rec_12 ;

typedef
struct {
ats_ptr_type atslab_s1arg_loc ;
ats_ptr_type atslab_s1arg_sym ;
ats_ptr_type atslab_s1arg_srt ;
} anairiats_rec_13 ;

typedef
struct {
ats_ptr_type atslab_s1marg_loc ;
ats_ptr_type atslab_s1marg_arg ;
} anairiats_rec_14 ;

typedef
struct {
ats_ptr_type atslab_a1srt_loc ;
ats_ptr_type atslab_a1srt_sym ;
ats_ptr_type atslab_a1srt_srt ;
} anairiats_rec_15 ;

typedef
struct {
ats_ptr_type atslab_a1msrt_loc ;
ats_ptr_type atslab_a1msrt_arg ;
} anairiats_rec_16 ;

typedef
struct {
ats_ptr_type atslab_s1exp_loc ;
ats_ptr_type atslab_s1exp_node ;
} anairiats_rec_17 ;

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

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

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

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

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

typedef
struct {
ats_ptr_type atslab_s1rtext_loc ;
ats_ptr_type atslab_s1rtext_node ;
} anairiats_rec_23 ;

typedef
struct {
ats_ptr_type atslab_s1qua_loc ;
ats_ptr_type atslab_s1qua_node ;
} anairiats_rec_24 ;

typedef
struct {
ats_ptr_type atslab_s1exparg_loc ;
ats_ptr_type atslab_s1exparg_node ;
} anairiats_rec_25 ;

typedef
struct {
ats_ptr_type atslab_s1rtdef_loc ;
ats_ptr_type atslab_s1rtdef_sym ;
ats_ptr_type atslab_s1rtdef_def ;
} anairiats_rec_26 ;

typedef
struct {
ats_ptr_type atslab_s1tacst_loc ;
ats_ptr_type atslab_s1tacst_sym ;
ats_ptr_type atslab_s1tacst_fil ;
ats_ptr_type atslab_s1tacst_arg ;
ats_ptr_type atslab_s1tacst_res ;
ats_ptr_type atslab_s1tacst_extdef ;
} anairiats_rec_27 ;

typedef
struct {
ats_ptr_type atslab_s1tacon_loc ;
ats_ptr_type atslab_s1tacon_sym ;
ats_ptr_type atslab_s1tacon_fil ;
ats_ptr_type atslab_s1tacon_arg ;
ats_ptr_type atslab_s1tacon_def ;
} anairiats_rec_28 ;

typedef
struct {
ats_ptr_type atslab_s1expdef_loc ;
ats_ptr_type atslab_s1expdef_sym ;
ats_ptr_type atslab_s1expdef_loc_id ;
ats_ptr_type atslab_s1expdef_arg ;
ats_ptr_type atslab_s1expdef_res ;
ats_ptr_type atslab_s1expdef_def ;
} anairiats_rec_29 ;

typedef
struct {
ats_ptr_type atslab_s1aspdec_loc ;
ats_ptr_type atslab_s1aspdec_qid ;
ats_ptr_type atslab_s1aspdec_arg ;
ats_ptr_type atslab_s1aspdec_res ;
ats_ptr_type atslab_s1aspdec_def ;
} anairiats_rec_30 ;

typedef
struct {
ats_ptr_type atslab_q1marg_loc ;
ats_ptr_type atslab_q1marg_arg ;
} anairiats_rec_31 ;

typedef
struct {
ats_ptr_type atslab_e1xndec_loc ;
ats_ptr_type atslab_e1xndec_fil ;
ats_ptr_type atslab_e1xndec_sym ;
ats_ptr_type atslab_e1xndec_qua ;
ats_int_type atslab_e1xndec_npf ;
ats_ptr_type atslab_e1xndec_arg ;
} anairiats_rec_32 ;

typedef
struct {
ats_ptr_type atslab_d1cstdec_loc ;
ats_ptr_type atslab_d1cstdec_fil ;
ats_ptr_type atslab_d1cstdec_sym ;
ats_ptr_type atslab_d1cstdec_type ;
ats_ptr_type atslab_d1cstdec_extdef ;
} anairiats_rec_33 ;

/* external typedefs */
/* external dynamic constructor declarations */
ATSextern_val(ats_sum_type, ATS_2d0_2e2_2e12_2prelude_2basics_sta_2esats__list_cons_0) ;
ATSextern_val(ats_sum_type, ATS_2d0_2e2_2e12_2prelude_2basics_sta_2esats__list_nil_1) ;
ATSextern_val(ats_sum_type, ATS_2d0_2e2_2e12_2prelude_2basics_sta_2esats__None_0) ;
ATSextern_val(ats_sum_type, ATS_2d0_2e2_2e12_2prelude_2basics_sta_2esats__Some_1) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_syntax_2esats__SL0ABELED_0) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__V1ALint_0) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__V1ALchar_1) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__V1ALstring_2) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__V1ALfloat_3) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__V1ALerr_4) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__E1XPide_0) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__E1XPint_1) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__E1XPintrep_2) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__E1XPchar_3) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__E1XPfloat_4) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__E1XPstring_5) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__E1XPv1al_6) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__E1XPnone_7) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__E1XPundef_8) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__E1XPapp_9) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__E1XPfun_10) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__E1XPif_11) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__E1XPeval_12) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__E1XPlist_13) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__E1XPerr_14) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__EFFCSTall_0) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__EFFCSTnil_1) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__EFFCSTset_2) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__S1RTapp_0) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__S1RTlist_1) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__S1RTqid_2) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__S1RTtype_3) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__S1RTerr_4) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__S1Qprop_0) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__S1Qvars_1) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__S1TEsrt_0) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__S1TEsub_1) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__S1Eide_0) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__S1Esqid_1) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__S1Eint_2) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__S1Eintrep_3) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__S1Echar_4) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__S1Efloat_5) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__S1Estring_6) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__S1Eextype_7) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__S1Eextkind_8) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__S1Eapp_9) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__S1Elam_10) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__S1Eimp_11) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__S1Etop_12) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__S1Elist_13) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__S1Einvar_14) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__S1Etrans_15) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__S1Etyarr_16) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__S1Etytup_17) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__S1Etyrec_18) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__S1Etyrec_ext_19) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__S1Euni_20) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__S1Eexi_21) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__S1Eann_22) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__S1Ed2ctype_23) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__S1Eerr_24) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__S1VARARGone_0) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__S1VARARGall_1) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__S1VARARGseq_2) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__S1EXPARGone_0) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__S1EXPARGall_1) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__S1EXPARGseq_2) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__I1MPARG_sarglst_0) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__I1MPARG_svararglst_1) ;

/* external dynamic constant declarations */
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_void_type, atspre_fprint_double) (ats_ptr_type, ats_double_type) ;
ATSextern_fun(ats_int_type, atspre_add_int_int) (ats_int_type, ats_int_type) ;
ATSextern_fun(ats_bool_type, atspre_lt_int_int) (ats_int_type, ats_int_type) ;
ATSextern_fun(ats_bool_type, atspre_lte_int_int) (ats_int_type, ats_int_type) ;
ATSextern_fun(ats_bool_type, atspre_gt_int_int) (ats_int_type, ats_int_type) ;
ATSextern_fun(ats_bool_type, atspre_eq_int_int) (ats_int_type, ats_int_type) ;
ATSextern_fun(ats_void_type, atspre_fprint_int) (ats_ptr_type, ats_int_type) ;
ATSextern_fun(ats_uint_type, atspre_add_uint_uint) (ats_uint_type, ats_uint_type) ;
ATSextern_fun(ats_int_type, atspre_isucc) (ats_int_type) ;
ATSextern_fun(ats_int_type, atspre_iadd) (ats_int_type, ats_int_type) ;
ATSextern_fun(ats_int_type, atspre_isub) (ats_int_type, ats_int_type) ;
ATSextern_fun(ats_bool_type, atspre_igt) (ats_int_type, ats_int_type) ;
ATSextern_fun(ats_bool_type, atspre_igte) (ats_int_type, ats_int_type) ;
ATSextern_fun(ats_llint_type, atspre_llint_of_int) (ats_int_type) ;
ATSextern_fun(ats_llint_type, atspre_mul_llint_llint) (ats_llint_type, ats_llint_type) ;
ATSextern_fun(ats_size_type, atspre_sub_size_size) (ats_size_type, ats_size_type) ;
ATSextern_fun(ats_bool_type, atspre_gte_size_size) (ats_size_type, ats_size_type) ;
ATSextern_fun(ats_size_type, atspre_size1_of_int1) (ats_int_type) ;
ATSextern_fun(ats_size_type, atspre_add_size1_int1) (ats_size_type, ats_int_type) ;
ATSextern_fun(ats_size_type, atspre_sub_size1_int1) (ats_size_type, ats_int_type) ;
ATSextern_fun(ats_size_type, atspre_sub_size1_size1) (ats_size_type, ats_size_type) ;
ATSextern_fun(ats_size_type, atspre_mul_size1_size1) (ats_size_type, ats_size_type) ;
ATSextern_fun(ats_size_type, atspre_mul2_size1_size1) (ats_size_type, ats_size_type) ;
ATSextern_fun(ats_bool_type, atspre_gt_size1_int1) (ats_size_type, ats_int_type) ;
ATSextern_fun(ats_bool_type, atspre_gt_size1_size1) (ats_size_type, ats_size_type) ;
ATSextern_fun(ats_bool_type, atspre_eq_size1_int1) (ats_size_type, ats_int_type) ;
ATSextern_fun(ats_bool_type, atspre_eq_size1_size1) (ats_size_type, ats_size_type) ;
ATSextern_fun(ats_ptr_type, ats_malloc_gc) (ats_size_type) ;
ATSextern_fun(ats_void_type, atspre_bytes_strbuf_trans) (ats_ptr_type, ats_size_type) ;
ATSextern_fun(ats_bool_type, atspre_eq_string_string) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, atspre_fprint_string) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_char_type, atspre_string_get_char_at) (ats_ptr_type, ats_size_type) ;
ATSextern_fun(ats_char_type, atspre_string_get_char_at__intsz) (ats_ptr_type, ats_int_type) ;
ATSextern_fun(ats_ptr_type, atspre_string_copy) (ats_ptr_type) ;
ATSextern_fun(ats_bool_type, atspre_string_contains) (ats_ptr_type, ats_char_type) ;
ATSextern_fun(ats_size_type, atspre_string_length) (ats_ptr_type) ;
ATSextern_fun(ats_size_type, atspre_string_length) (ats_ptr_type) ;
ATSextern_fun(ats_bool_type, atspre_string_isnot_empty) (ats_ptr_type) ;
ATSextern_fun(ats_bool_type, atspre_string_isnot_atend) (ats_ptr_type, ats_size_type) ;
ATSextern_val(ats_ptr_type, atspre_stropt_none) ;
ATSextern_fun(ats_bool_type, atspre_stropt_is_some) (ats_ptr_type) ;
ATSextern_fun(ats_void_type, atspre_strptr_free) (ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, atspre_tostringf) (ats_ptr_type, ...) ;
ATSextern_fun(ats_ptr_type, ListSubscriptException_make) () ;
ATSextern_fun(ats_ptr_type, atspre_array_ptr_alloc_tsz) (ats_size_type, ats_size_type) ;
ATSextern_fun(ats_void_type, atspre_array_ptr_free) (ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_utils_2esats__fprint_stropt) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_utils_2esats__charset_listize) (ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, patsopt_file2strptr) (ats_int_type) ;
ATSextern_fun(ats_size_type, ATS_2d0_2e2_2e12_2libats_2ngc_2SATS_2deque_arr_2esats__deque_cap) (ats_ref_type) ;
ATSextern_fun(ats_size_type, ATS_2d0_2e2_2e12_2libats_2ngc_2SATS_2deque_arr_2esats__deque_size) (ats_ref_type) ;
ATSextern_fun(ats_bool_type, ATS_2d0_2e2_2e12_2libats_2ngc_2SATS_2deque_arr_2esats__deque_is_empty) (ats_ref_type) ;
ATSextern_fun(ats_bool_type, ATS_2d0_2e2_2e12_2libats_2ngc_2SATS_2deque_arr_2esats__deque_isnot_empty) (ats_ref_type) ;
ATSextern_fun(ats_bool_type, ATS_2d0_2e2_2e12_2libats_2ngc_2SATS_2deque_arr_2esats__deque_is_full) (ats_ref_type) ;
ATSextern_fun(ats_bool_type, ATS_2d0_2e2_2e12_2libats_2ngc_2SATS_2deque_arr_2esats__deque_isnot_full) (ats_ref_type) ;
ATSextern_fun(ats_void_type, atslib_ngc_deque_arr_deque_initialize_tsz) (ats_ref_type, ats_size_type, ats_ptr_type, ats_size_type) ;
ATSextern_fun(ats_ptr_type, atslib_ngc_deque_arr_deque_uninitialize) (ats_ref_type) ;
ATSextern_fun(ats_ptr_type, ATS_2d0_2e2_2e12_2libats_2ngc_2SATS_2deque_arr_2esats__deque_uninitialize_vt) (ats_ref_type) ;
ATSextern_fun(ats_ptr_type, atslib_ngc_deque_arr_deque_takeout_tsz) (ats_ref_type, ats_size_type, ats_size_type) ;
ATSextern_fun(ats_void_type, atslib_ngc_deque_arr_deque_insert_end_many_tsz) (ats_ref_type, ats_size_type, ats_ref_type, ats_size_type) ;
ATSextern_fun(ats_void_type, atslib_ngc_deque_arr_deque_remove_beg_many_tsz) (ats_ref_type, ats_size_type, ats_ref_type, ats_size_type) ;
ATSextern_fun(ats_void_type, ATS_2d0_2e2_2e12_2libats_2ngc_2SATS_2deque_arr_2esats__deque_clear_all) (ats_ref_type) ;
ATSextern_fun(ats_void_type, atslib_ngc_deque_arr_deque_copyout_tsz) (ats_ref_type, ats_size_type, ats_size_type, ats_ref_type, ats_size_type) ;
ATSextern_fun(ats_ptr_type, atslib_ngc_deque_arr_deque_update_capacity_tsz) (ats_ref_type, ats_size_type, ats_ptr_type, ats_size_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_effect_2esats__fprint_effset) (ats_ptr_type, ats_uint_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_symbol_2esats__fprint_symbol) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_i0de) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_s0rtq) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_s0taq) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_sqi0de) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_l0ab) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_v1al) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_e1xp) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_e1xplst) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1rt) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1rtlst) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1rtopt) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_d1atsrtcon) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1arg) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1arglst) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1marg) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_a1srt) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_a1srtlst) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_a1msrt) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_a1msrtlst) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1exp) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1explst) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1expopt) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_labs1exp) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_labs1explst) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1rtext) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1qua) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1qualst) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1vararg) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1exparg) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_q1marg) (ats_ptr_type, ats_ptr_type) ;

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

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

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

/* function implementations */

/*
// /tmp/ATS-Postiats/src/pats_staexp1_print.dats: 1721(line=59, offs=3) -- 2309(line=90, offs=4)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_v1al (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp0) ;
ATSlocal (ats_int_type, tmp1) ;
// ATSlocal_void (tmp2) ;
// ATSlocal_void (tmp3) ;
ATSlocal (ats_char_type, tmp4) ;
// ATSlocal_void (tmp5) ;
// ATSlocal_void (tmp6) ;
ATSlocal (ats_ptr_type, tmp7) ;
// ATSlocal_void (tmp8) ;
// ATSlocal_void (tmp9) ;
ATSlocal (ats_double_type, tmp10) ;
// ATSlocal_void (tmp11) ;
// ATSlocal_void (tmp12) ;

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

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

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

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

/* branch: __ats_lab_4 */
__ats_lab_4_0:
// if (((ats_sum_ptr_type)arg1)->tag != 4) { ats_deadcode_failure_handle () ; }
__ats_lab_4_1:
/* tmp0 = */ atspre_fprint_string (arg0, ATSstrcst("V1ALerr()")) ;
break ;
} while (0) ;
return /* (tmp0) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_v1al] */

/*
// /tmp/ATS-Postiats/src/pats_staexp1_print.dats: 2357(line=93, offs=11) -- 2389(line=93, offs=43)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__print_v1al (ats_ptr_type arg0) {
/* local vardec */
// ATSlocal_void (tmp13) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__print_v1al:
/* tmp13 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_v1al (stdout, arg0) ;
return /* (tmp13) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__print_v1al] */

/*
// /tmp/ATS-Postiats/src/pats_staexp1_print.dats: 2410(line=95, offs=11) -- 2442(line=95, offs=43)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__prerr_v1al (ats_ptr_type arg0) {
/* local vardec */
// ATSlocal_void (tmp14) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__prerr_v1al:
/* tmp14 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_v1al (stderr, arg0) ;
return /* (tmp14) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__prerr_v1al] */

/*
// /tmp/ATS-Postiats/src/pats_utils.dats: 11884(line=651, offs=1) -- 12164(line=665, offs=2)
*/
ATSstaticdec()
ats_void_type
aux_5 (ats_ptr_type env0, ats_ptr_type env1, ats_ptr_type env2, ats_ptr_type arg0, ats_int_type arg1) {
/* local vardec */
// ATSlocal_void (tmp47) ;
ATSlocal (ats_ptr_type, tmp48) ;
ATSlocal (ats_ptr_type, tmp49) ;
// ATSlocal_void (tmp50) ;
ATSlocal (ats_bool_type, tmp51) ;
// ATSlocal_void (tmp52) ;
ATSlocal (ats_int_type, tmp53) ;

__ats_lab_aux_5:
do {
/* branch: __ats_lab_16 */
__ats_lab_16_0:
if (arg0 != (ats_sum_ptr_type)0) { goto __ats_lab_17_0 ; }
__ats_lab_16_1:
break ;

/* branch: __ats_lab_17 */
__ats_lab_17_0:
// if (arg0 == (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; }
__ats_lab_17_1:
tmp48 = ats_caselptrlab_mac(anairiats_sum_7, arg0, atslab_0) ;
tmp49 = ats_caselptrlab_mac(anairiats_sum_7, arg0, atslab_1) ;
tmp51 = atspre_gt_int_int (arg1, 0) ;
if (tmp51) {
/* tmp50 = */ atspre_fprint_string (env0, env1) ;
} else {
/* empty */
} /* end of [if] */
/* tmp52 = */ ((ats_void_type(*)(ats_ptr_type, ats_ptr_type))env2) (env0, tmp48) ;
tmp53 = atspre_add_int_int (arg1, 1) ;
arg0 = tmp49 ;
arg1 = tmp53 ;
goto __ats_lab_aux_5 ; // tail call
break ;
} while (0) ;
return /* (tmp47) */ ;
} /* end of [aux_5] */

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

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

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

ats_clo_ptr_type
aux_5_closure_make (ats_ptr_type env0, ats_ptr_type env1, ats_ptr_type env2) {
aux_5_closure_type *p_clo = ATS_MALLOC(sizeof(aux_5_closure_type)) ;
aux_5_closure_init (p_clo, env0, env1, env2) ;
return (ats_clo_ptr_type)p_clo ;
} /* end of function */

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

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

/*
// /tmp/ATS-Postiats/src/pats_staexp1_print.dats: 2491(line=101, offs=3) -- 4636(line=189, offs=4)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_e1xp (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp15) ;
ATSlocal (ats_ptr_type, tmp16) ;
ATSlocal (ats_ptr_type, tmp17) ;
ATSlocal (ats_int_type, tmp18) ;
// ATSlocal_void (tmp19) ;
// ATSlocal_void (tmp20) ;
ATSlocal (ats_ptr_type, tmp21) ;
// ATSlocal_void (tmp22) ;
// ATSlocal_void (tmp23) ;
ATSlocal (ats_char_type, tmp24) ;
// ATSlocal_void (tmp25) ;
// ATSlocal_void (tmp26) ;
ATSlocal (ats_ptr_type, tmp27) ;
// ATSlocal_void (tmp28) ;
// ATSlocal_void (tmp29) ;
ATSlocal (ats_ptr_type, tmp30) ;
// ATSlocal_void (tmp31) ;
// ATSlocal_void (tmp32) ;
ATSlocal (ats_ptr_type, tmp33) ;
// ATSlocal_void (tmp34) ;
// ATSlocal_void (tmp35) ;
ATSlocal (ats_ptr_type, tmp36) ;
ATSlocal (ats_ptr_type, tmp37) ;
// ATSlocal_void (tmp38) ;
// ATSlocal_void (tmp39) ;
// ATSlocal_void (tmp40) ;
// ATSlocal_void (tmp41) ;
ATSlocal (ats_ptr_type, tmp42) ;
ATSlocal (ats_ptr_type, tmp43) ;
// ATSlocal_void (tmp44) ;
// ATSlocal_void (tmp45) ;
// ATSlocal_void (tmp54) ;
// ATSlocal_void (tmp55) ;
ATSlocal (ats_ptr_type, tmp56) ;
ATSlocal (ats_ptr_type, tmp57) ;
ATSlocal (ats_ptr_type, tmp58) ;
// ATSlocal_void (tmp59) ;
// ATSlocal_void (tmp60) ;
// ATSlocal_void (tmp61) ;
// ATSlocal_void (tmp62) ;
// ATSlocal_void (tmp63) ;
// ATSlocal_void (tmp64) ;
ATSlocal (ats_ptr_type, tmp65) ;
// ATSlocal_void (tmp66) ;
// ATSlocal_void (tmp67) ;
ATSlocal (ats_ptr_type, tmp68) ;
// ATSlocal_void (tmp69) ;
// ATSlocal_void (tmp70) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_e1xp:
tmp16 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_4, arg1), atslab_e1xp_node) ;
do {
/* branch: __ats_lab_5 */
__ats_lab_5_0:
if (((ats_sum_ptr_type)tmp16)->tag != 0) { goto __ats_lab_6_0 ; }
__ats_lab_5_1:
tmp17 = ats_caselptrlab_mac(anairiats_sum_2, tmp16, atslab_0) ;
/* tmp15 = */ _2tmp_2ATS_2dPostiats_2src_2pats_symbol_2esats__fprint_symbol (arg0, tmp17) ;
break ;

/* branch: __ats_lab_6 */
__ats_lab_6_0:
if (((ats_sum_ptr_type)tmp16)->tag != 1) { goto __ats_lab_7_0 ; }
__ats_lab_6_1:
tmp18 = ats_caselptrlab_mac(anairiats_sum_0, tmp16, atslab_0) ;
/* tmp19 = */ atspre_fprint_string (arg0, ATSstrcst("E1XPint(")) ;
/* tmp20 = */ atspre_fprint_int (arg0, tmp18) ;
/* tmp15 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_7 */
__ats_lab_7_0:
if (((ats_sum_ptr_type)tmp16)->tag != 2) { goto __ats_lab_8_0 ; }
__ats_lab_7_1:
tmp21 = ats_caselptrlab_mac(anairiats_sum_2, tmp16, atslab_0) ;
/* tmp22 = */ atspre_fprint_string (arg0, ATSstrcst("E1XPintrep(")) ;
/* tmp23 = */ atspre_fprint_string (arg0, tmp21) ;
/* tmp15 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_8 */
__ats_lab_8_0:
if (((ats_sum_ptr_type)tmp16)->tag != 3) { goto __ats_lab_9_0 ; }
__ats_lab_8_1:
tmp24 = ats_caselptrlab_mac(anairiats_sum_1, tmp16, atslab_0) ;
/* tmp25 = */ atspre_fprint_string (arg0, ATSstrcst("E1XPchar(")) ;
/* tmp26 = */ atspre_fprint_char (arg0, tmp24) ;
/* tmp15 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_9 */
__ats_lab_9_0:
if (((ats_sum_ptr_type)tmp16)->tag != 4) { goto __ats_lab_10_0 ; }
__ats_lab_9_1:
tmp27 = ats_caselptrlab_mac(anairiats_sum_2, tmp16, atslab_0) ;
/* tmp28 = */ atspre_fprint_string (arg0, ATSstrcst("E1XPfloat(")) ;
/* tmp29 = */ atspre_fprint_string (arg0, tmp27) ;
/* tmp15 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_10 */
__ats_lab_10_0:
if (((ats_sum_ptr_type)tmp16)->tag != 6) { goto __ats_lab_11_0 ; }
__ats_lab_10_1:
tmp30 = ats_caselptrlab_mac(anairiats_sum_2, tmp16, atslab_0) ;
/* tmp31 = */ atspre_fprint_string (arg0, ATSstrcst("E1XPv1al(")) ;
/* tmp32 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_v1al (arg0, tmp30) ;
/* tmp15 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_11 */
__ats_lab_11_0:
if (((ats_sum_ptr_type)tmp16)->tag != 7) { goto __ats_lab_12_0 ; }
__ats_lab_11_1:
/* tmp15 = */ atspre_fprint_string (arg0, ATSstrcst("E1XPnone()")) ;
break ;

/* branch: __ats_lab_12 */
__ats_lab_12_0:
if (((ats_sum_ptr_type)tmp16)->tag != 8) { goto __ats_lab_13_0 ; }
__ats_lab_12_1:
/* tmp15 = */ atspre_fprint_string (arg0, ATSstrcst("E1XPundef()")) ;
break ;

/* branch: __ats_lab_13 */
__ats_lab_13_0:
if (((ats_sum_ptr_type)tmp16)->tag != 5) { goto __ats_lab_14_0 ; }
__ats_lab_13_1:
tmp33 = ats_caselptrlab_mac(anairiats_sum_2, tmp16, atslab_0) ;
/* tmp34 = */ atspre_fprint_string (arg0, ATSstrcst("E1XPstring(")) ;
/* tmp35 = */ atspre_fprint_string (arg0, tmp33) ;
/* tmp15 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_14 */
__ats_lab_14_0:
if (((ats_sum_ptr_type)tmp16)->tag != 9) { goto __ats_lab_15_0 ; }
__ats_lab_14_1:
tmp36 = ats_caselptrlab_mac(anairiats_sum_5, tmp16, atslab_0) ;
tmp37 = ats_caselptrlab_mac(anairiats_sum_5, tmp16, atslab_2) ;
/* tmp38 = */ atspre_fprint_string (arg0, ATSstrcst("E1XPapp(")) ;
/* tmp39 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_e1xp (arg0, tmp36) ;
/* tmp40 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp41 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_e1xplst (arg0, tmp37) ;
/* tmp15 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_15 */
__ats_lab_15_0:
if (((ats_sum_ptr_type)tmp16)->tag != 10) { goto __ats_lab_18_0 ; }
__ats_lab_15_1:
tmp42 = ats_caselptrlab_mac(anairiats_sum_6, tmp16, atslab_0) ;
tmp43 = ats_caselptrlab_mac(anairiats_sum_6, tmp16, atslab_1) ;
/* tmp44 = */ atspre_fprint_string (arg0, ATSstrcst("E1XPfun(")) ;
/* tmp45 = */ fprintlst_01696_ats_ptr_type (arg0, tmp42, ATSstrcst(", "), &_2tmp_2ATS_2dPostiats_2src_2pats_symbol_2esats__fprint_symbol) ;
/* tmp54 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp55 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_e1xp (arg0, tmp43) ;
/* tmp15 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_18 */
__ats_lab_18_0:
if (((ats_sum_ptr_type)tmp16)->tag != 11) { goto __ats_lab_19_0 ; }
__ats_lab_18_1:
tmp56 = ats_caselptrlab_mac(anairiats_sum_5, tmp16, atslab_0) ;
tmp57 = ats_caselptrlab_mac(anairiats_sum_5, tmp16, atslab_1) ;
tmp58 = ats_caselptrlab_mac(anairiats_sum_5, tmp16, atslab_2) ;
/* tmp59 = */ atspre_fprint_string (arg0, ATSstrcst("E1XPif(")) ;
/* tmp60 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_e1xp (arg0, tmp56) ;
/* tmp61 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp62 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_e1xp (arg0, tmp57) ;
/* tmp63 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp64 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_e1xp (arg0, tmp58) ;
/* tmp15 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_19 */
__ats_lab_19_0:
if (((ats_sum_ptr_type)tmp16)->tag != 12) { goto __ats_lab_20_0 ; }
__ats_lab_19_1:
tmp65 = ats_caselptrlab_mac(anairiats_sum_2, tmp16, atslab_0) ;
/* tmp66 = */ atspre_fprint_string (arg0, ATSstrcst("E1XPeval(")) ;
/* tmp67 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_e1xp (arg0, tmp65) ;
/* tmp15 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_20 */
__ats_lab_20_0:
if (((ats_sum_ptr_type)tmp16)->tag != 13) { goto __ats_lab_21_0 ; }
__ats_lab_20_1:
tmp68 = ats_caselptrlab_mac(anairiats_sum_2, tmp16, atslab_0) ;
/* tmp69 = */ atspre_fprint_string (arg0, ATSstrcst("E1XPlist(")) ;
/* tmp70 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_e1xplst (arg0, tmp68) ;
/* tmp15 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_21 */
__ats_lab_21_0:
// if (((ats_sum_ptr_type)tmp16)->tag != 14) { ats_deadcode_failure_handle () ; }
__ats_lab_21_1:
/* tmp15 = */ atspre_fprint_string (arg0, ATSstrcst("E1XPerr()")) ;
break ;
} while (0) ;
return /* (tmp15) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_e1xp] */

/*
// /tmp/ATS-Postiats/src/pats_staexp1_print.dats: 4706(line=193, offs=22) -- 4739(line=193, offs=55)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__print_e1xp (ats_ptr_type arg0) {
/* local vardec */
// ATSlocal_void (tmp71) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__print_e1xp:
/* tmp71 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_e1xp (stdout, arg0) ;
return /* (tmp71) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__print_e1xp] */

/*
// /tmp/ATS-Postiats/src/pats_staexp1_print.dats: 4761(line=194, offs=22) -- 4794(line=194, offs=55)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__prerr_e1xp (ats_ptr_type arg0) {
/* local vardec */
// ATSlocal_void (tmp72) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__prerr_e1xp:
/* tmp72 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_e1xp (stderr, arg0) ;
return /* (tmp72) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__prerr_e1xp] */

/*
// /tmp/ATS-Postiats/src/pats_staexp1_print.dats: 4844(line=199, offs=16) -- 4906(line=200, offs=51)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_e1xplst (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp73) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_e1xplst:
/* tmp73 = */ fprintlst_01696_ats_ptr_type (arg0, arg1, ATSstrcst(", "), &_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_e1xp) ;
return /* (tmp73) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_e1xplst] */

/*
// /tmp/ATS-Postiats/src/pats_staexp1_print.dats: 4959(line=203, offs=25) -- 4997(line=203, offs=63)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__print_e1xplst (ats_ptr_type arg0) {
/* local vardec */
// ATSlocal_void (tmp74) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__print_e1xplst:
/* tmp74 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_e1xplst (stdout, arg0) ;
return /* (tmp74) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__print_e1xplst] */

/*
// /tmp/ATS-Postiats/src/pats_staexp1_print.dats: 5022(line=204, offs=25) -- 5060(line=204, offs=63)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__prerr_e1xplst (ats_ptr_type arg0) {
/* local vardec */
// ATSlocal_void (tmp75) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__prerr_e1xplst:
/* tmp75 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_e1xplst (stderr, arg0) ;
return /* (tmp75) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__prerr_e1xplst] */

/*
// /tmp/ATS-Postiats/src/pats_staexp1_print.dats: 5107(line=209, offs=15) -- 5485(line=224, offs=4)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_effcst (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp76) ;
ATSlocal (ats_uint_type, tmp77) ;
ATSlocal (ats_ptr_type, tmp78) ;
// ATSlocal_void (tmp79) ;
// ATSlocal_void (tmp80) ;
// ATSlocal_void (tmp81) ;
// ATSlocal_void (tmp82) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_effcst:
do {
/* 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:
/* tmp76 = */ atspre_fprint_string (arg0, ATSstrcst("all")) ;
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:
/* tmp76 = */ atspre_fprint_string (arg0, ATSstrcst("nil")) ;
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:
tmp77 = ats_caselptrlab_mac(anairiats_sum_8, arg1, atslab_0) ;
tmp78 = ats_caselptrlab_mac(anairiats_sum_8, arg1, atslab_1) ;
/* tmp79 = */ atspre_fprint_string (arg0, ATSstrcst("set(")) ;
/* tmp80 = */ _2tmp_2ATS_2dPostiats_2src_2pats_effect_2esats__fprint_effset (arg0, tmp77) ;
/* tmp81 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp82 = */ fprintlst_01696_ats_ptr_type (arg0, tmp78, ATSstrcst(", "), &_2tmp_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_i0de) ;
/* tmp76 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;
} while (0) ;
return /* (tmp76) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_effcst] */

/*
// /tmp/ATS-Postiats/src/pats_staexp1_print.dats: 5558(line=229, offs=13) -- 6437(line=261, offs=4)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1rt (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp83) ;
ATSlocal (ats_ptr_type, tmp84) ;
ATSlocal (ats_ptr_type, tmp85) ;
ATSlocal (ats_ptr_type, tmp86) ;
// ATSlocal_void (tmp87) ;
// ATSlocal_void (tmp88) ;
// ATSlocal_void (tmp89) ;
// ATSlocal_void (tmp90) ;
ATSlocal (ats_ptr_type, tmp91) ;
// ATSlocal_void (tmp92) ;
// ATSlocal_void (tmp93) ;
ATSlocal (ats_ptr_type, tmp94) ;
ATSlocal (ats_ptr_type, tmp95) ;
// ATSlocal_void (tmp96) ;
// ATSlocal_void (tmp97) ;
// ATSlocal_void (tmp98) ;
ATSlocal (ats_int_type, tmp99) ;
// ATSlocal_void (tmp100) ;
// ATSlocal_void (tmp101) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1rt:
tmp84 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_9, arg1), atslab_s1rt_node) ;
do {
/* branch: __ats_lab_25 */
__ats_lab_25_0:
if (((ats_sum_ptr_type)tmp84)->tag != 0) { goto __ats_lab_26_0 ; }
__ats_lab_25_1:
tmp85 = ats_caselptrlab_mac(anairiats_sum_6, tmp84, atslab_0) ;
tmp86 = ats_caselptrlab_mac(anairiats_sum_6, tmp84, atslab_1) ;
/* tmp87 = */ atspre_fprint_string (arg0, ATSstrcst("S1RTapp(")) ;
/* tmp88 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1rt (arg0, tmp85) ;
/* tmp89 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp90 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1rtlst (arg0, tmp86) ;
/* tmp83 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_26 */
__ats_lab_26_0:
if (((ats_sum_ptr_type)tmp84)->tag != 1) { goto __ats_lab_27_0 ; }
__ats_lab_26_1:
tmp91 = ats_caselptrlab_mac(anairiats_sum_2, tmp84, atslab_0) ;
/* tmp92 = */ atspre_fprint_string (arg0, ATSstrcst("S1RTlist(")) ;
/* tmp93 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1rtlst (arg0, tmp91) ;
/* tmp83 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_27 */
__ats_lab_27_0:
if (((ats_sum_ptr_type)tmp84)->tag != 2) { goto __ats_lab_28_0 ; }
__ats_lab_27_1:
tmp94 = ats_caselptrlab_mac(anairiats_sum_6, tmp84, atslab_0) ;
tmp95 = ats_caselptrlab_mac(anairiats_sum_6, tmp84, atslab_1) ;
/* tmp96 = */ atspre_fprint_string (arg0, ATSstrcst("S1RTqid(")) ;
/* tmp97 = */ _2tmp_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_s0rtq (arg0, tmp94) ;
/* tmp98 = */ _2tmp_2ATS_2dPostiats_2src_2pats_symbol_2esats__fprint_symbol (arg0, tmp95) ;
/* tmp83 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_28 */
__ats_lab_28_0:
if (((ats_sum_ptr_type)tmp84)->tag != 3) { goto __ats_lab_29_0 ; }
__ats_lab_28_1:
tmp99 = ats_caselptrlab_mac(anairiats_sum_0, tmp84, atslab_0) ;
/* tmp100 = */ atspre_fprint_string (arg0, ATSstrcst("S1RTtype(")) ;
/* tmp101 = */ atspre_fprint_int (arg0, tmp99) ;
/* tmp83 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_29 */
__ats_lab_29_0:
// if (((ats_sum_ptr_type)tmp84)->tag != 4) { ats_deadcode_failure_handle () ; }
__ats_lab_29_1:
/* tmp83 = */ atspre_fprint_string (arg0, ATSstrcst("S1RTerr()")) ;
break ;
} while (0) ;
return /* (tmp83) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1rt] */

/*
// /tmp/ATS-Postiats/src/pats_staexp1_print.dats: 6484(line=263, offs=22) -- 6517(line=263, offs=55)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__print_s1rt (ats_ptr_type arg0) {
/* local vardec */
// ATSlocal_void (tmp102) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__print_s1rt:
/* tmp102 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1rt (stdout, arg0) ;
return /* (tmp102) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__print_s1rt] */

/*
// /tmp/ATS-Postiats/src/pats_staexp1_print.dats: 6539(line=264, offs=22) -- 6572(line=264, offs=55)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__prerr_s1rt (ats_ptr_type arg0) {
/* local vardec */
// ATSlocal_void (tmp103) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__prerr_s1rt:
/* tmp103 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1rt (stderr, arg0) ;
return /* (tmp103) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__prerr_s1rt] */

/*
// /tmp/ATS-Postiats/src/pats_staexp1_print.dats: 6620(line=269, offs=16) -- 6682(line=270, offs=51)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1rtlst (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp104) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1rtlst:
/* tmp104 = */ fprintlst_01696_ats_ptr_type (arg0, arg1, ATSstrcst(", "), &_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1rt) ;
return /* (tmp104) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1rtlst] */

/*
// /tmp/ATS-Postiats/src/pats_staexp1_print.dats: 6735(line=273, offs=25) -- 6773(line=273, offs=63)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__print_s1rtlst (ats_ptr_type arg0) {
/* local vardec */
// ATSlocal_void (tmp105) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__print_s1rtlst:
/* tmp105 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1rtlst (stdout, arg0) ;
return /* (tmp105) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__print_s1rtlst] */

/*
// /tmp/ATS-Postiats/src/pats_staexp1_print.dats: 6798(line=274, offs=25) -- 6836(line=274, offs=63)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__prerr_s1rtlst (ats_ptr_type arg0) {
/* local vardec */
// ATSlocal_void (tmp106) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__prerr_s1rtlst:
/* tmp106 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1rtlst (stderr, arg0) ;
return /* (tmp106) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__prerr_s1rtlst] */

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

__ats_lab_fprintopt_01697_ats_ptr_type:
do {
/* branch: __ats_lab_30 */
__ats_lab_30_0:
if (arg1 != (ats_sum_ptr_type)0) { goto __ats_lab_31_0 ; }
__ats_lab_30_1:
/* tmp108 = */ atspre_fprint_string (arg0, ATSstrcst("None()")) ;
break ;

/* branch: __ats_lab_31 */
__ats_lab_31_0:
// if (arg1 == (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; }
__ats_lab_31_1:
tmp109 = ats_caselptrlab_mac(anairiats_sum_10, arg1, atslab_0) ;
/* tmp110 = */ atspre_fprint_string (arg0, ATSstrcst("Some(")) ;
/* tmp111 = */ ((ats_void_type(*)(ats_ptr_type, ats_ptr_type))arg2) (arg0, tmp109) ;
/* tmp108 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;
} while (0) ;
return /* (tmp108) */ ;
} /* end of [fprintopt_01697_ats_ptr_type] */

/*
// /tmp/ATS-Postiats/src/pats_staexp1_print.dats: 6884(line=279, offs=16) -- 6936(line=279, offs=68)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1rtopt (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp107) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1rtopt:
/* tmp107 = */ fprintopt_01697_ats_ptr_type (arg0, arg1, &_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1rt) ;
return /* (tmp107) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1rtopt] */

/*
// /tmp/ATS-Postiats/src/pats_staexp1_print.dats: 6987(line=284, offs=19) -- 7057(line=285, offs=58)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1rtlstlst (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp112) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1rtlstlst:
/* tmp112 = */ fprintlst_01696_ats_ptr_type (arg0, arg1, ATSstrcst("; "), &_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1rtlst) ;
return /* (tmp112) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1rtlstlst] */

/*
// /tmp/ATS-Postiats/src/pats_staexp1_print.dats: 7138(line=291, offs=19) -- 7323(line=296, offs=2)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_d1atsrtcon (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp113) ;
// ATSlocal_void (tmp114) ;
ATSlocal (ats_ptr_type, tmp115) ;
// ATSlocal_void (tmp116) ;
// ATSlocal_void (tmp117) ;
ATSlocal (ats_ptr_type, tmp118) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_d1atsrtcon:
tmp115 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_11, arg1), atslab_d1atsrtcon_sym) ;
/* tmp114 = */ _2tmp_2ATS_2dPostiats_2src_2pats_symbol_2esats__fprint_symbol (arg0, tmp115) ;
/* tmp116 = */ atspre_fprint_string (arg0, ATSstrcst("(")) ;
tmp118 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_11, arg1), atslab_d1atsrtcon_arg) ;
/* tmp117 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1rtlst (arg0, tmp118) ;
/* tmp113 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
return /* (tmp113) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_d1atsrtcon] */

/*
// /tmp/ATS-Postiats/src/pats_staexp1_print.dats: 7353(line=299, offs=19) -- 7566(line=304, offs=2)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_d1atsrtdec (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp119) ;
// ATSlocal_void (tmp120) ;
ATSlocal (ats_ptr_type, tmp121) ;
// ATSlocal_void (tmp122) ;
// ATSlocal_void (tmp123) ;
ATSlocal (ats_ptr_type, tmp124) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_d1atsrtdec:
tmp121 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_12, arg1), atslab_d1atsrtdec_sym) ;
/* tmp120 = */ _2tmp_2ATS_2dPostiats_2src_2pats_symbol_2esats__fprint_symbol (arg0, tmp121) ;
/* tmp122 = */ atspre_fprint_string (arg0, ATSstrcst("(\n")) ;
tmp124 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_12, arg1), atslab_d1atsrtdec_con) ;
/* tmp123 = */ fprintlst_01696_ats_ptr_type (arg0, tmp124, ATSstrcst("\n"), &_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_d1atsrtcon) ;
/* tmp119 = */ atspre_fprint_string (arg0, ATSstrcst("\n)")) ;
return /* (tmp119) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_d1atsrtdec] */

/*
// /tmp/ATS-Postiats/src/pats_staexp1_print.dats: 7612(line=309, offs=14) -- 7853(line=317, offs=2)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1arg (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp125) ;
// ATSlocal_void (tmp126) ;
ATSlocal (ats_ptr_type, tmp127) ;
ATSlocal (ats_ptr_type, tmp128) ;
ATSlocal (ats_ptr_type, tmp129) ;
// ATSlocal_void (tmp130) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1arg:
tmp127 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_13, arg1), atslab_s1arg_sym) ;
/* tmp126 = */ _2tmp_2ATS_2dPostiats_2src_2pats_symbol_2esats__fprint_symbol (arg0, tmp127) ;
tmp128 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_13, arg1), atslab_s1arg_srt) ;
do {
/* branch: __ats_lab_32 */
__ats_lab_32_0:
if (tmp128 == (ats_sum_ptr_type)0) { goto __ats_lab_33_0 ; }
__ats_lab_32_1:
tmp129 = ats_caselptrlab_mac(anairiats_sum_10, tmp128, atslab_0) ;
/* tmp130 = */ atspre_fprint_string (arg0, ATSstrcst(": ")) ;
/* tmp125 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1rt (arg0, tmp129) ;
break ;

/* branch: __ats_lab_33 */
__ats_lab_33_0:
// if (tmp128 != (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; }
__ats_lab_33_1:
break ;
} while (0) ;
return /* (tmp125) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1arg] */

/*
// /tmp/ATS-Postiats/src/pats_staexp1_print.dats: 7908(line=321, offs=3) -- 7963(line=321, offs=58)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1arglst (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp131) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1arglst:
/* tmp131 = */ fprintlst_01696_ats_ptr_type (arg0, arg1, ATSstrcst(", "), &_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1arg) ;
return /* (tmp131) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1arglst] */

/*
// /tmp/ATS-Postiats/src/pats_staexp1_print.dats: 8017(line=325, offs=15) -- 8063(line=325, offs=61)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1marg (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp132) ;
ATSlocal (ats_ptr_type, tmp133) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1marg:
tmp133 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_14, arg1), atslab_s1marg_arg) ;
/* tmp132 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1arglst (arg0, tmp133) ;
return /* (tmp132) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1marg] */

/*
// /tmp/ATS-Postiats/src/pats_staexp1_print.dats: 8109(line=330, offs=14) -- 8350(line=338, offs=2)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_a1srt (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp134) ;
// ATSlocal_void (tmp135) ;
ATSlocal (ats_ptr_type, tmp136) ;
ATSlocal (ats_ptr_type, tmp137) ;
// ATSlocal_void (tmp138) ;
ATSlocal (ats_ptr_type, tmp139) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_a1srt:
tmp136 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_15, arg1), atslab_a1srt_sym) ;
do {
/* branch: __ats_lab_34 */
__ats_lab_34_0:
if (tmp136 == (ats_sum_ptr_type)0) { goto __ats_lab_35_0 ; }
__ats_lab_34_1:
tmp137 = ats_caselptrlab_mac(anairiats_sum_10, tmp136, atslab_0) ;
/* tmp138 = */ _2tmp_2ATS_2dPostiats_2src_2pats_symbol_2esats__fprint_symbol (arg0, tmp137) ;
/* tmp135 = */ atspre_fprint_string (arg0, ATSstrcst(": ")) ;
break ;

/* branch: __ats_lab_35 */
__ats_lab_35_0:
// if (tmp136 != (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; }
__ats_lab_35_1:
break ;
} while (0) ;
tmp139 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_15, arg1), atslab_a1srt_srt) ;
/* tmp134 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1rt (arg0, tmp139) ;
return /* (tmp134) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_a1srt] */

/*
// /tmp/ATS-Postiats/src/pats_staexp1_print.dats: 8405(line=342, offs=3) -- 8460(line=342, offs=58)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_a1srtlst (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp140) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_a1srtlst:
/* tmp140 = */ fprintlst_01696_ats_ptr_type (arg0, arg1, ATSstrcst(", "), &_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_a1srt) ;
return /* (tmp140) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_a1srtlst] */

/*
// /tmp/ATS-Postiats/src/pats_staexp1_print.dats: 8535(line=348, offs=15) -- 8668(line=352, offs=2)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_a1msrt (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp141) ;
// ATSlocal_void (tmp142) ;
// ATSlocal_void (tmp143) ;
ATSlocal (ats_ptr_type, tmp144) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_a1msrt:
/* tmp142 = */ atspre_fprint_string (arg0, ATSstrcst("(")) ;
tmp144 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_16, arg1), atslab_a1msrt_arg) ;
/* tmp143 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_a1srtlst (arg0, tmp144) ;
/* tmp141 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
return /* (tmp141) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_a1msrt] */

/*
// /tmp/ATS-Postiats/src/pats_staexp1_print.dats: 8699(line=356, offs=3) -- 8754(line=356, offs=58)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_a1msrtlst (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp145) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_a1msrtlst:
/* tmp145 = */ fprintlst_01696_ats_ptr_type (arg0, arg1, ATSstrcst(" "), &_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_a1msrt) ;
return /* (tmp145) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_a1msrtlst] */

/*
// /tmp/ATS-Postiats/src/pats_staexp1_print.dats: 8829(line=362, offs=14) -- 13249(line=551, offs=4)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1exp (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp146) ;
ATSlocal (ats_ptr_type, tmp147) ;
ATSlocal (ats_int_type, tmp148) ;
// ATSlocal_void (tmp149) ;
// ATSlocal_void (tmp150) ;
ATSlocal (ats_ptr_type, tmp151) ;
// ATSlocal_void (tmp152) ;
// ATSlocal_void (tmp153) ;
ATSlocal (ats_char_type, tmp154) ;
// ATSlocal_void (tmp155) ;
// ATSlocal_void (tmp156) ;
ATSlocal (ats_ptr_type, tmp157) ;
// ATSlocal_void (tmp158) ;
// ATSlocal_void (tmp159) ;
ATSlocal (ats_ptr_type, tmp160) ;
// ATSlocal_void (tmp161) ;
// ATSlocal_void (tmp162) ;
ATSlocal (ats_ptr_type, tmp163) ;
ATSlocal (ats_ptr_type, tmp164) ;
// ATSlocal_void (tmp165) ;
// ATSlocal_void (tmp166) ;
// ATSlocal_void (tmp167) ;
// ATSlocal_void (tmp168) ;
ATSlocal (ats_ptr_type, tmp169) ;
ATSlocal (ats_ptr_type, tmp170) ;
// ATSlocal_void (tmp171) ;
// ATSlocal_void (tmp172) ;
// ATSlocal_void (tmp173) ;
// ATSlocal_void (tmp174) ;
ATSlocal (ats_ptr_type, tmp175) ;
// ATSlocal_void (tmp176) ;
// ATSlocal_void (tmp177) ;
ATSlocal (ats_ptr_type, tmp178) ;
ATSlocal (ats_ptr_type, tmp179) ;
// ATSlocal_void (tmp180) ;
// ATSlocal_void (tmp181) ;
// ATSlocal_void (tmp182) ;
ATSlocal (ats_ptr_type, tmp183) ;
ATSlocal (ats_ptr_type, tmp184) ;
// ATSlocal_void (tmp185) ;
// ATSlocal_void (tmp186) ;
// ATSlocal_void (tmp187) ;
// ATSlocal_void (tmp188) ;
ATSlocal (ats_ptr_type, tmp189) ;
ATSlocal (ats_ptr_type, tmp190) ;
ATSlocal (ats_ptr_type, tmp191) ;
// ATSlocal_void (tmp192) ;
// ATSlocal_void (tmp193) ;
// ATSlocal_void (tmp194) ;
// ATSlocal_void (tmp195) ;
// ATSlocal_void (tmp196) ;
// ATSlocal_void (tmp197) ;
// ATSlocal_void (tmp198) ;
// ATSlocal_void (tmp199) ;
ATSlocal (ats_int_type, tmp200) ;
ATSlocal (ats_ptr_type, tmp201) ;
// ATSlocal_void (tmp202) ;
// ATSlocal_void (tmp203) ;
// ATSlocal_void (tmp204) ;
// ATSlocal_void (tmp205) ;
ATSlocal (ats_int_type, tmp206) ;
ATSlocal (ats_ptr_type, tmp207) ;
// ATSlocal_void (tmp208) ;
// ATSlocal_void (tmp209) ;
// ATSlocal_void (tmp210) ;
// ATSlocal_void (tmp211) ;
ATSlocal (ats_int_type, tmp212) ;
ATSlocal (ats_ptr_type, tmp213) ;
// ATSlocal_void (tmp214) ;
// ATSlocal_void (tmp215) ;
// ATSlocal_void (tmp216) ;
// ATSlocal_void (tmp217) ;
ATSlocal (ats_ptr_type, tmp218) ;
ATSlocal (ats_ptr_type, tmp219) ;
// ATSlocal_void (tmp220) ;
// ATSlocal_void (tmp221) ;
// ATSlocal_void (tmp222) ;
// ATSlocal_void (tmp223) ;
ATSlocal (ats_ptr_type, tmp224) ;
ATSlocal (ats_ptr_type, tmp225) ;
// ATSlocal_void (tmp226) ;
// ATSlocal_void (tmp227) ;
// ATSlocal_void (tmp228) ;
// ATSlocal_void (tmp229) ;
ATSlocal (ats_int_type, tmp230) ;
ATSlocal (ats_int_type, tmp231) ;
ATSlocal (ats_ptr_type, tmp232) ;
// ATSlocal_void (tmp233) ;
// ATSlocal_void (tmp234) ;
// ATSlocal_void (tmp235) ;
// ATSlocal_void (tmp236) ;
// ATSlocal_void (tmp237) ;
// ATSlocal_void (tmp238) ;
ATSlocal (ats_int_type, tmp239) ;
ATSlocal (ats_int_type, tmp240) ;
ATSlocal (ats_ptr_type, tmp241) ;
// ATSlocal_void (tmp242) ;
// ATSlocal_void (tmp243) ;
// ATSlocal_void (tmp244) ;
// ATSlocal_void (tmp245) ;
// ATSlocal_void (tmp246) ;
// ATSlocal_void (tmp247) ;
ATSlocal (ats_ptr_type, tmp248) ;
ATSlocal (ats_int_type, tmp249) ;
ATSlocal (ats_ptr_type, tmp250) ;
// ATSlocal_void (tmp251) ;
// ATSlocal_void (tmp252) ;
// ATSlocal_void (tmp253) ;
// ATSlocal_void (tmp254) ;
// ATSlocal_void (tmp255) ;
// ATSlocal_void (tmp256) ;
ATSlocal (ats_int_type, tmp257) ;
ATSlocal (ats_ptr_type, tmp258) ;
ATSlocal (ats_ptr_type, tmp259) ;
// ATSlocal_void (tmp260) ;
// ATSlocal_void (tmp261) ;
// ATSlocal_void (tmp262) ;
// ATSlocal_void (tmp263) ;
// ATSlocal_void (tmp264) ;
// ATSlocal_void (tmp265) ;
ATSlocal (ats_ptr_type, tmp266) ;
ATSlocal (ats_ptr_type, tmp267) ;
// ATSlocal_void (tmp268) ;
// ATSlocal_void (tmp269) ;
// ATSlocal_void (tmp270) ;
// ATSlocal_void (tmp271) ;
ATSlocal (ats_ptr_type, tmp272) ;
ATSlocal (ats_ptr_type, tmp273) ;
// ATSlocal_void (tmp274) ;
// ATSlocal_void (tmp275) ;
// ATSlocal_void (tmp276) ;
// ATSlocal_void (tmp277) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1exp:
tmp147 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_17, arg1), atslab_s1exp_node) ;
do {
/* branch: __ats_lab_36 */
__ats_lab_36_0:
if (((ats_sum_ptr_type)tmp147)->tag != 2) { goto __ats_lab_37_0 ; }
__ats_lab_36_1:
tmp148 = ats_caselptrlab_mac(anairiats_sum_0, tmp147, atslab_0) ;
/* tmp149 = */ atspre_fprint_string (arg0, ATSstrcst("S1Eint(")) ;
/* tmp150 = */ atspre_fprint_int (arg0, tmp148) ;
/* tmp146 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_37 */
__ats_lab_37_0:
if (((ats_sum_ptr_type)tmp147)->tag != 3) { goto __ats_lab_38_0 ; }
__ats_lab_37_1:
tmp151 = ats_caselptrlab_mac(anairiats_sum_2, tmp147, atslab_0) ;
/* tmp152 = */ atspre_fprint_string (arg0, ATSstrcst("S1Eintrep(")) ;
/* tmp153 = */ atspre_fprint_string (arg0, tmp151) ;
/* tmp146 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_38 */
__ats_lab_38_0:
if (((ats_sum_ptr_type)tmp147)->tag != 4) { goto __ats_lab_39_0 ; }
__ats_lab_38_1:
tmp154 = ats_caselptrlab_mac(anairiats_sum_1, tmp147, atslab_0) ;
/* tmp155 = */ atspre_fprint_string (arg0, ATSstrcst("S1Echar(")) ;
/* tmp156 = */ atspre_fprint_char (arg0, tmp154) ;
/* tmp146 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_39 */
__ats_lab_39_0:
if (((ats_sum_ptr_type)tmp147)->tag != 5) { goto __ats_lab_40_0 ; }
__ats_lab_39_1:
tmp157 = ats_caselptrlab_mac(anairiats_sum_2, tmp147, atslab_0) ;
/* tmp158 = */ atspre_fprint_string (arg0, ATSstrcst("S1Efloat(")) ;
/* tmp159 = */ atspre_fprint_string (arg0, tmp157) ;
/* tmp146 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_40 */
__ats_lab_40_0:
if (((ats_sum_ptr_type)tmp147)->tag != 6) { goto __ats_lab_41_0 ; }
__ats_lab_40_1:
tmp160 = ats_caselptrlab_mac(anairiats_sum_2, tmp147, atslab_0) ;
/* tmp161 = */ atspre_fprint_string (arg0, ATSstrcst("S1Estring(")) ;
/* tmp162 = */ atspre_fprint_string (arg0, tmp160) ;
/* tmp146 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_41 */
__ats_lab_41_0:
if (((ats_sum_ptr_type)tmp147)->tag != 7) { goto __ats_lab_42_0 ; }
__ats_lab_41_1:
tmp163 = ats_caselptrlab_mac(anairiats_sum_6, tmp147, atslab_0) ;
tmp164 = ats_caselptrlab_mac(anairiats_sum_6, tmp147, atslab_1) ;
/* tmp165 = */ atspre_fprint_string (arg0, ATSstrcst("S1Eextype(")) ;
/* tmp166 = */ atspre_fprint_string (arg0, tmp163) ;
/* tmp167 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp168 = */ fprintlst_01696_ats_ptr_type (arg0, tmp164, ATSstrcst("; "), &_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1explst) ;
/* tmp146 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_42 */
__ats_lab_42_0:
if (((ats_sum_ptr_type)tmp147)->tag != 8) { goto __ats_lab_43_0 ; }
__ats_lab_42_1:
tmp169 = ats_caselptrlab_mac(anairiats_sum_6, tmp147, atslab_0) ;
tmp170 = ats_caselptrlab_mac(anairiats_sum_6, tmp147, atslab_1) ;
/* tmp171 = */ atspre_fprint_string (arg0, ATSstrcst("S1Eextkind(")) ;
/* tmp172 = */ atspre_fprint_string (arg0, tmp169) ;
/* tmp173 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp174 = */ fprintlst_01696_ats_ptr_type (arg0, tmp170, ATSstrcst("; "), &_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1explst) ;
/* tmp146 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_43 */
__ats_lab_43_0:
if (((ats_sum_ptr_type)tmp147)->tag != 0) { goto __ats_lab_44_0 ; }
__ats_lab_43_1:
tmp175 = ats_caselptrlab_mac(anairiats_sum_2, tmp147, atslab_0) ;
/* tmp176 = */ atspre_fprint_string (arg0, ATSstrcst("S1Eide(")) ;
/* tmp177 = */ _2tmp_2ATS_2dPostiats_2src_2pats_symbol_2esats__fprint_symbol (arg0, tmp175) ;
/* tmp146 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_44 */
__ats_lab_44_0:
if (((ats_sum_ptr_type)tmp147)->tag != 1) { goto __ats_lab_45_0 ; }
__ats_lab_44_1:
tmp178 = ats_caselptrlab_mac(anairiats_sum_6, tmp147, atslab_0) ;
tmp179 = ats_caselptrlab_mac(anairiats_sum_6, tmp147, atslab_1) ;
/* tmp180 = */ atspre_fprint_string (arg0, ATSstrcst("S1Esqid(")) ;
/* tmp181 = */ _2tmp_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_s0taq (arg0, tmp178) ;
/* tmp182 = */ _2tmp_2ATS_2dPostiats_2src_2pats_symbol_2esats__fprint_symbol (arg0, tmp179) ;
/* tmp146 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_45 */
__ats_lab_45_0:
if (((ats_sum_ptr_type)tmp147)->tag != 9) { goto __ats_lab_46_0 ; }
__ats_lab_45_1:
tmp183 = ats_caselptrlab_mac(anairiats_sum_5, tmp147, atslab_0) ;
tmp184 = ats_caselptrlab_mac(anairiats_sum_5, tmp147, atslab_2) ;
/* tmp185 = */ atspre_fprint_string (arg0, ATSstrcst("S1Eapp(")) ;
/* tmp186 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1exp (arg0, tmp183) ;
/* tmp187 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp188 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1explst (arg0, tmp184) ;
/* tmp146 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_46 */
__ats_lab_46_0:
if (((ats_sum_ptr_type)tmp147)->tag != 10) { goto __ats_lab_47_0 ; }
__ats_lab_46_1:
tmp189 = ats_caselptrlab_mac(anairiats_sum_5, tmp147, atslab_0) ;
tmp190 = ats_caselptrlab_mac(anairiats_sum_5, tmp147, atslab_1) ;
tmp191 = ats_caselptrlab_mac(anairiats_sum_5, tmp147, atslab_2) ;
/* tmp192 = */ atspre_fprint_string (arg0, ATSstrcst("S1Elam(")) ;
/* tmp193 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1marg (arg0, tmp189) ;
/* tmp194 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp195 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1rtopt (arg0, tmp190) ;
/* tmp196 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp197 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1exp (arg0, tmp191) ;
/* tmp146 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_47 */
__ats_lab_47_0:
if (((ats_sum_ptr_type)tmp147)->tag != 11) { goto __ats_lab_48_0 ; }
__ats_lab_47_1:
/* tmp198 = */ atspre_fprint_string (arg0, ATSstrcst("S1Eimp(")) ;
/* tmp199 = */ atspre_fprint_string (arg0, ATSstrcst("...")) ;
/* tmp146 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_48 */
__ats_lab_48_0:
if (((ats_sum_ptr_type)tmp147)->tag != 13) { goto __ats_lab_49_0 ; }
__ats_lab_48_1:
tmp200 = ats_caselptrlab_mac(anairiats_sum_18, tmp147, atslab_0) ;
tmp201 = ats_caselptrlab_mac(anairiats_sum_18, tmp147, atslab_1) ;
/* tmp202 = */ atspre_fprint_string (arg0, ATSstrcst("S1Elist(")) ;
/* tmp203 = */ atspre_fprint_int (arg0, tmp200) ;
/* tmp204 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp205 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1explst (arg0, tmp201) ;
/* tmp146 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_49 */
__ats_lab_49_0:
if (((ats_sum_ptr_type)tmp147)->tag != 12) { goto __ats_lab_50_0 ; }
__ats_lab_49_1:
tmp206 = ats_caselptrlab_mac(anairiats_sum_18, tmp147, atslab_0) ;
tmp207 = ats_caselptrlab_mac(anairiats_sum_18, tmp147, atslab_1) ;
/* tmp208 = */ atspre_fprint_string (arg0, ATSstrcst("S1Etop(")) ;
/* tmp209 = */ atspre_fprint_int (arg0, tmp206) ;
/* tmp210 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp211 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1exp (arg0, tmp207) ;
/* tmp146 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_50 */
__ats_lab_50_0:
if (((ats_sum_ptr_type)tmp147)->tag != 14) { goto __ats_lab_51_0 ; }
__ats_lab_50_1:
tmp212 = ats_caselptrlab_mac(anairiats_sum_18, tmp147, atslab_0) ;
tmp213 = ats_caselptrlab_mac(anairiats_sum_18, tmp147, atslab_1) ;
/* tmp214 = */ atspre_fprint_string (arg0, ATSstrcst("S1Einvar(")) ;
/* tmp215 = */ atspre_fprint_int (arg0, tmp212) ;
/* tmp216 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp217 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1exp (arg0, tmp213) ;
/* tmp146 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_51 */
__ats_lab_51_0:
if (((ats_sum_ptr_type)tmp147)->tag != 15) { goto __ats_lab_52_0 ; }
__ats_lab_51_1:
tmp218 = ats_caselptrlab_mac(anairiats_sum_6, tmp147, atslab_0) ;
tmp219 = ats_caselptrlab_mac(anairiats_sum_6, tmp147, atslab_1) ;
/* tmp220 = */ atspre_fprint_string (arg0, ATSstrcst("S1Etrans(")) ;
/* tmp221 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1exp (arg0, tmp218) ;
/* tmp222 = */ atspre_fprint_string (arg0, ATSstrcst(" >> ")) ;
/* tmp223 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1exp (arg0, tmp219) ;
/* tmp146 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_52 */
__ats_lab_52_0:
if (((ats_sum_ptr_type)tmp147)->tag != 16) { goto __ats_lab_53_0 ; }
__ats_lab_52_1:
tmp224 = ats_caselptrlab_mac(anairiats_sum_6, tmp147, atslab_0) ;
tmp225 = ats_caselptrlab_mac(anairiats_sum_6, tmp147, atslab_1) ;
/* tmp226 = */ atspre_fprint_string (arg0, ATSstrcst("S1Etyarr(")) ;
/* tmp227 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1exp (arg0, tmp224) ;
/* tmp228 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp229 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1explst (arg0, tmp225) ;
/* tmp146 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_53 */
__ats_lab_53_0:
if (((ats_sum_ptr_type)tmp147)->tag != 17) { goto __ats_lab_54_0 ; }
__ats_lab_53_1:
tmp230 = ats_caselptrlab_mac(anairiats_sum_19, tmp147, atslab_0) ;
tmp231 = ats_caselptrlab_mac(anairiats_sum_19, tmp147, atslab_1) ;
tmp232 = ats_caselptrlab_mac(anairiats_sum_19, tmp147, atslab_2) ;
/* tmp233 = */ atspre_fprint_string (arg0, ATSstrcst("S1Etytup(")) ;
/* tmp234 = */ atspre_fprint_int (arg0, tmp230) ;
/* tmp235 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp236 = */ atspre_fprint_int (arg0, tmp231) ;
/* tmp237 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp238 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1explst (arg0, tmp232) ;
/* tmp146 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_54 */
__ats_lab_54_0:
if (((ats_sum_ptr_type)tmp147)->tag != 18) { goto __ats_lab_55_0 ; }
__ats_lab_54_1:
tmp239 = ats_caselptrlab_mac(anairiats_sum_19, tmp147, atslab_0) ;
tmp240 = ats_caselptrlab_mac(anairiats_sum_19, tmp147, atslab_1) ;
tmp241 = ats_caselptrlab_mac(anairiats_sum_19, tmp147, atslab_2) ;
/* tmp242 = */ atspre_fprint_string (arg0, ATSstrcst("S1Etyrec(")) ;
/* tmp243 = */ atspre_fprint_int (arg0, tmp239) ;
/* tmp244 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp245 = */ atspre_fprint_int (arg0, tmp240) ;
/* tmp246 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp247 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_labs1explst (arg0, tmp241) ;
/* tmp146 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_55 */
__ats_lab_55_0:
if (((ats_sum_ptr_type)tmp147)->tag != 19) { goto __ats_lab_56_0 ; }
__ats_lab_55_1:
tmp248 = ats_caselptrlab_mac(anairiats_sum_20, tmp147, atslab_0) ;
tmp249 = ats_caselptrlab_mac(anairiats_sum_20, tmp147, atslab_1) ;
tmp250 = ats_caselptrlab_mac(anairiats_sum_20, tmp147, atslab_2) ;
/* tmp251 = */ atspre_fprint_string (arg0, ATSstrcst("S1Etyrec_ext(")) ;
/* tmp252 = */ atspre_fprint_string (arg0, tmp248) ;
/* tmp253 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp254 = */ atspre_fprint_int (arg0, tmp249) ;
/* tmp255 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp256 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_labs1explst (arg0, tmp250) ;
/* tmp146 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_56 */
__ats_lab_56_0:
if (((ats_sum_ptr_type)tmp147)->tag != 21) { goto __ats_lab_57_0 ; }
__ats_lab_56_1:
tmp257 = ats_caselptrlab_mac(anairiats_sum_21, tmp147, atslab_0) ;
tmp258 = ats_caselptrlab_mac(anairiats_sum_21, tmp147, atslab_1) ;
tmp259 = ats_caselptrlab_mac(anairiats_sum_21, tmp147, atslab_2) ;
/* tmp260 = */ atspre_fprint_string (arg0, ATSstrcst("S1Eexi(")) ;
/* tmp261 = */ atspre_fprint_int (arg0, tmp257) ;
/* tmp262 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp263 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1qualst (arg0, tmp258) ;
/* tmp264 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp265 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1exp (arg0, tmp259) ;
/* tmp146 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_57 */
__ats_lab_57_0:
if (((ats_sum_ptr_type)tmp147)->tag != 20) { goto __ats_lab_58_0 ; }
__ats_lab_57_1:
tmp266 = ats_caselptrlab_mac(anairiats_sum_6, tmp147, atslab_0) ;
tmp267 = ats_caselptrlab_mac(anairiats_sum_6, tmp147, atslab_1) ;
/* tmp268 = */ atspre_fprint_string (arg0, ATSstrcst("S1Euni(")) ;
/* tmp269 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1qualst (arg0, tmp266) ;
/* tmp270 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp271 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1exp (arg0, tmp267) ;
/* tmp146 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_58 */
__ats_lab_58_0:
if (((ats_sum_ptr_type)tmp147)->tag != 22) { goto __ats_lab_59_0 ; }
__ats_lab_58_1:
tmp272 = ats_caselptrlab_mac(anairiats_sum_6, tmp147, atslab_0) ;
tmp273 = ats_caselptrlab_mac(anairiats_sum_6, tmp147, atslab_1) ;
/* tmp274 = */ atspre_fprint_string (arg0, ATSstrcst("S1Eann(")) ;
/* tmp275 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1exp (arg0, tmp272) ;
/* tmp276 = */ atspre_fprint_string (arg0, ATSstrcst(" : ")) ;
/* tmp277 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1rt (arg0, tmp273) ;
/* tmp146 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_59 */
__ats_lab_59_0:
if (((ats_sum_ptr_type)tmp147)->tag != 23) { goto __ats_lab_60_0 ; }
__ats_lab_59_1:
/* tmp146 = */ atspre_fprint_string (arg0, ATSstrcst("S1Ed2ctype(...)")) ;
break ;

/* branch: __ats_lab_60 */
__ats_lab_60_0:
// if (((ats_sum_ptr_type)tmp147)->tag != 24) { ats_deadcode_failure_handle () ; }
__ats_lab_60_1:
/* tmp146 = */ atspre_fprint_string (arg0, ATSstrcst("S1Eerr()")) ;
break ;
} while (0) ;
return /* (tmp146) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1exp] */

/*
// /tmp/ATS-Postiats/src/pats_staexp1_print.dats: 13298(line=554, offs=13) -- 13332(line=554, offs=47)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__print_s1exp (ats_ptr_type arg0) {
/* local vardec */
// ATSlocal_void (tmp278) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__print_s1exp:
/* tmp278 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1exp (stdout, arg0) ;
return /* (tmp278) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__print_s1exp] */

/*
// /tmp/ATS-Postiats/src/pats_staexp1_print.dats: 13355(line=556, offs=13) -- 13389(line=556, offs=47)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__prerr_s1exp (ats_ptr_type arg0) {
/* local vardec */
// ATSlocal_void (tmp279) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__prerr_s1exp:
/* tmp279 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1exp (stderr, arg0) ;
return /* (tmp279) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__prerr_s1exp] */

/*
// /tmp/ATS-Postiats/src/pats_staexp1_print.dats: 13419(line=560, offs=3) -- 13474(line=560, offs=58)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1explst (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp280) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1explst:
/* tmp280 = */ fprintlst_01696_ats_ptr_type (arg0, arg1, ATSstrcst(", "), &_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1exp) ;
return /* (tmp280) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1explst] */

/*
// /tmp/ATS-Postiats/src/pats_staexp1_print.dats: 13532(line=565, offs=3) -- 13583(line=565, offs=54)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1expopt (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp281) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1expopt:
/* tmp281 = */ fprintopt_01697_ats_ptr_type (arg0, arg1, &_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1exp) ;
return /* (tmp281) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1expopt] */

/*
// /tmp/ATS-Postiats/src/pats_staexp1_print.dats: 13662(line=572, offs=3) -- 13824(line=577, offs=2)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_labs1exp (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp282) ;
ATSlocal (ats_ptr_type, tmp283) ;
ATSlocal (ats_ptr_type, tmp284) ;
// ATSlocal_void (tmp285) ;
// ATSlocal_void (tmp286) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_labs1exp:
// 
tmp283 = ats_caselptrlab_mac(anairiats_sum_22, arg1, atslab_0) ;
tmp284 = ats_caselptrlab_mac(anairiats_sum_22, arg1, atslab_2) ;
/* tmp285 = */ _2tmp_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_l0ab (arg0, tmp283) ;
/* tmp286 = */ atspre_fprint_string (arg0, ATSstrcst("= ")) ;
/* tmp282 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1exp (arg0, tmp284) ;
return /* (tmp282) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_labs1exp] */

/*
// /tmp/ATS-Postiats/src/pats_staexp1_print.dats: 13885(line=581, offs=3) -- 13943(line=581, offs=61)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_labs1explst (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp287) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_labs1explst:
/* tmp287 = */ fprintlst_01696_ats_ptr_type (arg0, arg1, ATSstrcst(", "), &_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_labs1exp) ;
return /* (tmp287) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_labs1explst] */

/*
// /tmp/ATS-Postiats/src/pats_staexp1_print.dats: 14024(line=588, offs=3) -- 14494(line=608, offs=4)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1rtext (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp288) ;
ATSlocal (ats_ptr_type, tmp289) ;
ATSlocal (ats_ptr_type, tmp290) ;
// ATSlocal_void (tmp291) ;
// ATSlocal_void (tmp292) ;
ATSlocal (ats_ptr_type, tmp293) ;
ATSlocal (ats_ptr_type, tmp294) ;
ATSlocal (ats_ptr_type, tmp295) ;
// ATSlocal_void (tmp296) ;
// ATSlocal_void (tmp297) ;
// ATSlocal_void (tmp298) ;
// ATSlocal_void (tmp299) ;
// ATSlocal_void (tmp300) ;
// ATSlocal_void (tmp301) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1rtext:
tmp289 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_23, arg1), atslab_s1rtext_node) ;
do {
/* branch: __ats_lab_61 */
__ats_lab_61_0:
if (((ats_sum_ptr_type)tmp289)->tag != 0) { goto __ats_lab_62_0 ; }
__ats_lab_61_1:
tmp290 = ats_caselptrlab_mac(anairiats_sum_2, tmp289, atslab_0) ;
/* tmp291 = */ atspre_fprint_string (arg0, ATSstrcst("S1TEsrt(")) ;
/* tmp292 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1rt (arg0, tmp290) ;
/* tmp288 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_62 */
__ats_lab_62_0:
// if (((ats_sum_ptr_type)tmp289)->tag != 1) { ats_deadcode_failure_handle () ; }
__ats_lab_62_1:
tmp293 = ats_caselptrlab_mac(anairiats_sum_5, tmp289, atslab_0) ;
tmp294 = ats_caselptrlab_mac(anairiats_sum_5, tmp289, atslab_1) ;
tmp295 = ats_caselptrlab_mac(anairiats_sum_5, tmp289, atslab_2) ;
/* tmp296 = */ atspre_fprint_string (arg0, ATSstrcst("S1TEsub(")) ;
/* tmp297 = */ _2tmp_2ATS_2dPostiats_2src_2pats_symbol_2esats__fprint_symbol (arg0, tmp293) ;
/* tmp298 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp299 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1rtext (arg0, tmp294) ;
/* tmp300 = */ atspre_fprint_string (arg0, ATSstrcst(" | ")) ;
/* tmp301 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1explst (arg0, tmp295) ;
/* tmp288 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;
} while (0) ;
return /* (tmp288) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1rtext] */

/*
// /tmp/ATS-Postiats/src/pats_staexp1_print.dats: 14569(line=614, offs=3) -- 15006(line=630, offs=4)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1qua (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp302) ;
ATSlocal (ats_ptr_type, tmp303) ;
ATSlocal (ats_ptr_type, tmp304) ;
// ATSlocal_void (tmp305) ;
// ATSlocal_void (tmp306) ;
ATSlocal (ats_ptr_type, tmp307) ;
ATSlocal (ats_ptr_type, tmp308) ;
// ATSlocal_void (tmp309) ;
// ATSlocal_void (tmp310) ;
// ATSlocal_void (tmp311) ;
// ATSlocal_void (tmp312) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1qua:
tmp303 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_24, arg1), atslab_s1qua_node) ;
do {
/* branch: __ats_lab_63 */
__ats_lab_63_0:
if (((ats_sum_ptr_type)tmp303)->tag != 0) { goto __ats_lab_64_0 ; }
__ats_lab_63_1:
tmp304 = ats_caselptrlab_mac(anairiats_sum_2, tmp303, atslab_0) ;
/* tmp305 = */ atspre_fprint_string (arg0, ATSstrcst("S1Qprop(")) ;
/* tmp306 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1exp (arg0, tmp304) ;
/* tmp302 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_64 */
__ats_lab_64_0:
// if (((ats_sum_ptr_type)tmp303)->tag != 1) { ats_deadcode_failure_handle () ; }
__ats_lab_64_1:
tmp307 = ats_caselptrlab_mac(anairiats_sum_6, tmp303, atslab_0) ;
tmp308 = ats_caselptrlab_mac(anairiats_sum_6, tmp303, atslab_1) ;
/* tmp309 = */ atspre_fprint_string (arg0, ATSstrcst("S1Qvars(")) ;
/* tmp310 = */ fprintlst_01696_ats_ptr_type (arg0, tmp307, ATSstrcst(", "), &_2tmp_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_i0de) ;
/* tmp311 = */ atspre_fprint_string (arg0, ATSstrcst(" : ")) ;
/* tmp312 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1rtext (arg0, tmp308) ;
/* tmp302 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;
} while (0) ;
return /* (tmp302) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1qua] */

/*
// /tmp/ATS-Postiats/src/pats_staexp1_print.dats: 15061(line=634, offs=3) -- 15116(line=634, offs=58)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1qualst (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp313) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1qualst:
/* tmp313 = */ fprintlst_01696_ats_ptr_type (arg0, arg1, ATSstrcst(", "), &_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1qua) ;
return /* (tmp313) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1qualst] */

/*
// /tmp/ATS-Postiats/src/pats_staexp1_print.dats: 15193(line=640, offs=17) -- 15493(line=650, offs=6)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1vararg (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp314) ;
ATSlocal (ats_ptr_type, tmp315) ;
// ATSlocal_void (tmp316) ;
// ATSlocal_void (tmp317) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1vararg:
do {
/* branch: __ats_lab_65 */
__ats_lab_65_0:
if (((ats_sum_ptr_type)arg1)->tag != 0) { goto __ats_lab_66_0 ; }
__ats_lab_65_1:
/* tmp314 = */ atspre_fprint_string (arg0, ATSstrcst("{..}")) ;
break ;

/* branch: __ats_lab_66 */
__ats_lab_66_0:
if (((ats_sum_ptr_type)arg1)->tag != 1) { goto __ats_lab_67_0 ; }
__ats_lab_66_1:
/* tmp314 = */ atspre_fprint_string (arg0, ATSstrcst("{...}")) ;
break ;

/* branch: __ats_lab_67 */
__ats_lab_67_0:
// if (((ats_sum_ptr_type)arg1)->tag != 2) { ats_deadcode_failure_handle () ; }
__ats_lab_67_1:
tmp315 = ats_caselptrlab_mac(anairiats_sum_6, arg1, atslab_1) ;
/* tmp316 = */ atspre_fprint_string (arg0, ATSstrcst("{")) ;
/* tmp317 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1arglst (arg0, tmp315) ;
/* tmp314 = */ atspre_fprint_string (arg0, ATSstrcst("}")) ;
break ;
} while (0) ;
return /* (tmp314) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1vararg] */

/*
// /tmp/ATS-Postiats/src/pats_staexp1_print.dats: 15575(line=654, offs=16) -- 15612(line=654, offs=53)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__print_s1vararg (ats_ptr_type arg0) {
/* local vardec */
// ATSlocal_void (tmp318) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__print_s1vararg:
/* tmp318 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1vararg (stdout, arg0) ;
return /* (tmp318) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__print_s1vararg] */

/*
// /tmp/ATS-Postiats/src/pats_staexp1_print.dats: 15638(line=656, offs=16) -- 15675(line=656, offs=53)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__prerr_s1vararg (ats_ptr_type arg0) {
/* local vardec */
// ATSlocal_void (tmp319) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__prerr_s1vararg:
/* tmp319 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1vararg (stderr, arg0) ;
return /* (tmp319) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__prerr_s1vararg] */

/*
// /tmp/ATS-Postiats/src/pats_staexp1_print.dats: 15724(line=661, offs=17) -- 16031(line=671, offs=6)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1exparg (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) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1exparg:
tmp321 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_25, arg1), atslab_s1exparg_node) ;
do {
/* branch: __ats_lab_68 */
__ats_lab_68_0:
if (((ats_sum_ptr_type)tmp321)->tag != 0) { goto __ats_lab_69_0 ; }
__ats_lab_68_1:
/* tmp320 = */ atspre_fprint_string (arg0, ATSstrcst("{..}")) ;
break ;

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

/* branch: __ats_lab_70 */
__ats_lab_70_0:
// if (((ats_sum_ptr_type)tmp321)->tag != 2) { ats_deadcode_failure_handle () ; }
__ats_lab_70_1:
tmp322 = ats_caselptrlab_mac(anairiats_sum_2, tmp321, atslab_0) ;
/* tmp323 = */ atspre_fprint_string (arg0, ATSstrcst("{")) ;
/* tmp324 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1explst (arg0, tmp322) ;
/* tmp320 = */ atspre_fprint_string (arg0, ATSstrcst("}")) ;
break ;
} while (0) ;
return /* (tmp320) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1exparg] */

/*
// /tmp/ATS-Postiats/src/pats_staexp1_print.dats: 16117(line=676, offs=3) -- 16173(line=676, offs=59)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1exparglst (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp325) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1exparglst:
/* tmp325 = */ fprintlst_01696_ats_ptr_type (arg0, arg1, ATSstrcst(""), &_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1exparg) ;
return /* (tmp325) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1exparglst] */

/*
// /tmp/ATS-Postiats/src/pats_staexp1_print.dats: 16252(line=682, offs=16) -- 16397(line=686, offs=2)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1rtdef (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp326) ;
// ATSlocal_void (tmp327) ;
ATSlocal (ats_ptr_type, tmp328) ;
// ATSlocal_void (tmp329) ;
ATSlocal (ats_ptr_type, tmp330) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1rtdef:
tmp328 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_26, arg1), atslab_s1rtdef_sym) ;
/* tmp327 = */ _2tmp_2ATS_2dPostiats_2src_2pats_symbol_2esats__fprint_symbol (arg0, tmp328) ;
/* tmp329 = */ atspre_fprint_string (arg0, ATSstrcst(" = ")) ;
tmp330 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_26, arg1), atslab_s1rtdef_def) ;
/* tmp326 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1rtext (arg0, tmp330) ;
return /* (tmp326) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1rtdef] */

/*
// /tmp/ATS-Postiats/src/pats_staexp1_print.dats: 16472(line=691, offs=16) -- 16700(line=697, offs=2)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1tacst (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// 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 (ats_ptr_type, tmp338) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1tacst:
tmp333 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_27, arg1), atslab_s1tacst_sym) ;
/* tmp332 = */ _2tmp_2ATS_2dPostiats_2src_2pats_symbol_2esats__fprint_symbol (arg0, tmp333) ;
/* tmp334 = */ atspre_fprint_string (arg0, ATSstrcst("(")) ;
tmp336 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_27, arg1), atslab_s1tacst_arg) ;
/* tmp335 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_a1msrtlst (arg0, tmp336) ;
/* tmp337 = */ atspre_fprint_string (arg0, ATSstrcst(") : ")) ;
tmp338 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_27, arg1), atslab_s1tacst_res) ;
/* tmp331 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1rt (arg0, tmp338) ;
return /* (tmp331) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1tacst] */

/*
// /tmp/ATS-Postiats/src/pats_staexp1_print.dats: 16775(line=702, offs=16) -- 17007(line=708, offs=2)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1tacon (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp339) ;
// ATSlocal_void (tmp340) ;
ATSlocal (ats_ptr_type, tmp341) ;
// ATSlocal_void (tmp342) ;
// ATSlocal_void (tmp343) ;
ATSlocal (ats_ptr_type, tmp344) ;
// ATSlocal_void (tmp345) ;
ATSlocal (ats_ptr_type, tmp346) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1tacon:
tmp341 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_28, arg1), atslab_s1tacon_sym) ;
/* tmp340 = */ _2tmp_2ATS_2dPostiats_2src_2pats_symbol_2esats__fprint_symbol (arg0, tmp341) ;
/* tmp342 = */ atspre_fprint_string (arg0, ATSstrcst("(")) ;
tmp344 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_28, arg1), atslab_s1tacon_arg) ;
/* tmp343 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_a1msrtlst (arg0, tmp344) ;
/* tmp345 = */ atspre_fprint_string (arg0, ATSstrcst(") = ")) ;
tmp346 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_28, arg1), atslab_s1tacon_def) ;
/* tmp339 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1expopt (arg0, tmp346) ;
return /* (tmp339) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1tacon] */

/*
// /tmp/ATS-Postiats/src/pats_staexp1_print.dats: 17306(line=724, offs=17) -- 17731(line=736, offs=2)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1expdef (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp347) ;
// ATSlocal_void (tmp348) ;
ATSlocal (ats_ptr_type, tmp349) ;
// ATSlocal_void (tmp350) ;
// ATSlocal_void (tmp351) ;
ATSlocal (ats_ptr_type, tmp352) ;
// ATSlocal_void (tmp353) ;
// ATSlocal_void (tmp354) ;
ATSlocal (ats_ptr_type, tmp355) ;
ATSlocal (ats_ptr_type, tmp356) ;
// ATSlocal_void (tmp357) ;
// ATSlocal_void (tmp358) ;
ATSlocal (ats_ptr_type, tmp359) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1expdef:
tmp349 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_29, arg1), atslab_s1expdef_sym) ;
/* tmp348 = */ _2tmp_2ATS_2dPostiats_2src_2pats_symbol_2esats__fprint_symbol (arg0, tmp349) ;
/* tmp350 = */ atspre_fprint_string (arg0, ATSstrcst("(")) ;
tmp352 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_29, arg1), atslab_s1expdef_arg) ;
/* tmp351 = */ fprintlst_01696_ats_ptr_type (arg0, tmp352, ATSstrcst("; "), &_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1marg) ;
/* tmp353 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
tmp355 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_29, arg1), atslab_s1expdef_res) ;
do {
/* branch: __ats_lab_71 */
__ats_lab_71_0:
if (tmp355 == (ats_sum_ptr_type)0) { goto __ats_lab_72_0 ; }
__ats_lab_71_1:
tmp356 = ats_caselptrlab_mac(anairiats_sum_10, tmp355, atslab_0) ;
/* tmp357 = */ atspre_fprint_string (arg0, ATSstrcst(": ")) ;
/* tmp354 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1rt (arg0, tmp356) ;
break ;

/* branch: __ats_lab_72 */
__ats_lab_72_0:
// if (tmp355 != (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; }
__ats_lab_72_1:
break ;
} while (0) ;
/* tmp358 = */ atspre_fprint_string (arg0, ATSstrcst(" = ")) ;
tmp359 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_29, arg1), atslab_s1expdef_def) ;
/* tmp347 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1exp (arg0, tmp359) ;
return /* (tmp347) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1expdef] */

/*
// /tmp/ATS-Postiats/src/pats_staexp1_print.dats: 17808(line=741, offs=17) -- 18233(line=753, offs=2)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1aspdec (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp360) ;
// ATSlocal_void (tmp361) ;
ATSlocal (ats_ptr_type, tmp362) ;
// ATSlocal_void (tmp363) ;
// ATSlocal_void (tmp364) ;
ATSlocal (ats_ptr_type, tmp365) ;
// ATSlocal_void (tmp366) ;
// ATSlocal_void (tmp367) ;
ATSlocal (ats_ptr_type, tmp368) ;
ATSlocal (ats_ptr_type, tmp369) ;
// ATSlocal_void (tmp370) ;
// ATSlocal_void (tmp371) ;
ATSlocal (ats_ptr_type, tmp372) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1aspdec:
tmp362 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_30, arg1), atslab_s1aspdec_qid) ;
/* tmp361 = */ _2tmp_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_sqi0de (arg0, tmp362) ;
/* tmp363 = */ atspre_fprint_string (arg0, ATSstrcst("(")) ;
tmp365 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_30, arg1), atslab_s1aspdec_arg) ;
/* tmp364 = */ fprintlst_01696_ats_ptr_type (arg0, tmp365, ATSstrcst("; "), &_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1marg) ;
/* tmp366 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
tmp368 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_30, arg1), atslab_s1aspdec_res) ;
do {
/* branch: __ats_lab_73 */
__ats_lab_73_0:
if (tmp368 == (ats_sum_ptr_type)0) { goto __ats_lab_74_0 ; }
__ats_lab_73_1:
tmp369 = ats_caselptrlab_mac(anairiats_sum_10, tmp368, atslab_0) ;
/* tmp370 = */ atspre_fprint_string (arg0, ATSstrcst(": ")) ;
/* tmp367 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1rt (arg0, tmp369) ;
break ;

/* branch: __ats_lab_74 */
__ats_lab_74_0:
// if (tmp368 != (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; }
__ats_lab_74_1:
break ;
} while (0) ;
/* tmp371 = */ atspre_fprint_string (arg0, ATSstrcst(" = ")) ;
tmp372 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_30, arg1), atslab_s1aspdec_def) ;
/* tmp360 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1exp (arg0, tmp372) ;
return /* (tmp360) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1aspdec] */

/*
// /tmp/ATS-Postiats/src/pats_staexp1_print.dats: 18308(line=758, offs=15) -- 18441(line=762, offs=2)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_q1marg (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp373) ;
// ATSlocal_void (tmp374) ;
// ATSlocal_void (tmp375) ;
ATSlocal (ats_ptr_type, tmp376) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_q1marg:
/* tmp374 = */ atspre_fprint_string (arg0, ATSstrcst("{")) ;
tmp376 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_31, arg1), atslab_q1marg_arg) ;
/* tmp375 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1qualst (arg0, tmp376) ;
/* tmp373 = */ atspre_fprint_string (arg0, ATSstrcst("}")) ;
return /* (tmp373) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_q1marg] */

/*
// /tmp/ATS-Postiats/src/pats_staexp1_print.dats: 18498(line=766, offs=3) -- 18552(line=766, offs=57)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_q1marglst (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp377) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_q1marglst:
/* tmp377 = */ fprintlst_01696_ats_ptr_type (arg0, arg1, ATSstrcst(""), &_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_q1marg) ;
return /* (tmp377) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_q1marglst] */

/*
// /tmp/ATS-Postiats/src/pats_staexp1_print.dats: 18629(line=772, offs=16) -- 19009(line=784, offs=4)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_i1mparg (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp378) ;
ATSlocal (ats_ptr_type, tmp379) ;
// ATSlocal_void (tmp380) ;
// ATSlocal_void (tmp381) ;
ATSlocal (ats_ptr_type, tmp382) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_i1mparg:
do {
/* branch: __ats_lab_75 */
__ats_lab_75_0:
if (((ats_sum_ptr_type)arg1)->tag != 0) { goto __ats_lab_76_0 ; }
__ats_lab_75_1:
tmp379 = ats_caselptrlab_mac(anairiats_sum_2, arg1, atslab_0) ;
/* tmp380 = */ atspre_fprint_string (arg0, ATSstrcst("(")) ;
/* tmp381 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1arglst (arg0, tmp379) ;
/* tmp378 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_76 */
__ats_lab_76_0:
// if (((ats_sum_ptr_type)arg1)->tag != 1) { ats_deadcode_failure_handle () ; }
__ats_lab_76_1:
tmp382 = ats_caselptrlab_mac(anairiats_sum_2, arg1, atslab_0) ;
/* tmp378 = */ fprintlst_01696_ats_ptr_type (arg0, tmp382, ATSstrcst(""), &_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1vararg) ;
break ;
} while (0) ;
return /* (tmp378) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_i1mparg] */

/*
// /tmp/ATS-Postiats/src/pats_staexp1_print.dats: 19084(line=789, offs=16) -- 19448(line=798, offs=2)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_e1xndec (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp383) ;
// ATSlocal_void (tmp384) ;
ATSlocal (ats_ptr_type, tmp385) ;
// ATSlocal_void (tmp386) ;
// ATSlocal_void (tmp387) ;
ATSlocal (ats_ptr_type, tmp388) ;
// ATSlocal_void (tmp389) ;
// ATSlocal_void (tmp390) ;
ATSlocal (ats_int_type, tmp391) ;
// ATSlocal_void (tmp392) ;
// ATSlocal_void (tmp393) ;
ATSlocal (ats_ptr_type, tmp394) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_e1xndec:
tmp385 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_32, arg1), atslab_e1xndec_sym) ;
/* tmp384 = */ _2tmp_2ATS_2dPostiats_2src_2pats_symbol_2esats__fprint_symbol (arg0, tmp385) ;
/* tmp386 = */ atspre_fprint_string (arg0, ATSstrcst(" : ")) ;
tmp388 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_32, arg1), atslab_e1xndec_qua) ;
/* tmp387 = */ fprintlst_01696_ats_ptr_type (arg0, tmp388, ATSstrcst(" "), &_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_q1marg) ;
/* tmp389 = */ atspre_fprint_string (arg0, ATSstrcst("(")) ;
tmp391 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_32, arg1), atslab_e1xndec_npf) ;
/* tmp390 = */ atspre_fprint_int (arg0, tmp391) ;
/* tmp392 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
tmp394 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_32, arg1), atslab_e1xndec_arg) ;
/* tmp393 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1explst (arg0, tmp394) ;
/* tmp383 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
return /* (tmp383) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_e1xndec] */

/*
// /tmp/ATS-Postiats/src/pats_staexp1_print.dats: 19524(line=803, offs=17) -- 19670(line=807, offs=2)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_d1cstdec (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp395) ;
// ATSlocal_void (tmp396) ;
ATSlocal (ats_ptr_type, tmp397) ;
// ATSlocal_void (tmp398) ;
ATSlocal (ats_ptr_type, tmp399) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_d1cstdec:
tmp397 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_33, arg1), atslab_d1cstdec_sym) ;
/* tmp396 = */ _2tmp_2ATS_2dPostiats_2src_2pats_symbol_2esats__fprint_symbol (arg0, tmp397) ;
/* tmp398 = */ atspre_fprint_string (arg0, ATSstrcst(" : ")) ;
tmp399 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_33, arg1), atslab_d1cstdec_type) ;
/* tmp395 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_s1exp (arg0, tmp399) ;
return /* (tmp395) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__fprint_d1cstdec] */

/* static load function */

extern ats_void_type _2tmp_2ATS_2dPostiats_2src_2pats_utils_2esats__staload (void) ;
extern ats_void_type _2tmp_2ATS_2dPostiats_2src_2pats_utils_2edats__staload (void) ;
extern ats_void_type _2tmp_2ATS_2dPostiats_2src_2pats_effect_2esats__staload (void) ;
extern ats_void_type _2tmp_2ATS_2dPostiats_2src_2pats_syntax_2esats__staload (void) ;
extern ats_void_type _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__staload (void) ;

ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_print_2edats__staload () {
static int _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_print_2edats__staload_flag = 0 ;
if (_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_print_2edats__staload_flag) return ;
_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_print_2edats__staload_flag = 1 ;

_2tmp_2ATS_2dPostiats_2src_2pats_utils_2esats__staload () ;
_2tmp_2ATS_2dPostiats_2src_2pats_utils_2edats__staload () ;
_2tmp_2ATS_2dPostiats_2src_2pats_effect_2esats__staload () ;
_2tmp_2ATS_2dPostiats_2src_2pats_syntax_2esats__staload () ;
_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__staload () ;

return ;
} /* staload function */

/* dynamic load function */

// dynload flag declaration
extern ats_int_type _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_print_2edats__dynload_flag ;

ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_print_2edats__dynload () {
_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_print_2edats__dynload_flag = 1 ;
_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_print_2edats__staload () ;

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

/* marking static variables for GC */

/* marking external values for GC */

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

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

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

/* end of [pats_staexp1_print_dats.c] */
