/*
**
** 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_lexbuf.cats"

#include "pats_location.cats"

#include "pats_tokbuf.cats"

#include "pats_lexbuf.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_lexbuf.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_lexbuf.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_lexbuf.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_lexbuf.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_lexbuf.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_lexbuf.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_lexbuf.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_lexbuf.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_lexbuf.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_lexbuf.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_lexbuf.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_lexbuf.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_lexbuf.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_lexbuf.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_lexbuf.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_lexbuf.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_lexbuf.cats"

#include "pats_location.cats"

#include "pats_location.cats"
/* external codes at top */

//
static
ats_bool_type
patsopt_string_suffix_is_dats
  (ats_ptr_type s0) {
  char *s = strrchr (s0, '.') ;
  if (!s) return ats_false_bool ;
  if (strcmp (s, ".dats") != 0) return ats_false_bool ;
  return ats_true_bool ;
} // end of [patsopt_string_suffix_is_dats]
//

/* type definitions */
typedef
struct {
ats_ptr_type atslab_3 ;
ats_ptr_type atslab_4 ;
} anairiats_rec_0 ;

typedef
struct {
ats_ptr_type atslab_0 ;
ats_int_type atslab_1 ;
ats_int_type atslab_2 ;
ats_ptr_type atslab_3 ;
} anairiats_rec_1 ;

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

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

typedef struct {
ats_ptr_type atslab_0 ;
} anairiats_sum_4 ;

typedef struct {
ats_int_type atslab_0 ;
} anairiats_sum_5 ;

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

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

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

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

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

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

typedef
struct {
ats_ptr_type atslab_s0rtdef_loc ;
ats_ptr_type atslab_s0rtdef_sym ;
ats_ptr_type atslab_s0rtdef_def ;
} anairiats_rec_12 ;

typedef
struct {
ats_ptr_type atslab_t0kindef_loc ;
ats_ptr_type atslab_t0kindef_sym ;
ats_ptr_type atslab_t0kindef_loc_id ;
ats_ptr_type atslab_t0kindef_def ;
} anairiats_rec_13 ;

typedef
struct {
ats_ptr_type atslab_s0expdef_loc ;
ats_ptr_type atslab_s0expdef_sym ;
ats_ptr_type atslab_s0expdef_loc_id ;
ats_ptr_type atslab_s0expdef_arg ;
ats_ptr_type atslab_s0expdef_res ;
ats_ptr_type atslab_s0expdef_def ;
} anairiats_rec_14 ;

typedef
struct {
ats_ptr_type atslab_s0aspdec_loc ;
ats_ptr_type atslab_s0aspdec_qid ;
ats_ptr_type atslab_s0aspdec_arg ;
ats_ptr_type atslab_s0aspdec_res ;
ats_ptr_type atslab_s0aspdec_def ;
} anairiats_rec_15 ;

typedef
struct {
ats_ptr_type atslab_d0atdec_loc ;
ats_ptr_type atslab_d0atdec_loc_hd ;
ats_ptr_type atslab_d0atdec_fil ;
ats_ptr_type atslab_d0atdec_sym ;
ats_ptr_type atslab_d0atdec_arg ;
ats_ptr_type atslab_d0atdec_con ;
} anairiats_rec_16 ;

typedef
struct {
ats_ptr_type atslab_e0xndec_loc ;
ats_ptr_type atslab_e0xndec_fil ;
ats_ptr_type atslab_e0xndec_sym ;
ats_ptr_type atslab_e0xndec_qua ;
ats_ptr_type atslab_e0xndec_arg ;
} anairiats_rec_17 ;

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

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

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

typedef
struct {
ats_ptr_type atslab_m0acdef_loc ;
ats_ptr_type atslab_m0acdef_sym ;
ats_ptr_type atslab_m0acdef_arg ;
ats_ptr_type atslab_m0acdef_def ;
} anairiats_rec_21 ;

typedef
struct {
ats_ptr_type atslab_v0aldec_loc ;
ats_ptr_type atslab_v0aldec_pat ;
ats_ptr_type atslab_v0aldec_def ;
ats_ptr_type atslab_v0aldec_ann ;
} anairiats_rec_22 ;

typedef
struct {
ats_ptr_type atslab_f0undec_loc ;
ats_ptr_type atslab_f0undec_sym ;
ats_ptr_type atslab_f0undec_sym_loc ;
ats_ptr_type atslab_f0undec_arg ;
ats_ptr_type atslab_f0undec_eff ;
ats_ptr_type atslab_f0undec_res ;
ats_ptr_type atslab_f0undec_def ;
ats_ptr_type atslab_f0undec_ann ;
} anairiats_rec_23 ;

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

typedef
struct {
ats_ptr_type atslab_v0ardec_loc ;
ats_int_type atslab_v0ardec_knd ;
ats_ptr_type atslab_v0ardec_sym ;
ats_ptr_type atslab_v0ardec_sym_loc ;
ats_ptr_type atslab_v0ardec_pfat ;
ats_ptr_type atslab_v0ardec_type ;
ats_ptr_type atslab_v0ardec_init ;
} anairiats_rec_25 ;

typedef
struct {
ats_ptr_type atslab_i0mpdec_loc ;
ats_ptr_type atslab_i0mpdec_qid ;
ats_ptr_type atslab_i0mpdec_arg ;
ats_ptr_type atslab_i0mpdec_res ;
ats_ptr_type atslab_i0mpdec_def ;
} anairiats_rec_26 ;

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

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

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

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

typedef struct {
anairiats_rec_30 atslab_0 ;
} anairiats_sum_31 ;

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

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

typedef
struct {
ats_ptr_type atslab_guad0ecl_loc ;
ats_ptr_type atslab_guad0ecl_node ;
} anairiats_rec_34 ;

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

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

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

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

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

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

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

/* 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, ATS_2d0_2e2_2e12_2prelude_2basics_sta_2esats__list_vt_cons_0) ;
ATSextern_val(ats_sum_type, ATS_2d0_2e2_2e12_2prelude_2basics_sta_2esats__list_vt_nil_1) ;
ATSextern_val(ats_sum_type, ATS_2d0_2e2_2e12_2prelude_2basics_sta_2esats__None_vt_0) ;
ATSextern_val(ats_sum_type, ATS_2d0_2e2_2e12_2prelude_2basics_sta_2esats__Some_vt_1) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_basics_2esats__FK_fn_0) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_basics_2esats__FK_fnx_1) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_basics_2esats__FK_fun_2) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_basics_2esats__FK_prfn_3) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_basics_2esats__FK_prfun_4) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_basics_2esats__FK_praxi_5) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_basics_2esats__FK_castfn_6) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_basics_2esats__VK_val_0) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_basics_2esats__VK_val_pos_1) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_basics_2esats__VK_val_neg_2) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_basics_2esats__VK_prval_3) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_basics_2esats__DCKfun_0) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_basics_2esats__DCKval_1) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_basics_2esats__DCKpraxi_2) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_basics_2esats__DCKprfun_3) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_basics_2esats__DCKprval_4) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_basics_2esats__DCKcastfn_5) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_lexing_2esats__T_FUN_52) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_lexing_2esats__T_VAL_80) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_syntax_2esats__P0RECint_0) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_syntax_2esats__P0RECi0de_1) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_syntax_2esats__P0RECi0de_adj_2) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_syntax_2esats__F0XTYinf_0) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_syntax_2esats__F0XTYpre_1) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_syntax_2esats__F0XTYpos_2) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_syntax_2esats__E0XPACTerror_0) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_syntax_2esats__E0XPACTprerr_1) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_syntax_2esats__E0XPACTprint_2) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_syntax_2esats__E0XPACTassert_3) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_syntax_2esats__GD0Cone_0) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_syntax_2esats__GD0Ctwo_1) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_syntax_2esats__GD0Ccons_2) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Cfixity_0) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Cnonfix_1) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Csymintr_2) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Csymelim_3) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Coverload_4) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Ce0xpdef_5) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Ce0xpundef_6) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Ce0xpact_7) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Cpragma_8) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Ccodegen_9) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Cdatsrts_10) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Csrtdefs_11) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Cstacsts_12) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Cstacons_13) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Ctkindef_14) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Csexpdefs_15) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Csaspdec_16) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Creassume_17) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Cexndecs_18) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Cdatdecs_19) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Cclassdec_20) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Cextype_21) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Cextype_22) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Cextvar_23) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Cextcode_24) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Cdcstdecs_25) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Cimpdec_26) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Cmacdefs_27) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Cfundecs_28) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Cvaldecs_29) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Cvardecs_30) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Cinclude_31) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Cstaload_32) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Cstaloadnm_33) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Cstaloadloc_34) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Crequire_35) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Cdynload_36) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Clocal_37) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_syntax_2esats__D0Cguadecl_38) ;
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__E1XPstring_5) ;
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__S1Elist_13) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__T1E_prec_tr_0) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__T1E_i0nclude_tr_8) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__T1E_s0taload_tr_9) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__T1E_d0ynload_tr_10) ;

/* external dynamic constant declarations */
ATSextern_fun(ats_void_type, atspre_assert_errmsg) (ats_bool_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, atspre_vbox_make_view_ptr) (ats_ptr_type) ;
ATSextern_fun(ats_void_type, atspre_prerr_newline) () ;
ATSextern_fun(ats_ptr_type, atspre_string_append) (ats_ptr_type, ats_ptr_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_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_int_type, atspre_idiv) (ats_int_type, ats_int_type) ;
ATSextern_fun(ats_bool_type, atspre_ilt) (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_int_type, atspre_int_of_llint) (ats_llint_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_mul2_size1_size1) (ats_size_type, ats_size_type) ;
ATSextern_fun(ats_bool_type, atspre_lt_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_neq_size1_size1) (ats_size_type, ats_size_type) ;
ATSextern_fun(ats_ptr_type, atspre_ptr_alloc_tsz) (ats_size_type) ;
ATSextern_fun(ats_void_type, atspre_ptr_zero_tsz) (ats_ref_type, ats_size_type) ;
ATSextern_fun(ats_ptr_type, atspre_ref_make_elt_tsz) (ats_ref_type, ats_size_type) ;
ATSextern_fun(ats_void_type, atspre_prerr_string) (ats_ptr_type) ;
ATSextern_val(ats_ptr_type, atspre_stropt_none) ;
ATSextern_fun(ats_bool_type, atspre_stropt_is_none) (ats_ptr_type) ;
ATSextern_fun(ats_bool_type, atspre_stropt_is_some) (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, atspre_array_ptr_initialize_funenv_tsz) (ats_ref_type, ats_size_type, ats_ptr_type, ats_size_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, atspre_array_ptr_initialize_cloenv_tsz) (ats_ref_type, ats_size_type, ats_ref_type, ats_size_type, ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, atspre_array_ptr_split_tsz) (ats_ptr_type, ats_size_type, ats_size_type) ;
ATSextern_fun(ats_ptr_type, atspre_array_ptr_takeout_tsz) (ats_ptr_type, ats_size_type, ats_size_type) ;
ATSextern_fun(anairiats_rec_0, atspre_array_ptr_takeout2_tsz) (ats_ptr_type, ats_size_type, ats_size_type, ats_size_type) ;
ATSextern_fun(ats_void_type, atspre_array_ptr_foreach_funenv_tsz) (ats_ref_type, ats_ptr_type, ats_size_type, ats_size_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, atspre_array_ptr_iforeach_funenv_tsz) (ats_ref_type, ats_ptr_type, ats_size_type, ats_size_type, ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, atspre_array2_ptr_takeout_tsz) (ats_ptr_type, ats_size_type, ats_size_type, ats_size_type) ;
ATSextern_fun(ats_void_type, atslib_qsort) (ats_ref_type, ats_size_type, ats_size_type, ats_ptr_type) ;
ATSextern_fun(ats_llint_type, _2tmp_2ATS_2dPostiats_2src_2pats_utils_2esats__llint_make_string) (ats_ptr_type) ;
ATSextern_fun(ats_varet_type, _2tmp_2ATS_2dPostiats_2src_2pats_error_2esats__abort) () ;
ATSextern_fun(ats_int_type, _2tmp_2ATS_2dPostiats_2src_2pats_global_2esats__the_ATSRELOC_get) () ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_global_2esats__the_ATSRELOC_set_decl) (ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_global_2esats__the_DYNLOADFLAG_set) (ats_int_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_global_2esats__the_DYNLOADNAME_set_name) (ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_global_2esats__the_MAINATSFLAG_set) (ats_int_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_global_2esats__the_STATIC_PREFIX_set_name) (ats_ptr_type) ;
ATSextern_fun(ats_int_type, _2tmp_2ATS_2dPostiats_2src_2pats_global_2esats__the_DEBUGATS_dbgflag_get) () ;
ATSextern_val(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_symbol_2esats__symbol_ADD) ;
ATSextern_val(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_symbol_2esats__symbol_SUB) ;
ATSextern_val(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_symbol_2esats__symbol_ATS_PACKNAME) ;
ATSextern_val(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_symbol_2esats__symbol_ATS_DYNLOADFLAG) ;
ATSextern_val(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_symbol_2esats__symbol_ATS_DYNLOADNAME) ;
ATSextern_val(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_symbol_2esats__symbol_ATS_MAINATSFLAG) ;
ATSextern_val(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_symbol_2esats__symbol_ATS_STATIC_PREFIX) ;
ATSextern_fun(ats_bool_type, _2tmp_2ATS_2dPostiats_2src_2pats_symbol_2esats__eq_symbol_symbol) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_symbol_2esats__prerr_symbol) (ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_symbol_2esats__symbol_get_name) (ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_filename_2esats__filename_get_partname) (ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_filename_2esats__filename_get_fullname) (ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_filename_2esats__prerr_filename_full) (ats_ptr_type) ;
ATSextern_val(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_filename_2esats__filename_dummy) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_filename_2esats__filename_get_current) () ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_filename_2esats__the_filenamelst_pop) () ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_filename_2esats__the_filenamelst_push) (ats_ptr_type) ;
ATSextern_fun(ats_bool_type, _2tmp_2ATS_2dPostiats_2src_2pats_filename_2esats__the_filenamelst_push_check) (ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_filename_2esats__the_filenamelst_ppop) () ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_filename_2esats__fprint_the_filenamelst) (ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_filename_2esats__filenameopt_make_relative) (ats_ptr_type, ats_ref_type) ;
ATSextern_fun(ats_bool_type, _2tmp_2ATS_2dPostiats_2src_2pats_basics_2esats__funkind_is_proof) (ats_ptr_type) ;
ATSextern_fun(ats_bool_type, _2tmp_2ATS_2dPostiats_2src_2pats_basics_2esats__funkind_is_recursive) (ats_ptr_type) ;
ATSextern_fun(ats_bool_type, _2tmp_2ATS_2dPostiats_2src_2pats_basics_2esats__dcstkind_is_fun) (ats_ptr_type) ;
ATSextern_fun(ats_bool_type, _2tmp_2ATS_2dPostiats_2src_2pats_basics_2esats__dcstkind_is_proof) (ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_location_2esats__prerr_location) (ats_ptr_type) ;
ATSextern_fun(ats_int_type, _2tmp_2ATS_2dPostiats_2src_2pats_fixity_2esats__prec_make_int) (ats_int_type) ;
ATSextern_fun(ats_int_type, _2tmp_2ATS_2dPostiats_2src_2pats_fixity_2esats__precedence_inc) (ats_int_type, ats_int_type) ;
ATSextern_fun(ats_int_type, _2tmp_2ATS_2dPostiats_2src_2pats_fixity_2esats__precedence_dec) (ats_int_type, ats_int_type) ;
ATSextern_val(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_fixity_2esats__fxty_non) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_fixity_2esats__fxty_inf) (ats_int_type, ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_fixity_2esats__fxty_pre) (ats_int_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_fixity_2esats__fxty_pos) (ats_int_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_fixity_2esats__fxty_get_prec) (ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_parsing_2esats__parse_from_filename_toplevel2) (ats_int_type, ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__e1xp_none) (ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__e1xp_undef) (ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__s1rtdef_make) (ats_ptr_type, ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__s1tacst_make) (ats_ptr_type, ats_ptr_type, ats_ptr_type, ats_ptr_type, ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__s1tacon_make) (ats_ptr_type, ats_ptr_type, ats_ptr_type, ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__t1kindef_make) (ats_ptr_type, ats_ptr_type, ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__s1expdef_make) (ats_ptr_type, ats_ptr_type, ats_ptr_type, ats_ptr_type, ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__s1aspdec_make) (ats_ptr_type, ats_ptr_type, ats_ptr_type, ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__d1atdec_make) (ats_ptr_type, ats_ptr_type, ats_ptr_type, ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__e1xndec_make) (ats_ptr_type, ats_ptr_type, ats_ptr_type, ats_ptr_type, ats_int_type, ats_ptr_type) ;
ATSextern_fun(ats_bool_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__d1exp_is_metric) (ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__m1acdef_make) (ats_ptr_type, ats_ptr_type, ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__v1aldec_make) (ats_ptr_type, ats_ptr_type, ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__f1undec_make) (ats_ptr_type, ats_ptr_type, ats_ptr_type, ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__v1ardec_make) (ats_ptr_type, ats_int_type, ats_ptr_type, ats_ptr_type, ats_ptr_type, ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__i1mpdec_make) (ats_ptr_type, ats_ptr_type, ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__d1ecl_none) (ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__d1ecl_list) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__d1ecl_packname) (ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__d1ecl_symintr) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__d1ecl_symelim) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__d1ecl_overload) (ats_ptr_type, ats_ptr_type, ats_ptr_type, ats_int_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__d1ecl_e1xpdef) (ats_ptr_type, ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__d1ecl_e1xpundef) (ats_ptr_type, ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__d1ecl_pragma) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__d1ecl_codegen) (ats_ptr_type, ats_int_type, ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__d1ecl_datsrts) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__d1ecl_srtdefs) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__d1ecl_stacsts) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__d1ecl_stacons) (ats_ptr_type, ats_int_type, ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__d1ecl_tkindef) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__d1ecl_sexpdefs) (ats_ptr_type, ats_int_type, ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__d1ecl_saspdec) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__d1ecl_reassume) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__d1ecl_exndecs) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__d1ecl_datdecs) (ats_ptr_type, ats_int_type, ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__d1ecl_classdec) (ats_ptr_type, ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__d1ecl_dcstdecs) (ats_ptr_type, ats_int_type, ats_ptr_type, ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__d1ecl_extype) (ats_ptr_type, ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__d1ecl_extype2) (ats_ptr_type, ats_int_type, ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__d1ecl_extvar) (ats_ptr_type, ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__d1ecl_extcode) (ats_ptr_type, ats_int_type, ats_int_type, ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__d1ecl_macdefs) (ats_ptr_type, ats_int_type, ats_bool_type, ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__d1ecl_impdec) (ats_ptr_type, ats_int_type, ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__d1ecl_fundecs) (ats_ptr_type, ats_ptr_type, ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__d1ecl_valdecs) (ats_ptr_type, ats_ptr_type, ats_bool_type, ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__d1ecl_vardecs) (ats_ptr_type, ats_int_type, ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__d1ecl_include) (ats_ptr_type, ats_int_type, ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__d1ecl_staload) (ats_ptr_type, ats_ptr_type, ats_ptr_type, ats_int_type, ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__d1ecl_staloadnm) (ats_ptr_type, ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__d1ecl_staloadloc) (ats_ptr_type, ats_ptr_type, ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__d1ecl_dynload) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__d1ecl_local) (ats_ptr_type, ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__the_trans1errlst_add) (ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__the_trans1errlst_finalize) () ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__scstextdef_tr) (ats_ptr_type, ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__do_e0xpact_assert) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__do_e0xpact_prerr) (ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__do_e0xpact_print) (ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__do_e0xpact_error) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__e0xp_tr) (ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__e0xplst_tr) (ats_ptr_type) ;
ATSextern_fun(anairiats_rec_1, _2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__e0fftaglst_tr) (ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__s0rt_tr) (ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__s0rtopt_tr) (ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__a0msrtlst_tr) (ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__s0marglst_tr) (ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__s0exp_tr) (ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__s0expopt_tr) (ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__s0rtext_tr) (ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__witht0ype_tr) (ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__d0ecl_fixity_tr) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__d0ecl_nonfix_tr) (ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__d0atsrtdec_tr) (ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__s0rtdef_tr) (ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__s0tacst_tr) (ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__s0tacon_tr) (ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__t0kindef_tr) (ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__s0expdef_tr) (ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__s0aspdec_tr) (ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__q0marglst_tr) (ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__i0mparg_tr) (ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__t0mpmarg_tr) (ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__d0atcon_tr) (ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__d0atdec_tr) (ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__e0xndec_tr) (ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__m0acarglst_tr) (ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__d0cstdeclst_tr) (ats_bool_type, ats_bool_type, ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__p0at_tr) (ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__d0exp_tr) (ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__d0expopt_tr) (ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__termet_check) (ats_ptr_type, ats_bool_type, ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__d0exp_tr_lams_dyn) (ats_int_type, ats_ptr_type, ats_ptr_type, ats_int_type, ats_ptr_type, ats_ptr_type, ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__d0ecl_tr) (ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__d0eclist_tr) (ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_trans1_env_2esats__the_e1xpenv_add) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_trans1_env_2esats__the_e1xpenv_find) (ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_trans1_env_2esats__the_fxtyenv_add) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_trans1_env_2esats__the_fxtyenv_find) (ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_trans1_env_2esats__the_trans1_env_push) () ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_trans1_env_2esats__the_trans1_env_localjoin) () ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_trans1_env_2esats__the_trans1_env_save) () ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_trans1_env_2esats__the_trans1_env_restore) () ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_trans1_env_2esats__staload_file_search) (ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_trans1_env_2esats__staload_file_insert) (ats_ptr_type, ats_int_type, ats_ptr_type) ;
ATSextern_fun(ats_bool_type, _2tmp_2ATS_2dPostiats_2src_2pats_e1xpval_2esats__v1al_is_true) (ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_e1xpval_2esats__e1xp_valize) (ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_e1xpval_2esats__e1xp_valize_if) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_trans1_decl_2edats__i0nclude_tr) (ats_ptr_type, ats_int_type, ats_ptr_type) ;
ATSextern_fun(ats_bool_type, patsopt_string_suffix_is_dats) (ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_trans1_decl_2edats__s0taload_tr) (ats_ptr_type, ats_ptr_type, ats_ptr_type, ats_ref_type, ats_ref_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_trans1_decl_2edats__r0equire_tr) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_trans1_decl_2edats__r0equire_tr_if) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_trans1_decl_2edats__d0ynload_tr) (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_2SATS_2array_2esats__array_v_takeout2_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_2prelude_2DATS_2list_vt_2edats____assert_prfck () ;
extern
ats_void_type ATS_2d0_2e2_2e12_2prelude_2DATS_2list_vt_2edats____assert_prfck () ;
extern
ats_void_type ATS_2d0_2e2_2e12_2prelude_2DATS_2list_vt_2edats____assert_prfck () ;
extern
ats_void_type ATS_2d0_2e2_2e12_2prelude_2DATS_2list_vt_2edats____assert_prfck () ;
extern
ats_void_type ATS_2d0_2e2_2e12_2prelude_2DATS_2list_vt_2edats____assert_prfck () ;
extern
ats_void_type ATS_2d0_2e2_2e12_2prelude_2DATS_2list_vt_2edats____assert_prfck () ;
extern
ats_void_type ATS_2d0_2e2_2e12_2prelude_2DATS_2array_2edats____copy_prfck () ;
extern
ats_void_type ATS_2d0_2e2_2e12_2prelude_2DATS_2array_2edats____free_prfck () ;
extern
ats_void_type ATS_2d0_2e2_2e12_2prelude_2DATS_2array_2edats____assert_prfck () ;
extern
ats_void_type ATS_2d0_2e2_2e12_2prelude_2DATS_2array_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 prerr_FILENAME_02939_ () ;
static
ats_int_type prec_make_err_1 () ;
static
ats_void_type prerr_error1_loc_02942_ (ats_ptr_type arg0) ;
static
ats_void_type prec_tr_errmsg_fxty_2 (ats_ptr_type arg0) ;
static
ats_void_type prec_tr_errmsg_adj_4 (ats_ptr_type arg0) ;
static
ats_int_type precfnd_6 (ats_ptr_type arg0) ;
static
ats_int_type p0rec_tr_5 (ats_ptr_type arg0) ;
static
ats_ptr_type f0xty_tr_7 (ats_ptr_type arg0) ;
static
ats_void_type loop_9 (ats_ptr_type arg0, ats_ptr_type arg1) ;
static
ats_void_type loop_11 (ats_ptr_type arg0) ;
static
ats_void_type loop_21 (ats_ptr_type arg0, ats_ptr_type arg1, ats_ref_type arg2, ats_ptr_type arg3) ;
static
ats_ptr_type list_map_funenv_01412_ats_ptr_type_ats_ptr_type (ats_ptr_type arg0, ats_ptr_type arg1, ats_ptr_type arg2) ;
static
ats_ptr_type list_map_fun_01413_ats_ptr_type_ats_ptr_type (ats_ptr_type arg0, ats_ptr_type arg1) ;
static
ats_ptr_type token_get_dcstkind_23 (ats_ptr_type arg0) ;
static
ats_ptr_type m0acdef_tr_24 (ats_ptr_type arg0) ;
static
ats_ptr_type v0aldec_tr_25 (ats_ptr_type arg0) ;
static
ats_ptr_type f0undec_tr_26 (ats_bool_type arg0, ats_bool_type arg1, ats_ptr_type arg2) ;
static
ats_ptr_type f0undeclst_tr_27 (ats_ptr_type arg0, ats_ptr_type arg1) ;
static
ats_ptr_type v0ardec_tr_28 (ats_ptr_type arg0) ;
static
ats_ptr_type i0mpdec_tr_29 (ats_ptr_type arg0) ;
static
ats_void_type the_ATSRELOC_set_decl_30 (ats_ptr_type arg0) ;
static
ats_void_type the_ATSRELOC_set_decl_if_31 (ats_ptr_type arg0) ;
static
ats_ptr_type ats_filename_get_33 () ;
static
ats_void_type prerr_warning1_loc_02948_ (ats_ptr_type arg0) ;
static
ats_ptr_type ats_packname_get_34 () ;
static
ats_ptr_type ats_packname_get2_36 (ats_ptr_type arg0, ats_ptr_type arg1) ;
static
ats_ptr_type auxload_37 (ats_ptr_type arg0, ats_ref_type arg1) ;
static
ats_ptr_type loop_43 (ats_ptr_type arg0, ats_ptr_type arg1) ;
static
ats_ptr_type guad0ecl_tr_42 (ats_ptr_type arg0, ats_ptr_type arg1) ;
static
ats_int_type intrep2int_47 (ats_ptr_type arg0) ;
static
ats_void_type aux_dynloadflag_48 () ;
static
ats_void_type aux_dynloadname_49 () ;
static
ats_void_type aux_mainatsflag_50 () ;
static
ats_void_type aux_static_prefix_51 () ;

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

/* function implementations */

/*
// /tmp/ATS-Postiats/src/pats_trans1_decl.dats: 2552(line=96, offs=28) -- 2581(line=96, offs=57)
*/
ATSstaticdec()
ats_void_type
prerr_FILENAME_02939_ () {
/* local vardec */
// ATSlocal_void (tmp0) ;

__ats_lab_prerr_FILENAME_02939_:
/* tmp0 = */ atspre_prerr_string (ATSstrcst("pats_trans1_decl")) ;
return /* (tmp0) */ ;
} /* end of [prerr_FILENAME_02939_] */

/*
// /tmp/ATS-Postiats/src/pats_trans1_decl.dats: 3013(line=125, offs=1) -- 3058(line=126, offs=32)
*/
ATSstaticdec()
ats_int_type
prec_make_err_1 () {
/* local vardec */
ATSlocal (ats_int_type, tmp1) ;

__ats_lab_prec_make_err_1:
tmp1 = _2tmp_2ATS_2dPostiats_2src_2pats_fixity_2esats__prec_make_int (0) ;
return (tmp1) ;
} /* end of [prec_make_err_1] */

/*
// /tmp/ATS-Postiats/src/pats_errmsg.dats: 1988(line=70, offs=17) -- 2046(line=73, offs=2)
*/
ATSstaticdec()
ats_void_type
prerr_error1_loc_02942_ (ats_ptr_type arg0) {
/* local vardec */
// ATSlocal_void (tmp4) ;
// ATSlocal_void (tmp5) ;

__ats_lab_prerr_error1_loc_02942_:
/* tmp5 = */ _2tmp_2ATS_2dPostiats_2src_2pats_location_2esats__prerr_location (arg0) ;
/* tmp4 = */ atspre_prerr_string (ATSstrcst(": error(1)")) ;
return /* (tmp4) */ ;
} /* end of [prerr_error1_loc_02942_] */

/*
// /tmp/ATS-Postiats/src/pats_trans1_decl.dats: 3063(line=129, offs=1) -- 3303(line=137, offs=4)
*/
ATSstaticdec()
ats_void_type
prec_tr_errmsg_fxty_2 (ats_ptr_type arg0) {
/* local vardec */
// ATSlocal_void (tmp2) ;
// ATSlocal_void (tmp3) ;
ATSlocal (ats_ptr_type, tmp6) ;
// ATSlocal_void (tmp7) ;
// ATSlocal_void (tmp8) ;
ATSlocal (ats_ptr_type, tmp9) ;
// ATSlocal_void (tmp10) ;
// ATSlocal_void (tmp11) ;
ATSlocal (ats_ptr_type, tmp12) ;

__ats_lab_prec_tr_errmsg_fxty_2:
tmp6 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_2, arg0), atslab_i0de_loc) ;
/* tmp3 = */ prerr_error1_loc_02942_ (tmp6) ;
/* tmp7 = */ atspre_prerr_string (ATSstrcst(": the operator [")) ;
tmp9 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_2, arg0), atslab_i0de_sym) ;
/* tmp8 = */ _2tmp_2ATS_2dPostiats_2src_2pats_symbol_2esats__prerr_symbol (tmp9) ;
/* tmp10 = */ atspre_prerr_string (ATSstrcst("] is given no fixity")) ;
/* tmp11 = */ atspre_prerr_newline () ;
tmp12 = ATS_MALLOC(sizeof(anairiats_sum_3)) ;
((ats_sum_ptr_type)tmp12)->tag = 0 ;
ats_selptrset_mac(anairiats_sum_3, tmp12, atslab_0, arg0) ;
/* tmp2 = */ _2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__the_trans1errlst_add (tmp12) ;
return /* (tmp2) */ ;
} /* end of [prec_tr_errmsg_fxty_2] */

/*
// /tmp/ATS-Postiats/src/pats_trans1_decl.dats: 3340(line=140, offs=1) -- 3586(line=148, offs=4)
*/
ATSstaticdec()
ats_void_type
prec_tr_errmsg_adj_4 (ats_ptr_type arg0) {
/* local vardec */
// ATSlocal_void (tmp13) ;
// ATSlocal_void (tmp14) ;
ATSlocal (ats_ptr_type, tmp15) ;
// ATSlocal_void (tmp16) ;
// ATSlocal_void (tmp17) ;
ATSlocal (ats_ptr_type, tmp18) ;

__ats_lab_prec_tr_errmsg_adj_4:
tmp15 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_2, arg0), atslab_i0de_loc) ;
/* tmp14 = */ prerr_error1_loc_02942_ (tmp15) ;
/* tmp16 = */ atspre_prerr_string (ATSstrcst(": the operator for adjusting precedence can only be [+] or [-].")) ;
/* tmp17 = */ atspre_prerr_newline () ;
tmp18 = ATS_MALLOC(sizeof(anairiats_sum_3)) ;
((ats_sum_ptr_type)tmp18)->tag = 0 ;
ats_selptrset_mac(anairiats_sum_3, tmp18, atslab_0, arg0) ;
/* tmp13 = */ _2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__the_trans1errlst_add (tmp18) ;
return /* (tmp13) */ ;
} /* end of [prec_tr_errmsg_adj_4] */

/*
// /tmp/ATS-Postiats/src/pats_trans1_decl.dats: 3668(line=155, offs=3) -- 4365(line=178, offs=6)
*/
ATSstaticdec()
ats_int_type
precfnd_6 (ats_ptr_type arg0) {
/* local vardec */
ATSlocal (ats_int_type, tmp20) ;
ATSlocal (ats_ptr_type, tmp21) ;
ATSlocal (ats_ptr_type, tmp22) ;
ATSlocal (ats_ptr_type, tmp23) ;
ATSlocal (ats_ptr_type, tmp24) ;
ATSlocal (ats_int_type, tmp25) ;
// ATSlocal_void (tmp26) ;
// ATSlocal_void (tmp27) ;

__ats_lab_precfnd_6:
tmp22 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_2, arg0), atslab_i0de_sym) ;
tmp21 = _2tmp_2ATS_2dPostiats_2src_2pats_trans1_env_2esats__the_fxtyenv_find (tmp22) ;
do {
/* branch: __ats_lab_0 */
__ats_lab_0_0:
if (tmp21 == (ats_sum_ptr_type)0) { goto __ats_lab_3_0 ; }
__ats_lab_0_1:
tmp23 = ats_caselptrlab_mac(anairiats_sum_4, tmp21, atslab_0) ;
ATS_FREE(tmp21) ;
tmp24 = _2tmp_2ATS_2dPostiats_2src_2pats_fixity_2esats__fxty_get_prec (tmp23) ;
do {
/* branch: __ats_lab_1 */
__ats_lab_1_0:
if (tmp24 == (ats_sum_ptr_type)0) { goto __ats_lab_2_0 ; }
__ats_lab_1_1:
tmp25 = ats_caselptrlab_mac(anairiats_sum_5, tmp24, atslab_0) ;
ATS_FREE(tmp24) ;
tmp20 = tmp25 ;
break ;

/* branch: __ats_lab_2 */
__ats_lab_2_0:
// if (tmp24 != (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; }
__ats_lab_2_1:
/* tmp26 = */ prec_tr_errmsg_fxty_2 (arg0) ;
tmp20 = prec_make_err_1 () ;
break ;
} while (0) ;
break ;

/* branch: __ats_lab_3 */
__ats_lab_3_0:
// if (tmp21 != (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; }
__ats_lab_3_1:
/* tmp27 = */ prec_tr_errmsg_fxty_2 (arg0) ;
tmp20 = prec_make_err_1 () ;
break ;
} while (0) ;
return (tmp20) ;
} /* end of [precfnd_6] */

/*
// /tmp/ATS-Postiats/src/pats_trans1_decl.dats: 3622(line=151, offs=1) -- 5004(line=204, offs=4)
*/
ATSstaticdec()
ats_int_type
p0rec_tr_5 (ats_ptr_type arg0) {
/* local vardec */
ATSlocal (ats_int_type, tmp19) ;
ATSlocal (ats_int_type, tmp28) ;
ATSlocal (ats_ptr_type, tmp29) ;
ATSlocal (ats_ptr_type, tmp30) ;
ATSlocal (ats_ptr_type, tmp31) ;
ATSlocal (ats_int_type, tmp32) ;
ATSlocal (ats_ptr_type, tmp33) ;
ATSlocal (ats_bool_type, tmp34) ;
ATSlocal (ats_int_type, tmp35) ;
ATSlocal (ats_bool_type, tmp36) ;
ATSlocal (ats_int_type, tmp37) ;
// ATSlocal_void (tmp38) ;

__ats_lab_p0rec_tr_5:
do {
/* branch: __ats_lab_4 */
__ats_lab_4_0:
if (((ats_sum_ptr_type)arg0)->tag != 0) { goto __ats_lab_5_0 ; }
__ats_lab_4_1:
tmp28 = ats_caselptrlab_mac(anairiats_sum_6, arg0, atslab_0) ;
tmp19 = _2tmp_2ATS_2dPostiats_2src_2pats_fixity_2esats__prec_make_int (tmp28) ;
break ;

/* branch: __ats_lab_5 */
__ats_lab_5_0:
if (((ats_sum_ptr_type)arg0)->tag != 1) { goto __ats_lab_6_0 ; }
__ats_lab_5_1:
tmp29 = ats_caselptrlab_mac(anairiats_sum_3, arg0, atslab_0) ;
tmp19 = precfnd_6 (tmp29) ;
break ;

/* branch: __ats_lab_6 */
__ats_lab_6_0:
// if (((ats_sum_ptr_type)arg0)->tag != 2) { ats_deadcode_failure_handle () ; }
__ats_lab_6_1:
tmp30 = ats_caselptrlab_mac(anairiats_sum_7, arg0, atslab_0) ;
tmp31 = ats_caselptrlab_mac(anairiats_sum_7, arg0, atslab_1) ;
tmp32 = ats_caselptrlab_mac(anairiats_sum_7, arg0, atslab_2) ;
tmp33 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_2, tmp31), atslab_i0de_sym) ;
do {
/* branch: __ats_lab_7 */
__ats_lab_7_0:
__ats_lab_7_1:
tmp34 = _2tmp_2ATS_2dPostiats_2src_2pats_symbol_2esats__eq_symbol_symbol (tmp33, _2tmp_2ATS_2dPostiats_2src_2pats_symbol_2esats__symbol_ADD) ;
if (!tmp34) { goto __ats_lab_8_1 ; }
tmp35 = precfnd_6 (tmp30) ;
tmp19 = _2tmp_2ATS_2dPostiats_2src_2pats_fixity_2esats__precedence_inc (tmp35, tmp32) ;
break ;

/* branch: __ats_lab_8 */
__ats_lab_8_0:
__ats_lab_8_1:
tmp36 = _2tmp_2ATS_2dPostiats_2src_2pats_symbol_2esats__eq_symbol_symbol (tmp33, _2tmp_2ATS_2dPostiats_2src_2pats_symbol_2esats__symbol_SUB) ;
if (!tmp36) { goto __ats_lab_9_1 ; }
tmp37 = precfnd_6 (tmp30) ;
tmp19 = _2tmp_2ATS_2dPostiats_2src_2pats_fixity_2esats__precedence_dec (tmp37, tmp32) ;
break ;

/* branch: __ats_lab_9 */
__ats_lab_9_0:
__ats_lab_9_1:
/* tmp38 = */ prec_tr_errmsg_adj_4 (tmp31) ;
tmp19 = prec_make_err_1 () ;
break ;
} while (0) ;
break ;
} while (0) ;
return (tmp19) ;
} /* end of [p0rec_tr_5] */

/*
// /tmp/ATS-Postiats/src/pats_trans1_decl.dats: 5030(line=206, offs=4) -- 5305(line=215, offs=2)
*/
ATSstaticdec()
ats_ptr_type
f0xty_tr_7 (ats_ptr_type arg0) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp39) ;
ATSlocal (ats_ptr_type, tmp40) ;
ATSlocal (ats_ptr_type, tmp41) ;
ATSlocal (ats_int_type, tmp42) ;
ATSlocal (ats_ptr_type, tmp43) ;
ATSlocal (ats_int_type, tmp44) ;
ATSlocal (ats_ptr_type, tmp45) ;
ATSlocal (ats_int_type, tmp46) ;

__ats_lab_f0xty_tr_7:
do {
/* branch: __ats_lab_10 */
__ats_lab_10_0:
if (((ats_sum_ptr_type)arg0)->tag != 0) { goto __ats_lab_11_0 ; }
__ats_lab_10_1:
tmp40 = ats_caselptrlab_mac(anairiats_sum_8, arg0, atslab_0) ;
tmp41 = ats_caselptrlab_mac(anairiats_sum_8, arg0, atslab_1) ;
tmp42 = p0rec_tr_5 (tmp40) ;
tmp39 = _2tmp_2ATS_2dPostiats_2src_2pats_fixity_2esats__fxty_inf (tmp42, tmp41) ;
break ;

/* branch: __ats_lab_11 */
__ats_lab_11_0:
if (((ats_sum_ptr_type)arg0)->tag != 1) { goto __ats_lab_12_0 ; }
__ats_lab_11_1:
tmp43 = ats_caselptrlab_mac(anairiats_sum_3, arg0, atslab_0) ;
tmp44 = p0rec_tr_5 (tmp43) ;
tmp39 = _2tmp_2ATS_2dPostiats_2src_2pats_fixity_2esats__fxty_pre (tmp44) ;
break ;

/* branch: __ats_lab_12 */
__ats_lab_12_0:
// if (((ats_sum_ptr_type)arg0)->tag != 2) { ats_deadcode_failure_handle () ; }
__ats_lab_12_1:
tmp45 = ats_caselptrlab_mac(anairiats_sum_3, arg0, atslab_0) ;
tmp46 = p0rec_tr_5 (tmp45) ;
tmp39 = _2tmp_2ATS_2dPostiats_2src_2pats_fixity_2esats__fxty_pos (tmp46) ;
break ;
} while (0) ;
return (tmp39) ;
} /* end of [f0xty_tr_7] */

/*
// /tmp/ATS-Postiats/src/pats_trans1_decl.dats: 5407(line=222, offs=5) -- 6091(line=249, offs=22)
*/
ATSstaticdec()
ats_void_type
loop_9 (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp48) ;
ATSlocal (ats_ptr_type, tmp49) ;
ATSlocal (ats_ptr_type, tmp50) ;
// ATSlocal_void (tmp51) ;
ATSlocal (ats_ptr_type, tmp52) ;

__ats_lab_loop_9:
do {
/* branch: __ats_lab_13 */
__ats_lab_13_0:
if (arg1 == (ats_sum_ptr_type)0) { goto __ats_lab_14_0 ; }
__ats_lab_13_1:
tmp49 = ats_caselptrlab_mac(anairiats_sum_9, arg1, atslab_0) ;
tmp50 = ats_caselptrlab_mac(anairiats_sum_9, arg1, atslab_1) ;
tmp52 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_2, tmp49), atslab_i0de_sym) ;
/* tmp51 = */ _2tmp_2ATS_2dPostiats_2src_2pats_trans1_env_2esats__the_fxtyenv_add (tmp52, arg0) ;
arg0 = arg0 ;
arg1 = tmp50 ;
goto __ats_lab_loop_9 ; // tail call
break ;

/* branch: __ats_lab_14 */
__ats_lab_14_0:
// if (arg1 != (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; }
__ats_lab_14_1:
break ;
} while (0) ;
return /* (tmp48) */ ;
} /* end of [loop_9] */

/*
// /tmp/ATS-Postiats/src/pats_trans1_decl.dats: 5381(line=220, offs=17) -- 6144(line=253, offs=4)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__d0ecl_fixity_tr (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp47) ;
ATSlocal (ats_ptr_type, tmp53) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__d0ecl_fixity_tr:
tmp53 = f0xty_tr_7 (arg0) ;
/* tmp47 = */ loop_9 (tmp53, arg1) ;
return /* (tmp47) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__d0ecl_fixity_tr] */

/*
// /tmp/ATS-Postiats/src/pats_trans1_decl.dats: 6218(line=257, offs=7) -- 6402(line=261, offs=24)
*/
ATSstaticdec()
ats_void_type
loop_11 (ats_ptr_type arg0) {
/* local vardec */
// ATSlocal_void (tmp55) ;
ATSlocal (ats_ptr_type, tmp56) ;
ATSlocal (ats_ptr_type, tmp57) ;
// ATSlocal_void (tmp58) ;
ATSlocal (ats_ptr_type, tmp59) ;

__ats_lab_loop_11:
do {
/* branch: __ats_lab_15 */
__ats_lab_15_0:
if (arg0 == (ats_sum_ptr_type)0) { goto __ats_lab_16_0 ; }
__ats_lab_15_1:
tmp56 = ats_caselptrlab_mac(anairiats_sum_9, arg0, atslab_0) ;
tmp57 = ats_caselptrlab_mac(anairiats_sum_9, arg0, atslab_1) ;
tmp59 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_2, tmp56), atslab_i0de_sym) ;
/* tmp58 = */ _2tmp_2ATS_2dPostiats_2src_2pats_trans1_env_2esats__the_fxtyenv_add (tmp59, _2tmp_2ATS_2dPostiats_2src_2pats_fixity_2esats__fxty_non) ;
arg0 = tmp57 ;
goto __ats_lab_loop_11 ; // tail call
break ;

/* branch: __ats_lab_16 */
__ats_lab_16_0:
// if (arg0 != (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; }
__ats_lab_16_1:
break ;
} while (0) ;
return /* (tmp55) */ ;
} /* end of [loop_11] */

/*
// /tmp/ATS-Postiats/src/pats_trans1_decl.dats: 6200(line=256, offs=17) -- 6462(line=265, offs=4)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__d0ecl_nonfix_tr (ats_ptr_type arg0) {
/* local vardec */
// ATSlocal_void (tmp54) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__d0ecl_nonfix_tr:
/* tmp54 = */ loop_11 (arg0) ;
return /* (tmp54) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__d0ecl_nonfix_tr] */

/*
// /tmp/ATS-Postiats/src/pats_trans1_decl.dats: 6559(line=273, offs=3) -- 6906(line=287, offs=4)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__s0tacst_tr (ats_ptr_type arg0) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp60) ;
ATSlocal (ats_ptr_type, tmp61) ;
ATSlocal (ats_ptr_type, tmp62) ;
ATSlocal (ats_ptr_type, tmp63) ;
ATSlocal (ats_ptr_type, tmp64) ;
ATSlocal (ats_ptr_type, tmp65) ;
ATSlocal (ats_ptr_type, tmp66) ;
ATSlocal (ats_ptr_type, tmp67) ;
ATSlocal (ats_ptr_type, tmp68) ;
ATSlocal (ats_ptr_type, tmp69) ;
ATSlocal (ats_ptr_type, tmp70) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__s0tacst_tr:
tmp61 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_10, arg0), atslab_s0tacst_loc) ;
tmp62 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_10, arg0), atslab_s0tacst_sym) ;
tmp63 = _2tmp_2ATS_2dPostiats_2src_2pats_filename_2esats__filename_get_current () ;
tmp65 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_10, arg0), atslab_s0tacst_arg) ;
tmp64 = _2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__a0msrtlst_tr (tmp65) ;
tmp67 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_10, arg0), atslab_s0tacst_res) ;
tmp66 = _2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__s0rt_tr (tmp67) ;
tmp69 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_10, arg0), atslab_s0tacst_extopt) ;
tmp68 = _2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__scstextdef_tr (arg0, tmp62, tmp69) ;
tmp70 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_10, arg0), atslab_s0tacst_sym) ;
tmp60 = _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__s1tacst_make (tmp61, tmp63, tmp70, tmp64, tmp66, tmp68) ;
return (tmp60) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__s0tacst_tr] */

/*
// /tmp/ATS-Postiats/src/pats_trans1_decl.dats: 6973(line=292, offs=12) -- 7182(line=298, offs=4)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__s0tacon_tr (ats_ptr_type arg0) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp71) ;
ATSlocal (ats_ptr_type, tmp72) ;
ATSlocal (ats_ptr_type, tmp73) ;
ATSlocal (ats_ptr_type, tmp74) ;
ATSlocal (ats_ptr_type, tmp75) ;
ATSlocal (ats_ptr_type, tmp76) ;
ATSlocal (ats_ptr_type, tmp77) ;
ATSlocal (ats_ptr_type, tmp78) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__s0tacon_tr:
tmp72 = _2tmp_2ATS_2dPostiats_2src_2pats_filename_2esats__filename_get_current () ;
tmp74 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_11, arg0), atslab_s0tacon_arg) ;
tmp73 = _2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__a0msrtlst_tr (tmp74) ;
tmp76 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_11, arg0), atslab_s0tacon_def) ;
tmp75 = _2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__s0expopt_tr (tmp76) ;
tmp77 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_11, arg0), atslab_s0tacon_loc) ;
tmp78 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_11, arg0), atslab_s0tacon_sym) ;
tmp71 = _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__s1tacon_make (tmp77, tmp72, tmp78, tmp73, tmp75) ;
return (tmp71) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__s0tacon_tr] */

/*
// /tmp/ATS-Postiats/src/pats_trans1_decl.dats: 7457(line=317, offs=12) -- 7681(line=326, offs=4)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__s0rtdef_tr (ats_ptr_type arg0) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp79) ;
ATSlocal (ats_ptr_type, tmp80) ;
ATSlocal (ats_ptr_type, tmp81) ;
ATSlocal (ats_ptr_type, tmp82) ;
ATSlocal (ats_ptr_type, tmp83) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__s0rtdef_tr:
tmp81 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_12, arg0), atslab_s0rtdef_def) ;
tmp80 = _2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__s0rtext_tr (tmp81) ;
tmp82 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_12, arg0), atslab_s0rtdef_loc) ;
tmp83 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_12, arg0), atslab_s0rtdef_sym) ;
tmp79 = _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__s1rtdef_make (tmp82, tmp83, tmp80) ;
return (tmp79) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__s0rtdef_tr] */

/*
// /tmp/ATS-Postiats/src/pats_trans1_decl.dats: 7749(line=331, offs=13) -- 7928(line=338, offs=4)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__t0kindef_tr (ats_ptr_type arg0) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp84) ;
ATSlocal (ats_ptr_type, tmp85) ;
ATSlocal (ats_ptr_type, tmp86) ;
ATSlocal (ats_ptr_type, tmp87) ;
ATSlocal (ats_ptr_type, tmp88) ;
ATSlocal (ats_ptr_type, tmp89) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__t0kindef_tr:
tmp85 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_13, arg0), atslab_t0kindef_loc) ;
tmp86 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_13, arg0), atslab_t0kindef_sym) ;
tmp87 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_13, arg0), atslab_t0kindef_loc_id) ;
tmp89 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_13, arg0), atslab_t0kindef_def) ;
tmp88 = _2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__s0exp_tr (tmp89) ;
tmp84 = _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__t1kindef_make (tmp85, tmp86, tmp87, tmp88) ;
return (tmp84) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__t0kindef_tr] */

/*
// /tmp/ATS-Postiats/src/pats_trans1_decl.dats: 7997(line=343, offs=13) -- 8374(line=357, offs=4)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__s0expdef_tr (ats_ptr_type arg0) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp90) ;
ATSlocal (ats_ptr_type, tmp91) ;
ATSlocal (ats_ptr_type, tmp92) ;
ATSlocal (ats_ptr_type, tmp93) ;
ATSlocal (ats_ptr_type, tmp94) ;
ATSlocal (ats_ptr_type, tmp95) ;
ATSlocal (ats_ptr_type, tmp96) ;
ATSlocal (ats_ptr_type, tmp97) ;
ATSlocal (ats_ptr_type, tmp98) ;
ATSlocal (ats_ptr_type, tmp99) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__s0expdef_tr:
tmp91 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_14, arg0), atslab_s0expdef_loc) ;
tmp92 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_14, arg0), atslab_s0expdef_sym) ;
tmp93 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_14, arg0), atslab_s0expdef_loc_id) ;
tmp95 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_14, arg0), atslab_s0expdef_arg) ;
tmp94 = _2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__s0marglst_tr (tmp95) ;
tmp97 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_14, arg0), atslab_s0expdef_res) ;
tmp96 = _2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__s0rtopt_tr (tmp97) ;
tmp99 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_14, arg0), atslab_s0expdef_def) ;
tmp98 = _2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__s0exp_tr (tmp99) ;
tmp90 = _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__s1expdef_make (tmp91, tmp92, tmp93, tmp94, tmp96, tmp98) ;
return (tmp90) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__s0expdef_tr] */

/*
// /tmp/ATS-Postiats/src/pats_trans1_decl.dats: 8443(line=362, offs=13) -- 8663(line=370, offs=4)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__s0aspdec_tr (ats_ptr_type arg0) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp100) ;
ATSlocal (ats_ptr_type, tmp101) ;
ATSlocal (ats_ptr_type, tmp102) ;
ATSlocal (ats_ptr_type, tmp103) ;
ATSlocal (ats_ptr_type, tmp104) ;
ATSlocal (ats_ptr_type, tmp105) ;
ATSlocal (ats_ptr_type, tmp106) ;
ATSlocal (ats_ptr_type, tmp107) ;
ATSlocal (ats_ptr_type, tmp108) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__s0aspdec_tr:
tmp102 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_15, arg0), atslab_s0aspdec_arg) ;
tmp101 = _2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__s0marglst_tr (tmp102) ;
tmp104 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_15, arg0), atslab_s0aspdec_res) ;
tmp103 = _2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__s0rtopt_tr (tmp104) ;
tmp106 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_15, arg0), atslab_s0aspdec_def) ;
tmp105 = _2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__s0exp_tr (tmp106) ;
tmp107 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_15, arg0), atslab_s0aspdec_loc) ;
tmp108 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_15, arg0), atslab_s0aspdec_qid) ;
tmp100 = _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__s1aspdec_make (tmp107, tmp108, tmp101, tmp103, tmp105) ;
return (tmp100) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__s0aspdec_tr] */

/*
// /nix/store/rfja8ixrs5wb4kj3kiwlch1apnh7qgvy-ats-0.2.12/lib/ats-anairiats-0.2.12/prelude/DATS/list.dats: 52519(line=1874, offs=5) -- 52952(line=1891, offs=4)
*/
ATSstaticdec()
ats_void_type
loop_21 (ats_ptr_type arg0, ats_ptr_type arg1, ats_ref_type arg2, ats_ptr_type arg3) {
/* local vardec */
// ATSlocal_void (tmp115) ;
ATSlocal (ats_ptr_type, tmp116) ;
ATSlocal (ats_ptr_type, tmp117) ;
ATSlocal (ats_ptr_type, tmp118) ;
ATSlocal (ats_ptr_type, tmp119) ;
ATSlocal (ats_ptr_type, tmp120) ;
ATSlocal (ats_ptr_type, tmp121) ;

__ats_lab_loop_21:
do {
/* branch: __ats_lab_17 */
__ats_lab_17_0:
if (arg0 == (ats_sum_ptr_type)0) { goto __ats_lab_18_0 ; }
__ats_lab_17_1:
tmp116 = ats_caselptrlab_mac(anairiats_sum_9, arg0, atslab_0) ;
tmp117 = ats_caselptrlab_mac(anairiats_sum_9, arg0, atslab_1) ;
tmp118 = ((ats_ptr_type(*)(ats_ptr_type, ats_ptr_type))arg1) (tmp116, arg3) ;
tmp119 = ATS_MALLOC(sizeof(anairiats_sum_9)) ;
ats_selptrset_mac(anairiats_sum_9, tmp119, atslab_0, tmp118) ;
ats_ptrget_mac(ats_ptr_type, arg2) = tmp119 ;
// if (ats_ptrget_mac(ats_ptr_type, arg2) == (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; }
tmp120 = &ats_caselptrlab_mac(anairiats_sum_9, ats_ptrget_mac(ats_ptr_type, arg2), atslab_1) ;
arg0 = tmp117 ;
arg1 = arg1 ;
arg2 = tmp120 ;
arg3 = arg3 ;
goto __ats_lab_loop_21 ; // tail call
break ;

/* branch: __ats_lab_18 */
__ats_lab_18_0:
// if (arg0 != (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; }
__ats_lab_18_1:
tmp121 = (ats_sum_ptr_type)0 ;
ats_ptrget_mac(ats_ptr_type, arg2) = tmp121 ;
break ;
} while (0) ;
return /* (tmp115) */ ;
} /* end of [loop_21] */

/*
// /nix/store/rfja8ixrs5wb4kj3kiwlch1apnh7qgvy-ats-0.2.12/lib/ats-anairiats-0.2.12/prelude/DATS/list.dats: 52444(line=1870, offs=3) -- 53099(line=1899, offs=4)
*/
ATSstaticdec()
ats_ptr_type
list_map_funenv_01412_ats_ptr_type_ats_ptr_type (ats_ptr_type arg0, ats_ptr_type arg1, ats_ptr_type arg2) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp114) ;
ATSlocal (ats_ptr_type, tmp122) ;
// ATSlocal_void (tmp123) ;

__ats_lab_list_map_funenv_01412_ats_ptr_type_ats_ptr_type:
/* ats_ptr_type tmp122 ; */
/* tmp123 = */ loop_21 (arg0, arg1, (&tmp122), arg2) ;
tmp114 = tmp122 ;
return (tmp114) ;
} /* end of [list_map_funenv_01412_ats_ptr_type_ats_ptr_type] */

/*
// /nix/store/rfja8ixrs5wb4kj3kiwlch1apnh7qgvy-ats-0.2.12/lib/ats-anairiats-0.2.12/prelude/DATS/list.dats: 53173(line=1904, offs=3) -- 53424(line=1911, offs=2)
*/
ATSstaticdec()
ats_ptr_type
list_map_fun_01413_ats_ptr_type_ats_ptr_type (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp113) ;

__ats_lab_list_map_fun_01413_ats_ptr_type_ats_ptr_type:
tmp113 = list_map_funenv_01412_ats_ptr_type_ats_ptr_type (arg0, ats_castfn_mac(ats_ptr_type, arg1), atspre_null_ptr) ;
return (tmp113) ;
} /* end of [list_map_fun_01413_ats_ptr_type_ats_ptr_type] */

/*
// /tmp/ATS-Postiats/src/pats_trans1_decl.dats: 8731(line=375, offs=12) -- 8951(line=382, offs=4)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__d0atdec_tr (ats_ptr_type arg0) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp109) ;
ATSlocal (ats_ptr_type, tmp110) ;
ATSlocal (ats_ptr_type, tmp111) ;
ATSlocal (ats_ptr_type, tmp112) ;
ATSlocal (ats_ptr_type, tmp124) ;
ATSlocal (ats_ptr_type, tmp125) ;
ATSlocal (ats_ptr_type, tmp126) ;
ATSlocal (ats_ptr_type, tmp127) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__d0atdec_tr:
tmp111 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_16, arg0), atslab_d0atdec_arg) ;
tmp110 = _2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__a0msrtlst_tr (tmp111) ;
tmp124 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_16, arg0), atslab_d0atdec_con) ;
tmp112 = list_map_fun_01413_ats_ptr_type_ats_ptr_type (tmp124, &_2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__d0atcon_tr) ;
tmp125 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_16, arg0), atslab_d0atdec_loc) ;
tmp126 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_16, arg0), atslab_d0atdec_fil) ;
tmp127 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_16, arg0), atslab_d0atdec_sym) ;
tmp109 = _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__d1atdec_make (tmp125, tmp126, tmp127, tmp110, ats_castfn_mac(ats_ptr_type, tmp112)) ;
return (tmp109) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__d0atdec_tr] */

/*
// /tmp/ATS-Postiats/src/pats_trans1_decl.dats: 9018(line=387, offs=12) -- 9530(line=404, offs=4)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__e0xndec_tr (ats_ptr_type arg0) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp128) ;
ATSlocal (ats_ptr_type, tmp129) ;
ATSlocal (ats_ptr_type, tmp130) ;
ATSlocal (ats_int_type, tmp131) ;
ATSlocal (ats_ptr_type, tmp132) ;
ATSlocal (ats_ptr_type, tmp133) ;
ATSlocal (ats_ptr_type, tmp134) ;
ATSlocal (ats_ptr_type, tmp135) ;
ATSlocal (ats_ptr_type, tmp136) ;
ATSlocal (ats_int_type, tmp137) ;
ATSlocal (ats_ptr_type, tmp138) ;
ATSlocal (ats_ptr_type, tmp139) ;
ATSlocal (ats_ptr_type, tmp140) ;
ATSlocal (ats_ptr_type, tmp141) ;
ATSlocal (ats_ptr_type, tmp142) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__e0xndec_tr:
tmp129 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_17, arg0), atslab_e0xndec_qua) ;
tmp130 = _2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__q0marglst_tr (tmp129) ;
/* ats_int_type tmp131 ; */
tmp131 = -1 ;
tmp133 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_17, arg0), atslab_e0xndec_arg) ;
do {
/* branch: __ats_lab_19 */
__ats_lab_19_0:
if (tmp133 == (ats_sum_ptr_type)0) { goto __ats_lab_22_0 ; }
__ats_lab_19_1:
tmp134 = ats_caselptrlab_mac(anairiats_sum_4, tmp133, atslab_0) ;
tmp135 = _2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__s0exp_tr (tmp134) ;
tmp136 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_18, tmp135), atslab_s1exp_node) ;
do {
/* branch: __ats_lab_20 */
__ats_lab_20_0:
if (((ats_sum_ptr_type)tmp136)->tag != 13) { goto __ats_lab_21_0 ; }
__ats_lab_20_1:
tmp137 = ats_caselptrlab_mac(anairiats_sum_19, tmp136, atslab_0) ;
tmp138 = ats_caselptrlab_mac(anairiats_sum_19, tmp136, atslab_1) ;
tmp131 = tmp137 ;
tmp132 = tmp138 ;
break ;

/* branch: __ats_lab_21 */
__ats_lab_21_0:
__ats_lab_21_1:
tmp139 = (ats_sum_ptr_type)0 ;
tmp132 = ATS_MALLOC(sizeof(anairiats_sum_9)) ;
ats_selptrset_mac(anairiats_sum_9, tmp132, atslab_0, tmp135) ;
ats_selptrset_mac(anairiats_sum_9, tmp132, atslab_1, tmp139) ;
break ;
} while (0) ;
break ;

/* branch: __ats_lab_22 */
__ats_lab_22_0:
// if (tmp133 != (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; }
__ats_lab_22_1:
tmp132 = (ats_sum_ptr_type)0 ;
break ;
} while (0) ;
tmp140 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_17, arg0), atslab_e0xndec_loc) ;
tmp141 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_17, arg0), atslab_e0xndec_fil) ;
tmp142 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_17, arg0), atslab_e0xndec_sym) ;
tmp128 = _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__e1xndec_make (tmp140, tmp141, tmp142, tmp130, tmp131, tmp132) ;
return (tmp128) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__e0xndec_tr] */

/*
// /tmp/ATS-Postiats/src/pats_trans1_decl.dats: 9580(line=409, offs=1) -- 10200(line=444, offs=4)
*/
ATSstaticdec()
ats_ptr_type
token_get_dcstkind_23 (ats_ptr_type arg0) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp143) ;
ATSlocal (ats_ptr_type, tmp144) ;
ATSlocal (ats_ptr_type, tmp145) ;
ATSlocal (ats_ptr_type, tmp146) ;
// ATSlocal_void (tmp147) ;
ATSlocal (ats_ptr_type, tmp148) ;

__ats_lab_token_get_dcstkind_23:
tmp144 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_20, arg0), atslab_token_node) ;
do {
/* branch: __ats_lab_23 */
__ats_lab_23_0:
if (((ats_sum_ptr_type)tmp144)->tag != 52) { goto __ats_lab_31_0 ; }
__ats_lab_23_1:
tmp145 = ats_caselptrlab_mac(anairiats_sum_3, tmp144, atslab_0) ;
do {
/* branch: __ats_lab_24 */
__ats_lab_24_0:
if (((ats_sum_ptr_type)tmp145)->tag != 0) { goto __ats_lab_25_0 ; }
__ats_lab_24_1:
tmp143 = (ats_sum_ptr_type)(&_2tmp_2ATS_2dPostiats_2src_2pats_basics_2esats__DCKfun_0) ;
break ;

/* branch: __ats_lab_25 */
__ats_lab_25_0:
if (((ats_sum_ptr_type)tmp145)->tag != 2) { goto __ats_lab_26_0 ; }
__ats_lab_25_1:
tmp143 = (ats_sum_ptr_type)(&_2tmp_2ATS_2dPostiats_2src_2pats_basics_2esats__DCKfun_0) ;
break ;

/* branch: __ats_lab_26 */
__ats_lab_26_0:
if (((ats_sum_ptr_type)tmp145)->tag != 1) { goto __ats_lab_27_0 ; }
__ats_lab_26_1:
tmp143 = (ats_sum_ptr_type)(&_2tmp_2ATS_2dPostiats_2src_2pats_basics_2esats__DCKfun_0) ;
break ;

/* branch: __ats_lab_27 */
__ats_lab_27_0:
if (((ats_sum_ptr_type)tmp145)->tag != 3) { goto __ats_lab_28_0 ; }
__ats_lab_27_1:
tmp143 = (ats_sum_ptr_type)(&_2tmp_2ATS_2dPostiats_2src_2pats_basics_2esats__DCKprfun_3) ;
break ;

/* branch: __ats_lab_28 */
__ats_lab_28_0:
if (((ats_sum_ptr_type)tmp145)->tag != 4) { goto __ats_lab_29_0 ; }
__ats_lab_28_1:
tmp143 = (ats_sum_ptr_type)(&_2tmp_2ATS_2dPostiats_2src_2pats_basics_2esats__DCKprfun_3) ;
break ;

/* branch: __ats_lab_29 */
__ats_lab_29_0:
if (((ats_sum_ptr_type)tmp145)->tag != 5) { goto __ats_lab_30_0 ; }
__ats_lab_29_1:
tmp143 = (ats_sum_ptr_type)(&_2tmp_2ATS_2dPostiats_2src_2pats_basics_2esats__DCKpraxi_2) ;
break ;

/* branch: __ats_lab_30 */
__ats_lab_30_0:
// if (((ats_sum_ptr_type)tmp145)->tag != 6) { ats_deadcode_failure_handle () ; }
__ats_lab_30_1:
tmp143 = (ats_sum_ptr_type)(&_2tmp_2ATS_2dPostiats_2src_2pats_basics_2esats__DCKcastfn_5) ;
break ;
} while (0) ;
break ;

/* branch: __ats_lab_31 */
__ats_lab_31_0:
if (((ats_sum_ptr_type)tmp144)->tag != 80) { goto __ats_lab_36_0 ; }
__ats_lab_31_1:
tmp146 = ats_caselptrlab_mac(anairiats_sum_3, tmp144, atslab_0) ;
do {
/* branch: __ats_lab_32 */
__ats_lab_32_0:
if (((ats_sum_ptr_type)tmp146)->tag != 0) { goto __ats_lab_33_0 ; }
__ats_lab_32_1:
tmp143 = (ats_sum_ptr_type)(&_2tmp_2ATS_2dPostiats_2src_2pats_basics_2esats__DCKval_1) ;
break ;

/* branch: __ats_lab_33 */
__ats_lab_33_0:
if (((ats_sum_ptr_type)tmp146)->tag != 3) { goto __ats_lab_34_0 ; }
__ats_lab_33_1:
tmp143 = (ats_sum_ptr_type)(&_2tmp_2ATS_2dPostiats_2src_2pats_basics_2esats__DCKprval_4) ;
break ;

/* branch: __ats_lab_34 */
__ats_lab_34_0:
if (((ats_sum_ptr_type)tmp146)->tag != 1) { goto __ats_lab_35_0 ; }
__ats_lab_34_1:
tmp143 = (ats_sum_ptr_type)(&_2tmp_2ATS_2dPostiats_2src_2pats_basics_2esats__DCKval_1) ;
break ;

/* branch: __ats_lab_35 */
__ats_lab_35_0:
// if (((ats_sum_ptr_type)tmp146)->tag != 2) { ats_deadcode_failure_handle () ; }
__ats_lab_35_1:
tmp143 = (ats_sum_ptr_type)(&_2tmp_2ATS_2dPostiats_2src_2pats_basics_2esats__DCKval_1) ;
break ;
} while (0) ;
break ;

/* branch: __ats_lab_36 */
__ats_lab_36_0:
__ats_lab_36_1:
tmp148 = atspre_string_append ("/tmp/ATS-Postiats/src/pats_trans1_decl.dats: 10143(line=441, offs=14) -- 10159(line=441, offs=30)", ATSstrcst("\n")) ;
/* tmp147 = */ atspre_assert_errmsg (ats_false_bool, tmp148) ;
tmp143 = (ats_sum_ptr_type)(&_2tmp_2ATS_2dPostiats_2src_2pats_basics_2esats__DCKfun_0) ;
break ;
} while (0) ;
return (tmp143) ;
} /* end of [token_get_dcstkind_23] */

/*
// /tmp/ATS-Postiats/src/pats_trans1_decl.dats: 10257(line=448, offs=4) -- 10471(line=456, offs=4)
*/
ATSstaticdec()
ats_ptr_type
m0acdef_tr_24 (ats_ptr_type arg0) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp149) ;
ATSlocal (ats_ptr_type, tmp150) ;
ATSlocal (ats_ptr_type, tmp151) ;
ATSlocal (ats_ptr_type, tmp152) ;
ATSlocal (ats_ptr_type, tmp153) ;
ATSlocal (ats_ptr_type, tmp154) ;
ATSlocal (ats_ptr_type, tmp155) ;

__ats_lab_m0acdef_tr_24:
tmp150 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_21, arg0), atslab_m0acdef_loc) ;
tmp151 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_21, arg0), atslab_m0acdef_sym) ;
tmp153 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_21, arg0), atslab_m0acdef_arg) ;
tmp152 = _2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__m0acarglst_tr (tmp153) ;
tmp155 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_21, arg0), atslab_m0acdef_def) ;
tmp154 = _2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__d0exp_tr (tmp155) ;
tmp149 = _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__m1acdef_make (tmp150, tmp151, tmp152, tmp154) ;
return (tmp149) ;
} /* end of [m0acdef_tr_24] */

/*
// /tmp/ATS-Postiats/src/pats_trans1_decl.dats: 10520(line=460, offs=4) -- 10828(line=472, offs=4)
*/
ATSstaticdec()
ats_ptr_type
v0aldec_tr_25 (ats_ptr_type arg0) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp156) ;
ATSlocal (ats_ptr_type, tmp157) ;
ATSlocal (ats_ptr_type, tmp158) ;
ATSlocal (ats_ptr_type, tmp159) ;
ATSlocal (ats_ptr_type, tmp160) ;
ATSlocal (ats_ptr_type, tmp161) ;
ATSlocal (ats_ptr_type, tmp162) ;
ATSlocal (ats_ptr_type, tmp163) ;

__ats_lab_v0aldec_tr_25:
tmp158 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_22, arg0), atslab_v0aldec_pat) ;
tmp157 = _2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__p0at_tr (tmp158) ;
tmp160 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_22, arg0), atslab_v0aldec_def) ;
tmp159 = _2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__d0exp_tr (tmp160) ;
tmp162 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_22, arg0), atslab_v0aldec_ann) ;
tmp161 = _2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__witht0ype_tr (tmp162) ;
tmp163 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_22, arg0), atslab_v0aldec_loc) ;
tmp156 = _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__v1aldec_make (tmp163, tmp157, tmp159, tmp161) ;
return (tmp156) ;
} /* end of [v0aldec_tr_25] */

/*
// /tmp/ATS-Postiats/src/pats_trans1_decl.dats: 10877(line=476, offs=4) -- 11877(line=523, offs=4)
*/
ATSstaticdec()
ats_ptr_type
f0undec_tr_26 (ats_bool_type arg0, ats_bool_type arg1, ats_ptr_type arg2) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp164) ;
ATSlocal (ats_ptr_type, tmp165) ;
ATSlocal (ats_ptr_type, tmp166) ;
ATSlocal (anairiats_rec_24, tmp167) ;
ATSlocal (ats_ptr_type, tmp168) ;
ATSlocal (anairiats_rec_1, tmp169) ;
ATSlocal (ats_ptr_type, tmp170) ;
ATSlocal (ats_int_type, tmp171) ;
ATSlocal (ats_int_type, tmp172) ;
ATSlocal (ats_ptr_type, tmp173) ;
ATSlocal (ats_ptr_type, tmp174) ;
ATSlocal (ats_ptr_type, tmp175) ;
ATSlocal (ats_ptr_type, tmp176) ;
ATSlocal (ats_ptr_type, tmp177) ;
ATSlocal (ats_ptr_type, tmp178) ;
ATSlocal (ats_ptr_type, tmp179) ;
ATSlocal (ats_ptr_type, tmp180) ;
ATSlocal (ats_ptr_type, tmp181) ;
ATSlocal (ats_ptr_type, tmp182) ;
ATSlocal (ats_ptr_type, tmp183) ;
ATSlocal (ats_ptr_type, tmp184) ;
// ATSlocal_void (tmp185) ;
ATSlocal (ats_bool_type, tmp186) ;
ATSlocal (ats_ptr_type, tmp187) ;
ATSlocal (ats_ptr_type, tmp188) ;
ATSlocal (ats_ptr_type, tmp189) ;
ATSlocal (ats_ptr_type, tmp190) ;

__ats_lab_f0undec_tr_26:
tmp165 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_23, arg2), atslab_f0undec_loc) ;
tmp166 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_23, arg2), atslab_f0undec_eff) ;
do {
/* branch: __ats_lab_37 */
__ats_lab_37_0:
if (tmp166 == (ats_sum_ptr_type)0) { goto __ats_lab_38_0 ; }
__ats_lab_37_1:
tmp168 = ats_caselptrlab_mac(anairiats_sum_4, tmp166, atslab_0) ;
tmp169 = _2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__e0fftaglst_tr (tmp168) ;
tmp170 = ats_select_mac(tmp169, atslab_0) ;
tmp171 = ats_select_mac(tmp169, atslab_1) ;
tmp172 = ats_select_mac(tmp169, atslab_2) ;
tmp173 = ats_select_mac(tmp169, atslab_3) ;
tmp174 = ATS_MALLOC(sizeof(anairiats_sum_4)) ;
ats_selptrset_mac(anairiats_sum_4, tmp174, atslab_0, tmp173) ;
tmp167.atslab_0 = tmp170 ;
tmp167.atslab_1 = tmp174 ;

break ;

/* branch: __ats_lab_38 */
__ats_lab_38_0:
// if (tmp166 != (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; }
__ats_lab_38_1:
if (arg0) {
tmp175 = (ats_sum_ptr_type)(&_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__EFFCSTnil_1) ;
} else {
tmp175 = (ats_sum_ptr_type)(&_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__EFFCSTall_0) ;
} /* end of [if] */
tmp176 = (ats_sum_ptr_type)0 ;
tmp177 = ATS_MALLOC(sizeof(anairiats_sum_4)) ;
ats_selptrset_mac(anairiats_sum_4, tmp177, atslab_0, tmp175) ;
tmp167.atslab_0 = tmp176 ;
tmp167.atslab_1 = tmp177 ;

break ;
} while (0) ;
tmp178 = ats_select_mac(tmp167, atslab_0) ;
tmp179 = ats_select_mac(tmp167, atslab_1) ;
tmp181 = (ats_sum_ptr_type)0 ;
tmp182 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_23, arg2), atslab_f0undec_arg) ;
tmp183 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_23, arg2), atslab_f0undec_res) ;
tmp184 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_23, arg2), atslab_f0undec_def) ;
tmp180 = _2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__d0exp_tr_lams_dyn (-1, tmp181, tmp178, 0, tmp182, tmp183, tmp179, tmp184) ;
if (arg1) {
tmp186 = _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__d1exp_is_metric (tmp180) ;
/* tmp185 = */ _2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__termet_check (tmp165, tmp186, tmp179) ;
} else {
/* empty */
} /* end of [if] */
tmp188 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_23, arg2), atslab_f0undec_ann) ;
tmp187 = _2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__witht0ype_tr (tmp188) ;
tmp189 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_23, arg2), atslab_f0undec_sym) ;
tmp190 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_23, arg2), atslab_f0undec_sym_loc) ;
tmp164 = _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__f1undec_make (tmp165, tmp189, tmp190, tmp180, tmp187) ;
return (tmp164) ;
} /* end of [f0undec_tr_26] */

/*
// /tmp/ATS-Postiats/src/pats_trans1_decl.dats: 11927(line=528, offs=1) -- 12212(line=542, offs=4)
*/
ATSstaticdec()
ats_ptr_type
f0undeclst_tr_27 (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp191) ;
ATSlocal (ats_bool_type, tmp192) ;
ATSlocal (ats_bool_type, tmp193) ;
ATSlocal (ats_ptr_type, tmp194) ;
ATSlocal (ats_ptr_type, tmp195) ;
ATSlocal (ats_ptr_type, tmp196) ;
ATSlocal (ats_ptr_type, tmp197) ;

__ats_lab_f0undeclst_tr_27:
tmp192 = _2tmp_2ATS_2dPostiats_2src_2pats_basics_2esats__funkind_is_proof (arg0) ;
tmp193 = _2tmp_2ATS_2dPostiats_2src_2pats_basics_2esats__funkind_is_recursive (arg0) ;
do {
/* branch: __ats_lab_39 */
__ats_lab_39_0:
if (arg1 != (ats_sum_ptr_type)0) { goto __ats_lab_40_0 ; }
__ats_lab_39_1:
tmp191 = (ats_sum_ptr_type)0 ;
break ;

/* branch: __ats_lab_40 */
__ats_lab_40_0:
// if (arg1 == (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; }
__ats_lab_40_1:
tmp194 = ats_caselptrlab_mac(anairiats_sum_9, arg1, atslab_0) ;
tmp195 = ats_caselptrlab_mac(anairiats_sum_9, arg1, atslab_1) ;
tmp196 = f0undec_tr_26 (tmp192, tmp193, tmp194) ;
tmp197 = f0undeclst_tr_27 (arg0, tmp195) ;
tmp191 = ATS_MALLOC(sizeof(anairiats_sum_9)) ;
ats_selptrset_mac(anairiats_sum_9, tmp191, atslab_0, tmp196) ;
ats_selptrset_mac(anairiats_sum_9, tmp191, atslab_1, tmp197) ;
break ;
} while (0) ;
return (tmp191) ;
} /* end of [f0undeclst_tr_27] */

/*
// /tmp/ATS-Postiats/src/pats_trans1_decl.dats: 12264(line=547, offs=1) -- 12609(line=563, offs=4)
*/
ATSstaticdec()
ats_ptr_type
v0ardec_tr_28 (ats_ptr_type arg0) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp198) ;
ATSlocal (ats_ptr_type, tmp199) ;
ATSlocal (ats_int_type, tmp200) ;
ATSlocal (ats_ptr_type, tmp201) ;
ATSlocal (ats_ptr_type, tmp202) ;
ATSlocal (ats_ptr_type, tmp203) ;
ATSlocal (ats_ptr_type, tmp204) ;
ATSlocal (ats_ptr_type, tmp205) ;
ATSlocal (ats_ptr_type, tmp206) ;
ATSlocal (ats_ptr_type, tmp207) ;

__ats_lab_v0ardec_tr_28:
tmp199 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_25, arg0), atslab_v0ardec_loc) ;
tmp200 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_25, arg0), atslab_v0ardec_knd) ;
tmp201 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_25, arg0), atslab_v0ardec_pfat) ;
tmp203 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_25, arg0), atslab_v0ardec_type) ;
tmp202 = _2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__s0expopt_tr (tmp203) ;
tmp205 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_25, arg0), atslab_v0ardec_init) ;
tmp204 = _2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__d0expopt_tr (tmp205) ;
tmp206 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_25, arg0), atslab_v0ardec_sym) ;
tmp207 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_25, arg0), atslab_v0ardec_sym_loc) ;
tmp198 = _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__v1ardec_make (tmp199, tmp200, tmp206, tmp207, tmp201, tmp202, tmp204) ;
return (tmp198) ;
} /* end of [v0ardec_tr_28] */

/*
// /tmp/ATS-Postiats/src/pats_trans1_decl.dats: 12658(line=568, offs=1) -- 13100(line=585, offs=4)
*/
ATSstaticdec()
ats_ptr_type
i0mpdec_tr_29 (ats_ptr_type arg0) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp208) ;
ATSlocal (ats_ptr_type, tmp209) ;
ATSlocal (ats_ptr_type, tmp210) ;
ATSlocal (ats_ptr_type, tmp211) ;
ATSlocal (ats_ptr_type, tmp212) ;
ATSlocal (ats_ptr_type, tmp213) ;
ATSlocal (ats_ptr_type, tmp214) ;
ATSlocal (ats_ptr_type, tmp215) ;
ATSlocal (ats_ptr_type, tmp216) ;
ATSlocal (ats_ptr_type, tmp217) ;
ATSlocal (ats_ptr_type, tmp218) ;
ATSlocal (ats_ptr_type, tmp219) ;
ATSlocal (ats_ptr_type, tmp220) ;

__ats_lab_i0mpdec_tr_29:
tmp209 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_26, arg0), atslab_i0mpdec_loc) ;
tmp210 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_26, arg0), atslab_i0mpdec_qid) ;
tmp212 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_27, tmp210), atslab_impqi0de_arg) ;
tmp211 = list_map_fun_01413_ats_ptr_type_ats_ptr_type (tmp212, &_2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__t0mpmarg_tr) ;
tmp214 = (ats_sum_ptr_type)0 ;
tmp215 = (ats_sum_ptr_type)0 ;
tmp216 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_26, arg0), atslab_i0mpdec_arg) ;
tmp217 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_26, arg0), atslab_i0mpdec_res) ;
tmp218 = (ats_sum_ptr_type)0 ;
tmp219 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_26, arg0), atslab_i0mpdec_def) ;
tmp213 = _2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__d0exp_tr_lams_dyn (-1, tmp214, tmp215, 0, tmp216, tmp217, tmp218, tmp219) ;
tmp220 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_26, arg0), atslab_i0mpdec_loc) ;
tmp208 = _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__i1mpdec_make (tmp220, tmp210, ats_castfn_mac(ats_ptr_type, tmp211), tmp213) ;
return (tmp208) ;
} /* end of [i0mpdec_tr_29] */

/*
// /tmp/ATS-Postiats/src/pats_trans1_decl.dats: 13152(line=590, offs=1) -- 13248(line=592, offs=51)
*/
ATSstaticdec()
ats_void_type
the_ATSRELOC_set_decl_30 (ats_ptr_type arg0) {
/* local vardec */
// ATSlocal_void (tmp221) ;

__ats_lab_the_ATSRELOC_set_decl_30:
/* tmp221 = */ _2tmp_2ATS_2dPostiats_2src_2pats_global_2esats__the_ATSRELOC_set_decl (ats_castfn_mac(ats_ptr_type, arg0)) ;
return /* (tmp221) */ ;
} /* end of [the_ATSRELOC_set_decl_30] */

/*
// /tmp/ATS-Postiats/src/pats_trans1_decl.dats: 13256(line=595, offs=1) -- 13417(line=602, offs=2)
*/
ATSstaticdec()
ats_void_type
the_ATSRELOC_set_decl_if_31 (ats_ptr_type arg0) {
/* local vardec */
// ATSlocal_void (tmp222) ;
ATSlocal (ats_int_type, tmp223) ;
ATSlocal (ats_bool_type, tmp224) ;

__ats_lab_the_ATSRELOC_set_decl_if_31:
tmp223 = _2tmp_2ATS_2dPostiats_2src_2pats_global_2esats__the_ATSRELOC_get () ;
tmp224 = atspre_gt_int_int (tmp223, 0) ;
if (tmp224) {
/* tmp222 = */ the_ATSRELOC_set_decl_30 (arg0) ;
} else {
/* empty */
} /* end of [if] */
return /* (tmp222) */ ;
} /* end of [the_ATSRELOC_set_decl_if_31] */

/*
// /tmp/ATS-Postiats/src/pats_trans1_decl.dats: 13596(line=616, offs=1) -- 15304(line=699, offs=2)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_trans1_decl_2edats__i0nclude_tr (ats_ptr_type arg0, ats_int_type arg1, ats_ptr_type arg2) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp225) ;
ATSlocal (ats_ptr_type, tmp226) ;
// ATSlocal_void (tmp227) ;
ATSlocal (ats_ptr_type, tmp228) ;
ATSlocal (ats_ptr_type, tmp229) ;
ATSlocal (ats_ptr_type, tmp230) ;
ATSlocal (ats_ptr_type, tmp231) ;
ATSlocal (ats_int_type, tmp232) ;
// ATSlocal_void (tmp233) ;
ATSlocal (ats_bool_type, tmp234) ;
// ATSlocal_void (tmp235) ;
// ATSlocal_void (tmp236) ;
// ATSlocal_void (tmp237) ;
// ATSlocal_void (tmp238) ;
// ATSlocal_void (tmp239) ;
ATSlocal (ats_ptr_type, tmp240) ;
ATSlocal (ats_ptr_type, tmp241) ;
ATSlocal (ats_bool_type, tmp242) ;
ATSlocal (ats_bool_type, tmp243) ;
// ATSlocal_void (tmp244) ;
// ATSlocal_void (tmp245) ;
// ATSlocal_void (tmp246) ;
// ATSlocal_void (tmp247) ;
// ATSlocal_void (tmp248) ;
// ATSlocal_void (tmp249) ;
// ATSlocal_void (tmp250) ;
// ATSlocal_void (tmp251) ;
ATSlocal (ats_ptr_type, tmp252) ;
// ATSlocal_void (tmp253) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_trans1_decl_2edats__i0nclude_tr:
tmp226 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_28, arg0), atslab_d0ecl_loc) ;
/* tmp227 = */ the_ATSRELOC_set_decl_if_31 (arg0) ;
/* ats_ptr_type tmp228 ; */
tmp229 = _2tmp_2ATS_2dPostiats_2src_2pats_filename_2esats__filenameopt_make_relative (arg2, (&tmp228)) ;
do {
/* branch: __ats_lab_41 */
__ats_lab_41_0:
if (tmp229 == (ats_sum_ptr_type)0) { goto __ats_lab_42_0 ; }
__ats_lab_41_1:
tmp231 = ats_caselptrlab_mac(anairiats_sum_4, tmp229, atslab_0) ;
ATS_FREE(tmp229) ;
tmp230 = tmp231 ;
break ;

/* branch: __ats_lab_42 */
__ats_lab_42_0:
// if (tmp229 != (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; }
__ats_lab_42_1:
tmp232 = _2tmp_2ATS_2dPostiats_2src_2pats_global_2esats__the_ATSRELOC_get () ;
tmp234 = atspre_eq_int_int (tmp232, 0) ;
if (tmp234) {
/* tmp235 = */ prerr_error1_loc_02942_ (tmp226) ;
/* tmp236 = */ atspre_prerr_string (ATSstrcst(": the file [")) ;
/* tmp237 = */ atspre_prerr_string (tmp228) ;
/* tmp238 = */ atspre_prerr_string (ATSstrcst("] is not available for inclusion.")) ;
/* tmp239 = */ atspre_prerr_newline () ;
tmp240 = ATS_MALLOC(sizeof(anairiats_sum_3)) ;
((ats_sum_ptr_type)tmp240)->tag = 8 ;
ats_selptrset_mac(anairiats_sum_3, tmp240, atslab_0, arg0) ;
/* tmp233 = */ _2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__the_trans1errlst_add (tmp240) ;
} else {
/* empty */
} /* end of [if] */
tmp230 = _2tmp_2ATS_2dPostiats_2src_2pats_filename_2esats__filename_dummy ;
break ;
} while (0) ;
tmp241 = _2tmp_2ATS_2dPostiats_2src_2pats_parsing_2esats__parse_from_filename_toplevel2 (arg1, tmp230) ;
tmp242 = _2tmp_2ATS_2dPostiats_2src_2pats_filename_2esats__the_filenamelst_push_check (tmp230) ;
tmp243 = ats_selsin_mac(tmp242, atslab_1) ;
if (tmp243) {
/* tmp245 = */ _2tmp_2ATS_2dPostiats_2src_2pats_location_2esats__prerr_location (tmp226) ;
/* tmp246 = */ atspre_prerr_string (ATSstrcst(": error(0)")) ;
/* tmp247 = */ atspre_prerr_string (ATSstrcst(": including the file [")) ;
/* tmp248 = */ _2tmp_2ATS_2dPostiats_2src_2pats_filename_2esats__prerr_filename_full (tmp230) ;
/* tmp249 = */ atspre_prerr_string (ATSstrcst("] generates the following looping trace:\n")) ;
/* tmp250 = */ _2tmp_2ATS_2dPostiats_2src_2pats_filename_2esats__fprint_the_filenamelst (stderr) ;
tmp252 = ATS_MALLOC(sizeof(anairiats_sum_3)) ;
((ats_sum_ptr_type)tmp252)->tag = 8 ;
ats_selptrset_mac(anairiats_sum_3, tmp252, atslab_0, arg0) ;
/* tmp251 = */ _2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__the_trans1errlst_add (tmp252) ;
/* tmp244 = */ _2tmp_2ATS_2dPostiats_2src_2pats_error_2esats__abort () ;
} else {
/* empty */
} /* end of [if] */
/* tmp253 = */ _2tmp_2ATS_2dPostiats_2src_2pats_filename_2esats__the_filenamelst_pop () ;
tmp225 = _2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__d0eclist_tr (tmp241) ;
return (tmp225) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_trans1_decl_2edats__i0nclude_tr] */

/*
// /tmp/ATS-Postiats/src/pats_trans1_decl.dats: 15355(line=704, offs=1) -- 15526(line=712, offs=4)
*/
ATSstaticdec()
ats_ptr_type
ats_filename_get_33 () {
/* local vardec */
ATSlocal (ats_ptr_type, tmp254) ;
ATSlocal (ats_ptr_type, tmp255) ;
ATSlocal (ats_ptr_type, tmp256) ;

__ats_lab_ats_filename_get_33:
tmp255 = _2tmp_2ATS_2dPostiats_2src_2pats_filename_2esats__filename_get_current () ;
tmp256 = _2tmp_2ATS_2dPostiats_2src_2pats_filename_2esats__filename_get_fullname (tmp255) ;
tmp254 = _2tmp_2ATS_2dPostiats_2src_2pats_symbol_2esats__symbol_get_name (tmp256) ;
return (tmp254) ;
} /* end of [ats_filename_get_33] */

/*
// /tmp/ATS-Postiats/src/pats_errmsg.dats: 2747(line=110, offs=20) -- 2808(line=113, offs=2)
*/
ATSstaticdec()
ats_void_type
prerr_warning1_loc_02948_ (ats_ptr_type arg0) {
/* local vardec */
// ATSlocal_void (tmp263) ;
// ATSlocal_void (tmp264) ;

__ats_lab_prerr_warning1_loc_02948_:
/* tmp264 = */ _2tmp_2ATS_2dPostiats_2src_2pats_location_2esats__prerr_location (arg0) ;
/* tmp263 = */ atspre_prerr_string (ATSstrcst(": warning(1)")) ;
return /* (tmp263) */ ;
} /* end of [prerr_warning1_loc_02948_] */

/*
// /tmp/ATS-Postiats/src/pats_trans1_decl.dats: 15582(line=717, offs=1) -- 16054(line=737, offs=4)
*/
ATSstaticdec()
ats_ptr_type
ats_packname_get_34 () {
/* local vardec */
ATSlocal (ats_ptr_type, tmp257) ;
ATSlocal (ats_ptr_type, tmp258) ;
ATSlocal (ats_ptr_type, tmp259) ;
ATSlocal (ats_ptr_type, tmp260) ;
ATSlocal (ats_ptr_type, tmp261) ;
// ATSlocal_void (tmp262) ;
ATSlocal (ats_ptr_type, tmp265) ;
// ATSlocal_void (tmp266) ;
// ATSlocal_void (tmp267) ;

__ats_lab_ats_packname_get_34:
tmp258 = _2tmp_2ATS_2dPostiats_2src_2pats_trans1_env_2esats__the_e1xpenv_find (_2tmp_2ATS_2dPostiats_2src_2pats_symbol_2esats__symbol_ATS_PACKNAME) ;
do {
/* branch: __ats_lab_43 */
__ats_lab_43_0:
if (tmp258 == (ats_sum_ptr_type)0) { goto __ats_lab_46_0 ; }
__ats_lab_43_1:
tmp259 = ats_caselptrlab_mac(anairiats_sum_4, tmp258, atslab_0) ;
ATS_FREE(tmp258) ;
tmp260 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_29, tmp259), atslab_e1xp_node) ;
do {
/* branch: __ats_lab_44 */
__ats_lab_44_0:
if (((ats_sum_ptr_type)tmp260)->tag != 5) { goto __ats_lab_45_0 ; }
__ats_lab_44_1:
tmp261 = ats_caselptrlab_mac(anairiats_sum_3, tmp260, atslab_0) ;
tmp257 = ats_castfn_mac(ats_ptr_type, tmp261) ;
break ;

/* branch: __ats_lab_45 */
__ats_lab_45_0:
__ats_lab_45_1:
tmp265 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_29, tmp259), atslab_e1xp_loc) ;
/* tmp262 = */ prerr_warning1_loc_02948_ (tmp265) ;
/* tmp266 = */ atspre_prerr_string (ATSstrcst(": a string definition is required for [ATS_PACKNAME].")) ;
/* tmp267 = */ atspre_prerr_newline () ;
tmp257 = atspre_stropt_none ;
break ;
} while (0) ;
break ;

/* branch: __ats_lab_46 */
__ats_lab_46_0:
// if (tmp258 != (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; }
__ats_lab_46_1:
tmp257 = atspre_stropt_none ;
break ;
} while (0) ;
return (tmp257) ;
} /* end of [ats_packname_get_34] */

/*
// /tmp/ATS-Postiats/src/pats_trans1_decl.dats: 16110(line=742, offs=1) -- 16921(line=777, offs=4)
*/
ATSstaticdec()
ats_ptr_type
ats_packname_get2_36 (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp268) ;
ATSlocal (ats_ptr_type, tmp269) ;
ATSlocal (ats_bool_type, tmp270) ;
ATSlocal (ats_bool_type, tmp271) ;
ATSlocal (ats_ptr_type, tmp272) ;
ATSlocal (ats_ptr_type, tmp273) ;
ATSlocal (ats_ptr_type, tmp274) ;
ATSlocal (ats_ptr_type, tmp275) ;
ATSlocal (ats_ptr_type, tmp276) ;

__ats_lab_ats_packname_get2_36:
tmp269 = ats_packname_get_34 () ;
tmp270 = atspre_stropt_is_some (tmp269) ;
if (tmp270) {
tmp268 = tmp269 ;
} else {
tmp271 = atspre_stropt_is_some (arg0) ;
if (tmp271) {
tmp272 = _2tmp_2ATS_2dPostiats_2src_2pats_symbol_2esats__symbol_get_name (arg1) ;
tmp273 = atspre_tostringf (ATSstrcst("%s%s"), ats_castfn_mac(ats_ptr_type, arg0), tmp272) ;
tmp268 = ats_castfn_mac(ats_ptr_type, ats_castfn_mac(ats_ptr_type, tmp273)) ;
} else {
tmp274 = ats_filename_get_33 () ;
tmp275 = _2tmp_2ATS_2dPostiats_2src_2pats_symbol_2esats__symbol_get_name (arg1) ;
tmp276 = atspre_tostringf (ATSstrcst("%s%s"), tmp274, tmp275) ;
tmp268 = ats_castfn_mac(ats_ptr_type, ats_castfn_mac(ats_ptr_type, tmp276)) ;
} /* end of [if] */
} /* end of [if] */
return (tmp268) ;
} /* end of [ats_packname_get2_36] */

/*
// /tmp/ATS-Postiats/src/pats_trans1_decl.dats: 17610(line=815, offs=5) -- 18725(line=874, offs=4)
*/
ATSstaticdec()
ats_ptr_type
auxload_37 (ats_ptr_type arg0, ats_ref_type arg1) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp277) ;
ATSlocal (ats_ptr_type, tmp278) ;
ATSlocal (ats_bool_type, tmp279) ;
ATSlocal (ats_int_type, tmp280) ;
ATSlocal (ats_ptr_type, tmp281) ;
// ATSlocal_void (tmp282) ;
// ATSlocal_void (tmp283) ;
// ATSlocal_void (tmp284) ;
// ATSlocal_void (tmp285) ;
ATSlocal (ats_ptr_type, tmp286) ;
// ATSlocal_void (tmp287) ;
ATSlocal (ats_ptr_type, tmp288) ;
ATSlocal (ats_ptr_type, tmp289) ;
ATSlocal (ats_ptr_type, tmp290) ;
// ATSlocal_void (tmp291) ;
// ATSlocal_void (tmp292) ;

__ats_lab_auxload_37:
tmp278 = _2tmp_2ATS_2dPostiats_2src_2pats_filename_2esats__filename_get_partname (arg0) ;
tmp279 = patsopt_string_suffix_is_dats (tmp278) ;
if (tmp279) {
tmp280 = 1 ;
} else {
tmp280 = 0 ;
} /* end of [if] */
tmp281 = _2tmp_2ATS_2dPostiats_2src_2pats_parsing_2esats__parse_from_filename_toplevel2 (tmp280, arg0) ;
/* tmp282 = */ _2tmp_2ATS_2dPostiats_2src_2pats_trans1_env_2esats__the_trans1_env_save () ;
/* tmp283 = ats_selsin_mac(tmp282, atslab_1) */ ;
/* tmp284 = */ _2tmp_2ATS_2dPostiats_2src_2pats_filename_2esats__the_filenamelst_push (arg0) ;
/* tmp285 = ats_selsin_mac(tmp284, atslab_1) */ ;
tmp286 = _2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__d0eclist_tr (tmp281) ;
/* tmp287 = */ _2tmp_2ATS_2dPostiats_2src_2pats_filename_2esats__the_filenamelst_pop () ;
tmp288 = ats_packname_get_34 () ;
tmp289 = _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__d1ecl_packname (tmp288) ;
tmp290 = ATS_MALLOC(sizeof(anairiats_sum_9)) ;
ats_selptrset_mac(anairiats_sum_9, tmp290, atslab_0, tmp289) ;
ats_selptrset_mac(anairiats_sum_9, tmp290, atslab_1, tmp286) ;
/* tmp291 = */ _2tmp_2ATS_2dPostiats_2src_2pats_trans1_env_2esats__the_trans1_env_restore () ;
/* tmp292 = */ _2tmp_2ATS_2dPostiats_2src_2pats_trans1_env_2esats__staload_file_insert (arg0, ats_ptrget_mac(ats_int_type, arg1), tmp290) ;
tmp277 = tmp290 ;
return (tmp277) ;
} /* end of [auxload_37] */

/*
// /tmp/ATS-Postiats/src/pats_trans1_decl.dats: 18793(line=880, offs=1) -- 20712(line=978, offs=4)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_trans1_decl_2edats__s0taload_tr (ats_ptr_type arg0, ats_ptr_type arg1, ats_ptr_type arg2, ats_ref_type arg3, ats_ref_type arg4) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp293) ;
ATSlocal (ats_ptr_type, tmp294) ;
// ATSlocal_void (tmp295) ;
ATSlocal (ats_ptr_type, tmp296) ;
ATSlocal (ats_ptr_type, tmp297) ;
ATSlocal (ats_ptr_type, tmp298) ;
ATSlocal (ats_ptr_type, tmp299) ;
ATSlocal (ats_int_type, tmp300) ;
// ATSlocal_void (tmp301) ;
ATSlocal (ats_bool_type, tmp302) ;
// ATSlocal_void (tmp303) ;
// ATSlocal_void (tmp304) ;
// ATSlocal_void (tmp305) ;
// ATSlocal_void (tmp306) ;
// ATSlocal_void (tmp307) ;
ATSlocal (ats_ptr_type, tmp308) ;
ATSlocal (ats_bool_type, tmp309) ;
ATSlocal (ats_bool_type, tmp310) ;
// ATSlocal_void (tmp311) ;
// ATSlocal_void (tmp312) ;
// ATSlocal_void (tmp313) ;
// ATSlocal_void (tmp314) ;
// ATSlocal_void (tmp315) ;
// ATSlocal_void (tmp316) ;
// ATSlocal_void (tmp317) ;
// ATSlocal_void (tmp318) ;
ATSlocal (ats_ptr_type, tmp319) ;
// ATSlocal_void (tmp320) ;
ATSlocal (ats_ptr_type, tmp321) ;
ATSlocal (anairiats_rec_30, tmp322) ;
ATSlocal (ats_int_type, tmp323) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_trans1_decl_2edats__s0taload_tr:
tmp294 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_28, arg0), atslab_d0ecl_loc) ;
ats_ptrget_mac(ats_int_type, arg3) = 0 ;
/* tmp295 = */ the_ATSRELOC_set_decl_if_31 (arg0) ;
/* ats_ptr_type tmp296 ; */
tmp297 = _2tmp_2ATS_2dPostiats_2src_2pats_filename_2esats__filenameopt_make_relative (arg2, (&tmp296)) ;
do {
/* branch: __ats_lab_47 */
__ats_lab_47_0:
if (tmp297 == (ats_sum_ptr_type)0) { goto __ats_lab_48_0 ; }
__ats_lab_47_1:
tmp299 = ats_caselptrlab_mac(anairiats_sum_4, tmp297, atslab_0) ;
ATS_FREE(tmp297) ;
tmp298 = tmp299 ;
break ;

/* branch: __ats_lab_48 */
__ats_lab_48_0:
// if (tmp297 != (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; }
__ats_lab_48_1:
tmp300 = _2tmp_2ATS_2dPostiats_2src_2pats_global_2esats__the_ATSRELOC_get () ;
tmp302 = atspre_eq_int_int (tmp300, 0) ;
if (tmp302) {
/* tmp303 = */ prerr_error1_loc_02942_ (tmp294) ;
/* tmp304 = */ atspre_prerr_string (ATSstrcst(": the file [")) ;
/* tmp305 = */ atspre_prerr_string (tmp296) ;
/* tmp306 = */ atspre_prerr_string (ATSstrcst("] is not available for staloading.")) ;
/* tmp307 = */ atspre_prerr_newline () ;
tmp308 = ATS_MALLOC(sizeof(anairiats_sum_3)) ;
((ats_sum_ptr_type)tmp308)->tag = 9 ;
ats_selptrset_mac(anairiats_sum_3, tmp308, atslab_0, arg0) ;
/* tmp301 = */ _2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__the_trans1errlst_add (tmp308) ;
} else {
/* empty */
} /* end of [if] */
tmp298 = _2tmp_2ATS_2dPostiats_2src_2pats_filename_2esats__filename_dummy ;
break ;
} while (0) ;
tmp309 = _2tmp_2ATS_2dPostiats_2src_2pats_filename_2esats__the_filenamelst_push_check (tmp298) ;
tmp310 = ats_selsin_mac(tmp309, atslab_1) ;
if (tmp310) {
/* tmp312 = */ _2tmp_2ATS_2dPostiats_2src_2pats_location_2esats__prerr_location (tmp294) ;
/* tmp313 = */ atspre_prerr_string (ATSstrcst(": error(0)")) ;
/* tmp314 = */ atspre_prerr_string (ATSstrcst(": staloading the file [")) ;
/* tmp315 = */ _2tmp_2ATS_2dPostiats_2src_2pats_filename_2esats__prerr_filename_full (tmp298) ;
/* tmp316 = */ atspre_prerr_string (ATSstrcst("] generates the following looping trace:\n")) ;
/* tmp317 = */ _2tmp_2ATS_2dPostiats_2src_2pats_filename_2esats__fprint_the_filenamelst (stderr) ;
tmp319 = ATS_MALLOC(sizeof(anairiats_sum_3)) ;
((ats_sum_ptr_type)tmp319)->tag = 9 ;
ats_selptrset_mac(anairiats_sum_3, tmp319, atslab_0, arg0) ;
/* tmp318 = */ _2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__the_trans1errlst_add (tmp319) ;
/* tmp311 = */ _2tmp_2ATS_2dPostiats_2src_2pats_error_2esats__abort () ;
} else {
/* empty */
} /* end of [if] */
/* tmp320 = */ _2tmp_2ATS_2dPostiats_2src_2pats_filename_2esats__the_filenamelst_pop () ;
ats_ptrget_mac(ats_ptr_type, arg4) = tmp298 ;
tmp321 = _2tmp_2ATS_2dPostiats_2src_2pats_trans1_env_2esats__staload_file_search (tmp298) ;
do {
/* branch: __ats_lab_49 */
__ats_lab_49_0:
if (tmp321 == (ats_sum_ptr_type)0) { goto __ats_lab_50_0 ; }
__ats_lab_49_1:
tmp322 = ats_caselptrlab_mac(anairiats_sum_31, tmp321, atslab_0) ;
ATS_FREE(tmp321) ;
tmp323 = ats_select_mac(tmp322, atslab_0) ;
ats_ptrget_mac(ats_int_type, arg3) = tmp323 ;
tmp293 = ats_select_mac(tmp322, atslab_1) ;
break ;

/* branch: __ats_lab_50 */
__ats_lab_50_0:
// if (tmp321 != (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; }
__ats_lab_50_1:
tmp293 = auxload_37 (tmp298, arg3) ;
break ;
} while (0) ;
return (tmp293) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_trans1_decl_2edats__s0taload_tr] */

/*
// /tmp/ATS-Postiats/src/pats_trans1_decl.dats: 20989(line=995, offs=3) -- 21140(line=1004, offs=4)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_trans1_decl_2edats__r0equire_tr (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp324) ;
ATSlocal (ats_int_type, tmp325) ;
ATSlocal (ats_bool_type, tmp326) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_trans1_decl_2edats__r0equire_tr:
tmp325 = _2tmp_2ATS_2dPostiats_2src_2pats_global_2esats__the_ATSRELOC_get () ;
tmp326 = atspre_gt_int_int (tmp325, 0) ;
if (tmp326) {
tmp324 = _2tmp_2ATS_2dPostiats_2src_2pats_trans1_decl_2edats__r0equire_tr_if (arg0, arg1) ;
} else {
tmp324 = _2tmp_2ATS_2dPostiats_2src_2pats_filename_2esats__filename_dummy ;
} /* end of [if] */
return (tmp324) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_trans1_decl_2edats__r0equire_tr] */

/*
// /tmp/ATS-Postiats/src/pats_trans1_decl.dats: 21193(line=1008, offs=3) -- 21764(line=1048, offs=4)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_trans1_decl_2edats__r0equire_tr_if (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp327) ;
ATSlocal (ats_ptr_type, tmp328) ;
// ATSlocal_void (tmp329) ;
ATSlocal (ats_ptr_type, tmp330) ;
ATSlocal (ats_ptr_type, tmp331) ;
ATSlocal (ats_int_type, tmp332) ;
// ATSlocal_void (tmp333) ;
ATSlocal (ats_bool_type, tmp334) ;
// ATSlocal_void (tmp335) ;
// ATSlocal_void (tmp336) ;
// ATSlocal_void (tmp337) ;
// ATSlocal_void (tmp338) ;
ATSlocal (ats_ptr_type, tmp339) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_trans1_decl_2edats__r0equire_tr_if:
tmp328 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_28, arg0), atslab_d0ecl_loc) ;
/* tmp329 = */ the_ATSRELOC_set_decl_30 (arg0) ;
/* ats_ptr_type tmp330 ; */
tmp331 = _2tmp_2ATS_2dPostiats_2src_2pats_filename_2esats__filenameopt_make_relative (arg1, (&tmp330)) ;
tmp332 = _2tmp_2ATS_2dPostiats_2src_2pats_global_2esats__the_DEBUGATS_dbgflag_get () ;
tmp334 = atspre_gt_int_int (tmp332, 0) ;
if (tmp334) {
/* tmp335 = */ prerr_error1_loc_02942_ (tmp328) ;
/* tmp336 = */ atspre_prerr_string (ATSstrcst(": the file [")) ;
/* tmp337 = */ atspre_prerr_string (tmp330) ;
/* tmp338 = */ atspre_prerr_string (ATSstrcst("] is required.")) ;
/* tmp333 = */ atspre_prerr_newline () ;
} else {
/* empty */
} /* end of [if] */
do {
/* branch: __ats_lab_51 */
__ats_lab_51_0:
if (tmp331 == (ats_sum_ptr_type)0) { goto __ats_lab_52_0 ; }
__ats_lab_51_1:
tmp339 = ats_caselptrlab_mac(anairiats_sum_4, tmp331, atslab_0) ;
ATS_FREE(tmp331) ;
tmp327 = tmp339 ;
break ;

/* branch: __ats_lab_52 */
__ats_lab_52_0:
// if (tmp331 != (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; }
__ats_lab_52_1:
tmp327 = _2tmp_2ATS_2dPostiats_2src_2pats_filename_2esats__filename_dummy ;
break ;
} while (0) ;
return (tmp327) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_trans1_decl_2edats__r0equire_tr_if] */

/*
// /tmp/ATS-Postiats/src/pats_trans1_decl.dats: 21927(line=1059, offs=3) -- 22792(line=1107, offs=4)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_trans1_decl_2edats__d0ynload_tr (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp340) ;
ATSlocal (ats_ptr_type, tmp341) ;
// ATSlocal_void (tmp342) ;
ATSlocal (ats_ptr_type, tmp343) ;
ATSlocal (ats_ptr_type, tmp344) ;
ATSlocal (ats_ptr_type, tmp345) ;
ATSlocal (ats_int_type, tmp346) ;
// ATSlocal_void (tmp347) ;
ATSlocal (ats_bool_type, tmp348) ;
// ATSlocal_void (tmp349) ;
// ATSlocal_void (tmp350) ;
// ATSlocal_void (tmp351) ;
// ATSlocal_void (tmp352) ;
// ATSlocal_void (tmp353) ;
ATSlocal (ats_ptr_type, tmp354) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_trans1_decl_2edats__d0ynload_tr:
tmp341 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_28, arg0), atslab_d0ecl_loc) ;
/* tmp342 = */ the_ATSRELOC_set_decl_if_31 (arg0) ;
/* ats_ptr_type tmp343 ; */
tmp344 = _2tmp_2ATS_2dPostiats_2src_2pats_filename_2esats__filenameopt_make_relative (arg1, (&tmp343)) ;
do {
/* branch: __ats_lab_53 */
__ats_lab_53_0:
if (tmp344 == (ats_sum_ptr_type)0) { goto __ats_lab_54_0 ; }
__ats_lab_53_1:
tmp345 = ats_caselptrlab_mac(anairiats_sum_4, tmp344, atslab_0) ;
ATS_FREE(tmp344) ;
tmp340 = tmp345 ;
break ;

/* branch: __ats_lab_54 */
__ats_lab_54_0:
// if (tmp344 != (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; }
__ats_lab_54_1:
tmp346 = _2tmp_2ATS_2dPostiats_2src_2pats_global_2esats__the_ATSRELOC_get () ;
tmp348 = atspre_eq_int_int (tmp346, 0) ;
if (tmp348) {
/* tmp349 = */ prerr_error1_loc_02942_ (tmp341) ;
/* tmp350 = */ atspre_prerr_string (ATSstrcst(": the file [")) ;
/* tmp351 = */ atspre_prerr_string (tmp343) ;
/* tmp352 = */ atspre_prerr_string (ATSstrcst("] is not available for dynloading")) ;
/* tmp353 = */ atspre_prerr_newline () ;
tmp354 = ATS_MALLOC(sizeof(anairiats_sum_3)) ;
((ats_sum_ptr_type)tmp354)->tag = 10 ;
ats_selptrset_mac(anairiats_sum_3, tmp354, atslab_0, arg0) ;
/* tmp347 = */ _2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__the_trans1errlst_add (tmp354) ;
} else {
/* empty */
} /* end of [if] */
tmp340 = _2tmp_2ATS_2dPostiats_2src_2pats_filename_2esats__filename_dummy ;
break ;
} while (0) ;
return (tmp340) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_trans1_decl_2edats__d0ynload_tr] */

/*
// /tmp/ATS-Postiats/src/pats_trans1_decl.dats: 22913(line=1116, offs=7) -- 23727(line=1141, offs=10)
*/
ATSstaticdec()
ats_ptr_type
loop_43 (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp356) ;
ATSlocal (ats_ptr_type, tmp357) ;
ATSlocal (ats_ptr_type, tmp358) ;
ATSlocal (ats_ptr_type, tmp359) ;
ATSlocal (ats_ptr_type, tmp360) ;
ATSlocal (ats_bool_type, tmp361) ;
ATSlocal (ats_ptr_type, tmp362) ;
ATSlocal (ats_ptr_type, tmp363) ;
ATSlocal (ats_ptr_type, tmp364) ;
ATSlocal (ats_ptr_type, tmp365) ;
ATSlocal (ats_ptr_type, tmp366) ;
ATSlocal (ats_bool_type, tmp367) ;
ATSlocal (ats_ptr_type, tmp368) ;
ATSlocal (ats_ptr_type, tmp369) ;
ATSlocal (ats_ptr_type, tmp370) ;
ATSlocal (ats_ptr_type, tmp371) ;
ATSlocal (ats_ptr_type, tmp372) ;
ATSlocal (ats_ptr_type, tmp373) ;
ATSlocal (ats_bool_type, tmp374) ;

__ats_lab_loop_43:
do {
/* branch: __ats_lab_55 */
__ats_lab_55_0:
if (((ats_sum_ptr_type)arg1)->tag != 0) { goto __ats_lab_56_0 ; }
__ats_lab_55_1:
tmp357 = ats_caselptrlab_mac(anairiats_sum_8, arg1, atslab_0) ;
tmp358 = ats_caselptrlab_mac(anairiats_sum_8, arg1, atslab_1) ;
tmp360 = _2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__e0xp_tr (tmp357) ;
tmp359 = _2tmp_2ATS_2dPostiats_2src_2pats_e1xpval_2esats__e1xp_valize_if (arg0, tmp360) ;
tmp361 = _2tmp_2ATS_2dPostiats_2src_2pats_e1xpval_2esats__v1al_is_true (tmp359) ;
if (tmp361) {
tmp356 = _2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__d0eclist_tr (tmp358) ;
} else {
tmp356 = (ats_sum_ptr_type)0 ;
} /* end of [if] */
break ;

/* branch: __ats_lab_56 */
__ats_lab_56_0:
if (((ats_sum_ptr_type)arg1)->tag != 1) { goto __ats_lab_57_0 ; }
__ats_lab_56_1:
tmp362 = ats_caselptrlab_mac(anairiats_sum_32, arg1, atslab_0) ;
tmp363 = ats_caselptrlab_mac(anairiats_sum_32, arg1, atslab_1) ;
tmp364 = ats_caselptrlab_mac(anairiats_sum_32, arg1, atslab_2) ;
tmp366 = _2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__e0xp_tr (tmp362) ;
tmp365 = _2tmp_2ATS_2dPostiats_2src_2pats_e1xpval_2esats__e1xp_valize_if (arg0, tmp366) ;
tmp367 = _2tmp_2ATS_2dPostiats_2src_2pats_e1xpval_2esats__v1al_is_true (tmp365) ;
if (tmp367) {
tmp356 = _2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__d0eclist_tr (tmp363) ;
} else {
tmp356 = _2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__d0eclist_tr (tmp364) ;
} /* end of [if] */
break ;

/* branch: __ats_lab_57 */
__ats_lab_57_0:
// if (((ats_sum_ptr_type)arg1)->tag != 2) { ats_deadcode_failure_handle () ; }
__ats_lab_57_1:
tmp368 = ats_caselptrlab_mac(anairiats_sum_33, arg1, atslab_0) ;
tmp369 = ats_caselptrlab_mac(anairiats_sum_33, arg1, atslab_1) ;
tmp370 = ats_caselptrlab_mac(anairiats_sum_33, arg1, atslab_2) ;
tmp371 = ats_caselptrlab_mac(anairiats_sum_33, arg1, atslab_3) ;
tmp373 = _2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__e0xp_tr (tmp368) ;
tmp372 = _2tmp_2ATS_2dPostiats_2src_2pats_e1xpval_2esats__e1xp_valize_if (arg0, tmp373) ;
tmp374 = _2tmp_2ATS_2dPostiats_2src_2pats_e1xpval_2esats__v1al_is_true (tmp372) ;
if (tmp374) {
tmp356 = _2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__d0eclist_tr (tmp369) ;
} else {
arg0 = tmp370 ;
arg1 = tmp371 ;
goto __ats_lab_loop_43 ; // tail call
} /* end of [if] */
break ;
} while (0) ;
return (tmp356) ;
} /* end of [loop_43] */

/*
// /tmp/ATS-Postiats/src/pats_trans1_decl.dats: 22843(line=1112, offs=1) -- 23805(line=1145, offs=4)
*/
ATSstaticdec()
ats_ptr_type
guad0ecl_tr_42 (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp355) ;
ATSlocal (ats_ptr_type, tmp375) ;

__ats_lab_guad0ecl_tr_42:
tmp375 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_34, arg1), atslab_guad0ecl_node) ;
tmp355 = loop_43 (arg0, tmp375) ;
return (tmp355) ;
} /* end of [guad0ecl_tr_42] */

/*
// /tmp/ATS-Postiats/src/pats_trans1_decl.dats: 23871(line=1150, offs=10) -- 32062(line=1494, offs=4)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__d0ecl_tr (ats_ptr_type arg0) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp376) ;
ATSlocal (ats_ptr_type, tmp377) ;
ATSlocal (ats_ptr_type, tmp378) ;
ATSlocal (ats_ptr_type, tmp379) ;
ATSlocal (ats_ptr_type, tmp380) ;
// ATSlocal_void (tmp381) ;
ATSlocal (ats_ptr_type, tmp382) ;
// ATSlocal_void (tmp383) ;
ATSlocal (ats_ptr_type, tmp384) ;
ATSlocal (ats_ptr_type, tmp385) ;
ATSlocal (ats_ptr_type, tmp386) ;
ATSlocal (ats_ptr_type, tmp387) ;
ATSlocal (ats_int_type, tmp388) ;
ATSlocal (ats_ptr_type, tmp389) ;
ATSlocal (ats_ptr_type, tmp390) ;
ATSlocal (ats_ptr_type, tmp391) ;
ATSlocal (ats_ptr_type, tmp392) ;
// ATSlocal_void (tmp393) ;
ATSlocal (ats_ptr_type, tmp394) ;
ATSlocal (ats_ptr_type, tmp395) ;
// ATSlocal_void (tmp396) ;
ATSlocal (ats_ptr_type, tmp397) ;
ATSlocal (ats_ptr_type, tmp398) ;
ATSlocal (ats_ptr_type, tmp399) ;
ATSlocal (ats_ptr_type, tmp400) ;
// ATSlocal_void (tmp401) ;
ATSlocal (ats_ptr_type, tmp402) ;
ATSlocal (ats_ptr_type, tmp403) ;
ATSlocal (ats_ptr_type, tmp404) ;
ATSlocal (ats_ptr_type, tmp405) ;
ATSlocal (ats_int_type, tmp406) ;
ATSlocal (ats_ptr_type, tmp407) ;
ATSlocal (ats_ptr_type, tmp408) ;
ATSlocal (ats_ptr_type, tmp409) ;
ATSlocal (ats_ptr_type, tmp410) ;
ATSlocal (ats_ptr_type, tmp411) ;
ATSlocal (ats_ptr_type, tmp412) ;
ATSlocal (ats_ptr_type, tmp413) ;
ATSlocal (ats_ptr_type, tmp414) ;
ATSlocal (ats_int_type, tmp415) ;
ATSlocal (ats_ptr_type, tmp416) ;
ATSlocal (ats_ptr_type, tmp417) ;
ATSlocal (ats_ptr_type, tmp418) ;
ATSlocal (ats_ptr_type, tmp419) ;
ATSlocal (ats_int_type, tmp420) ;
ATSlocal (ats_ptr_type, tmp421) ;
ATSlocal (ats_ptr_type, tmp422) ;
ATSlocal (ats_ptr_type, tmp423) ;
ATSlocal (ats_ptr_type, tmp424) ;
ATSlocal (ats_ptr_type, tmp425) ;
ATSlocal (ats_ptr_type, tmp426) ;
ATSlocal (ats_ptr_type, tmp427) ;
ATSlocal (ats_int_type, tmp428) ;
ATSlocal (ats_ptr_type, tmp429) ;
ATSlocal (ats_ptr_type, tmp430) ;
ATSlocal (ats_ptr_type, tmp431) ;
ATSlocal (ats_ptr_type, tmp432) ;
ATSlocal (ats_ptr_type, tmp433) ;
ATSlocal (ats_ptr_type, tmp434) ;
ATSlocal (ats_ptr_type, tmp435) ;
ATSlocal (ats_ptr_type, tmp436) ;
ATSlocal (ats_ptr_type, tmp437) ;
ATSlocal (ats_ptr_type, tmp438) ;
ATSlocal (ats_int_type, tmp439) ;
ATSlocal (ats_ptr_type, tmp440) ;
ATSlocal (ats_ptr_type, tmp441) ;
ATSlocal (ats_ptr_type, tmp442) ;
ATSlocal (ats_ptr_type, tmp443) ;
ATSlocal (ats_ptr_type, tmp444) ;
ATSlocal (ats_ptr_type, tmp445) ;
ATSlocal (ats_int_type, tmp446) ;
ATSlocal (ats_int_type, tmp447) ;
ATSlocal (ats_ptr_type, tmp448) ;
ATSlocal (ats_int_type, tmp449) ;
ATSlocal (ats_ptr_type, tmp450) ;
ATSlocal (ats_ptr_type, tmp451) ;
ATSlocal (ats_ptr_type, tmp452) ;
ATSlocal (ats_ptr_type, tmp453) ;
ATSlocal (ats_bool_type, tmp454) ;
ATSlocal (ats_bool_type, tmp455) ;
ATSlocal (ats_ptr_type, tmp456) ;
ATSlocal (ats_ptr_type, tmp457) ;
ATSlocal (ats_int_type, tmp458) ;
ATSlocal (ats_bool_type, tmp459) ;
ATSlocal (ats_ptr_type, tmp460) ;
ATSlocal (ats_ptr_type, tmp461) ;
ATSlocal (ats_ptr_type, tmp462) ;
ATSlocal (ats_ptr_type, tmp463) ;
ATSlocal (ats_ptr_type, tmp464) ;
ATSlocal (ats_ptr_type, tmp465) ;
ATSlocal (ats_ptr_type, tmp466) ;
ATSlocal (ats_ptr_type, tmp467) ;
ATSlocal (ats_bool_type, tmp468) ;
ATSlocal (ats_ptr_type, tmp469) ;
ATSlocal (ats_ptr_type, tmp470) ;
ATSlocal (ats_int_type, tmp471) ;
ATSlocal (ats_ptr_type, tmp472) ;
ATSlocal (ats_ptr_type, tmp473) ;
ATSlocal (ats_int_type, tmp474) ;
ATSlocal (ats_ptr_type, tmp475) ;
ATSlocal (ats_ptr_type, tmp476) ;
ATSlocal (ats_ptr_type, tmp477) ;
ATSlocal (ats_ptr_type, tmp478) ;
ATSlocal (ats_ptr_type, tmp479) ;
ATSlocal (ats_int_type, tmp480) ;
ATSlocal (ats_ptr_type, tmp481) ;
// ATSlocal_void (tmp482) ;
// ATSlocal_void (tmp483) ;
ATSlocal (ats_ptr_type, tmp484) ;
// ATSlocal_void (tmp485) ;
ATSlocal (ats_ptr_type, tmp486) ;
ATSlocal (ats_ptr_type, tmp487) ;
ATSlocal (ats_ptr_type, tmp488) ;
ATSlocal (ats_int_type, tmp489) ;
ATSlocal (ats_ptr_type, tmp490) ;
// ATSlocal_void (tmp491) ;
// ATSlocal_void (tmp492) ;
ATSlocal (ats_ptr_type, tmp493) ;
// ATSlocal_void (tmp494) ;
ATSlocal (ats_ptr_type, tmp495) ;
ATSlocal (ats_ptr_type, tmp496) ;
ATSlocal (ats_ptr_type, tmp497) ;
ATSlocal (ats_ptr_type, tmp498) ;
ATSlocal (ats_ptr_type, tmp499) ;
ATSlocal (ats_ptr_type, tmp500) ;
// ATSlocal_void (tmp501) ;
// ATSlocal_void (tmp502) ;
ATSlocal (ats_ptr_type, tmp503) ;
ATSlocal (ats_ptr_type, tmp504) ;
ATSlocal (ats_ptr_type, tmp505) ;
ATSlocal (ats_ptr_type, tmp506) ;
// ATSlocal_void (tmp507) ;
ATSlocal (ats_ptr_type, tmp508) ;
ATSlocal (ats_ptr_type, tmp509) ;
ATSlocal (ats_ptr_type, tmp510) ;
ATSlocal (ats_ptr_type, tmp511) ;
// ATSlocal_void (tmp512) ;
// ATSlocal_void (tmp513) ;
ATSlocal (ats_ptr_type, tmp514) ;
// ATSlocal_void (tmp515) ;
ATSlocal (ats_ptr_type, tmp516) ;
ATSlocal (ats_ptr_type, tmp517) ;
// ATSlocal_void (tmp518) ;
// ATSlocal_void (tmp519) ;
ATSlocal (ats_ptr_type, tmp520) ;
// ATSlocal_void (tmp521) ;
// ATSlocal_void (tmp522) ;
ATSlocal (ats_ptr_type, tmp523) ;
// ATSlocal_void (tmp524) ;
ATSlocal (ats_ptr_type, tmp525) ;
ATSlocal (ats_ptr_type, tmp526) ;
ATSlocal (ats_ptr_type, tmp527) ;
ATSlocal (ats_ptr_type, tmp528) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__d0ecl_tr:
tmp377 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_28, arg0), atslab_d0ecl_loc) ;
tmp378 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_28, arg0), atslab_d0ecl_node) ;
do {
/* branch: __ats_lab_58 */
__ats_lab_58_0:
if (((ats_sum_ptr_type)tmp378)->tag != 0) { goto __ats_lab_59_0 ; }
__ats_lab_58_1:
tmp379 = ats_caselptrlab_mac(anairiats_sum_8, tmp378, atslab_0) ;
tmp380 = ats_caselptrlab_mac(anairiats_sum_8, tmp378, atslab_1) ;
/* tmp381 = */ _2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__d0ecl_fixity_tr (tmp379, tmp380) ;
tmp376 = _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__d1ecl_none (tmp377) ;
break ;

/* branch: __ats_lab_59 */
__ats_lab_59_0:
if (((ats_sum_ptr_type)tmp378)->tag != 1) { goto __ats_lab_60_0 ; }
__ats_lab_59_1:
tmp382 = ats_caselptrlab_mac(anairiats_sum_3, tmp378, atslab_0) ;
/* tmp383 = */ _2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__d0ecl_nonfix_tr (tmp382) ;
tmp376 = _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__d1ecl_none (tmp377) ;
break ;

/* branch: __ats_lab_60 */
__ats_lab_60_0:
if (((ats_sum_ptr_type)tmp378)->tag != 2) { goto __ats_lab_61_0 ; }
__ats_lab_60_1:
tmp384 = ats_caselptrlab_mac(anairiats_sum_3, tmp378, atslab_0) ;
tmp376 = _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__d1ecl_symintr (tmp377, tmp384) ;
break ;

/* branch: __ats_lab_61 */
__ats_lab_61_0:
if (((ats_sum_ptr_type)tmp378)->tag != 3) { goto __ats_lab_62_0 ; }
__ats_lab_61_1:
tmp385 = ats_caselptrlab_mac(anairiats_sum_3, tmp378, atslab_0) ;
tmp376 = _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__d1ecl_symelim (tmp377, tmp385) ;
break ;

/* branch: __ats_lab_62 */
__ats_lab_62_0:
if (((ats_sum_ptr_type)tmp378)->tag != 4) { goto __ats_lab_63_0 ; }
__ats_lab_62_1:
tmp386 = ats_caselptrlab_mac(anairiats_sum_7, tmp378, atslab_0) ;
tmp387 = ats_caselptrlab_mac(anairiats_sum_7, tmp378, atslab_1) ;
tmp388 = ats_caselptrlab_mac(anairiats_sum_7, tmp378, atslab_2) ;
tmp376 = _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__d1ecl_overload (tmp377, tmp386, tmp387, tmp388) ;
break ;

/* branch: __ats_lab_63 */
__ats_lab_63_0:
if (((ats_sum_ptr_type)tmp378)->tag != 5) { goto __ats_lab_66_0 ; }
__ats_lab_63_1:
tmp389 = ats_caselptrlab_mac(anairiats_sum_8, tmp378, atslab_0) ;
tmp390 = ats_caselptrlab_mac(anairiats_sum_8, tmp378, atslab_1) ;
do {
/* branch: __ats_lab_64 */
__ats_lab_64_0:
if (tmp390 == (ats_sum_ptr_type)0) { goto __ats_lab_65_0 ; }
__ats_lab_64_1:
tmp392 = ats_caselptrlab_mac(anairiats_sum_4, tmp390, atslab_0) ;
tmp391 = _2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__e0xp_tr (tmp392) ;
break ;

/* branch: __ats_lab_65 */
__ats_lab_65_0:
// if (tmp390 != (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; }
__ats_lab_65_1:
tmp391 = _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__e1xp_none (tmp377) ;
break ;
} while (0) ;
/* tmp393 = */ _2tmp_2ATS_2dPostiats_2src_2pats_trans1_env_2esats__the_e1xpenv_add (tmp389, tmp391) ;
tmp376 = _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__d1ecl_e1xpdef (tmp377, tmp389, tmp391) ;
break ;

/* branch: __ats_lab_66 */
__ats_lab_66_0:
if (((ats_sum_ptr_type)tmp378)->tag != 6) { goto __ats_lab_67_0 ; }
__ats_lab_66_1:
tmp394 = ats_caselptrlab_mac(anairiats_sum_3, tmp378, atslab_0) ;
tmp395 = _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__e1xp_undef (tmp377) ;
/* tmp396 = */ _2tmp_2ATS_2dPostiats_2src_2pats_trans1_env_2esats__the_e1xpenv_add (tmp394, tmp395) ;
tmp376 = _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__d1ecl_e1xpundef (tmp377, tmp394, tmp395) ;
break ;

/* branch: __ats_lab_67 */
__ats_lab_67_0:
if (((ats_sum_ptr_type)tmp378)->tag != 7) { goto __ats_lab_72_0 ; }
__ats_lab_67_1:
tmp397 = ats_caselptrlab_mac(anairiats_sum_8, tmp378, atslab_0) ;
tmp398 = ats_caselptrlab_mac(anairiats_sum_8, tmp378, atslab_1) ;
tmp399 = _2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__e0xp_tr (tmp398) ;
tmp400 = _2tmp_2ATS_2dPostiats_2src_2pats_e1xpval_2esats__e1xp_valize (tmp399) ;
do {
/* branch: __ats_lab_68 */
__ats_lab_68_0:
if (((ats_sum_ptr_type)tmp397)->tag != 0) { goto __ats_lab_69_0 ; }
__ats_lab_68_1:
tmp402 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_35, tmp398), atslab_e0xp_loc) ;
/* tmp401 = */ _2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__do_e0xpact_error (tmp402, tmp400) ;
break ;

/* branch: __ats_lab_69 */
__ats_lab_69_0:
if (((ats_sum_ptr_type)tmp397)->tag != 1) { goto __ats_lab_70_0 ; }
__ats_lab_69_1:
/* tmp401 = */ _2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__do_e0xpact_prerr (tmp400) ;
break ;

/* branch: __ats_lab_70 */
__ats_lab_70_0:
if (((ats_sum_ptr_type)tmp397)->tag != 2) { goto __ats_lab_71_0 ; }
__ats_lab_70_1:
/* tmp401 = */ _2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__do_e0xpact_print (tmp400) ;
break ;

/* branch: __ats_lab_71 */
__ats_lab_71_0:
// if (((ats_sum_ptr_type)tmp397)->tag != 3) { ats_deadcode_failure_handle () ; }
__ats_lab_71_1:
tmp403 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_35, tmp398), atslab_e0xp_loc) ;
/* tmp401 = */ _2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__do_e0xpact_assert (tmp403, tmp400) ;
break ;
} while (0) ;
tmp376 = _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__d1ecl_none (tmp377) ;
break ;

/* branch: __ats_lab_72 */
__ats_lab_72_0:
if (((ats_sum_ptr_type)tmp378)->tag != 8) { goto __ats_lab_73_0 ; }
__ats_lab_72_1:
tmp404 = ats_caselptrlab_mac(anairiats_sum_3, tmp378, atslab_0) ;
tmp405 = _2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__e0xplst_tr (tmp404) ;
tmp376 = _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__d1ecl_pragma (tmp377, tmp405) ;
break ;

/* branch: __ats_lab_73 */
__ats_lab_73_0:
if (((ats_sum_ptr_type)tmp378)->tag != 9) { goto __ats_lab_74_0 ; }
__ats_lab_73_1:
tmp406 = ats_caselptrlab_mac(anairiats_sum_19, tmp378, atslab_0) ;
tmp407 = ats_caselptrlab_mac(anairiats_sum_19, tmp378, atslab_1) ;
tmp408 = _2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__e0xplst_tr (tmp407) ;
tmp376 = _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__d1ecl_codegen (tmp377, tmp406, tmp408) ;
break ;

/* branch: __ats_lab_74 */
__ats_lab_74_0:
if (((ats_sum_ptr_type)tmp378)->tag != 10) { goto __ats_lab_75_0 ; }
__ats_lab_74_1:
tmp409 = ats_caselptrlab_mac(anairiats_sum_3, tmp378, atslab_0) ;
tmp410 = list_map_fun_01413_ats_ptr_type_ats_ptr_type (tmp409, &_2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__d0atsrtdec_tr) ;
tmp376 = _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__d1ecl_datsrts (tmp377, ats_castfn_mac(ats_ptr_type, tmp410)) ;
break ;

/* branch: __ats_lab_75 */
__ats_lab_75_0:
if (((ats_sum_ptr_type)tmp378)->tag != 11) { goto __ats_lab_76_0 ; }
__ats_lab_75_1:
tmp411 = ats_caselptrlab_mac(anairiats_sum_3, tmp378, atslab_0) ;
tmp412 = list_map_fun_01413_ats_ptr_type_ats_ptr_type (tmp411, &_2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__s0rtdef_tr) ;
tmp376 = _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__d1ecl_srtdefs (tmp377, ats_castfn_mac(ats_ptr_type, tmp412)) ;
break ;

/* branch: __ats_lab_76 */
__ats_lab_76_0:
if (((ats_sum_ptr_type)tmp378)->tag != 12) { goto __ats_lab_77_0 ; }
__ats_lab_76_1:
tmp413 = ats_caselptrlab_mac(anairiats_sum_3, tmp378, atslab_0) ;
tmp414 = list_map_fun_01413_ats_ptr_type_ats_ptr_type (tmp413, &_2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__s0tacst_tr) ;
tmp376 = _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__d1ecl_stacsts (tmp377, ats_castfn_mac(ats_ptr_type, tmp414)) ;
break ;

/* branch: __ats_lab_77 */
__ats_lab_77_0:
if (((ats_sum_ptr_type)tmp378)->tag != 13) { goto __ats_lab_78_0 ; }
__ats_lab_77_1:
tmp415 = ats_caselptrlab_mac(anairiats_sum_19, tmp378, atslab_0) ;
tmp416 = ats_caselptrlab_mac(anairiats_sum_19, tmp378, atslab_1) ;
tmp417 = list_map_fun_01413_ats_ptr_type_ats_ptr_type (tmp416, &_2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__s0tacon_tr) ;
tmp376 = _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__d1ecl_stacons (tmp377, tmp415, ats_castfn_mac(ats_ptr_type, tmp417)) ;
break ;

/* branch: __ats_lab_78 */
__ats_lab_78_0:
if (((ats_sum_ptr_type)tmp378)->tag != 14) { goto __ats_lab_79_0 ; }
__ats_lab_78_1:
tmp418 = ats_caselptrlab_mac(anairiats_sum_3, tmp378, atslab_0) ;
tmp419 = _2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__t0kindef_tr (tmp418) ;
tmp376 = _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__d1ecl_tkindef (tmp377, tmp419) ;
break ;

/* branch: __ats_lab_79 */
__ats_lab_79_0:
if (((ats_sum_ptr_type)tmp378)->tag != 15) { goto __ats_lab_80_0 ; }
__ats_lab_79_1:
tmp420 = ats_caselptrlab_mac(anairiats_sum_19, tmp378, atslab_0) ;
tmp421 = ats_caselptrlab_mac(anairiats_sum_19, tmp378, atslab_1) ;
tmp422 = list_map_fun_01413_ats_ptr_type_ats_ptr_type (tmp421, &_2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__s0expdef_tr) ;
tmp376 = _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__d1ecl_sexpdefs (tmp377, tmp420, ats_castfn_mac(ats_ptr_type, tmp422)) ;
break ;

/* branch: __ats_lab_80 */
__ats_lab_80_0:
if (((ats_sum_ptr_type)tmp378)->tag != 16) { goto __ats_lab_81_0 ; }
__ats_lab_80_1:
tmp423 = ats_caselptrlab_mac(anairiats_sum_3, tmp378, atslab_0) ;
tmp424 = _2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__s0aspdec_tr (tmp423) ;
tmp376 = _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__d1ecl_saspdec (tmp377, tmp424) ;
break ;

/* branch: __ats_lab_81 */
__ats_lab_81_0:
if (((ats_sum_ptr_type)tmp378)->tag != 17) { goto __ats_lab_82_0 ; }
__ats_lab_81_1:
tmp425 = ats_caselptrlab_mac(anairiats_sum_3, tmp378, atslab_0) ;
tmp376 = _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__d1ecl_reassume (tmp377, tmp425) ;
break ;

/* branch: __ats_lab_82 */
__ats_lab_82_0:
if (((ats_sum_ptr_type)tmp378)->tag != 18) { goto __ats_lab_83_0 ; }
__ats_lab_82_1:
tmp426 = ats_caselptrlab_mac(anairiats_sum_3, tmp378, atslab_0) ;
tmp427 = list_map_fun_01413_ats_ptr_type_ats_ptr_type (tmp426, &_2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__e0xndec_tr) ;
tmp376 = _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__d1ecl_exndecs (tmp377, ats_castfn_mac(ats_ptr_type, tmp427)) ;
break ;

/* branch: __ats_lab_83 */
__ats_lab_83_0:
if (((ats_sum_ptr_type)tmp378)->tag != 19) { goto __ats_lab_84_0 ; }
__ats_lab_83_1:
tmp428 = ats_caselptrlab_mac(anairiats_sum_36, tmp378, atslab_0) ;
tmp429 = ats_caselptrlab_mac(anairiats_sum_36, tmp378, atslab_1) ;
tmp430 = ats_caselptrlab_mac(anairiats_sum_36, tmp378, atslab_2) ;
tmp431 = list_map_fun_01413_ats_ptr_type_ats_ptr_type (tmp429, &_2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__d0atdec_tr) ;
tmp432 = list_map_fun_01413_ats_ptr_type_ats_ptr_type (tmp430, &_2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__s0expdef_tr) ;
tmp376 = _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__d1ecl_datdecs (tmp377, tmp428, ats_castfn_mac(ats_ptr_type, tmp431), ats_castfn_mac(ats_ptr_type, tmp432)) ;
break ;

/* branch: __ats_lab_84 */
__ats_lab_84_0:
if (((ats_sum_ptr_type)tmp378)->tag != 20) { goto __ats_lab_85_0 ; }
__ats_lab_84_1:
tmp433 = ats_caselptrlab_mac(anairiats_sum_8, tmp378, atslab_0) ;
tmp434 = ats_caselptrlab_mac(anairiats_sum_8, tmp378, atslab_1) ;
tmp435 = _2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__s0expopt_tr (tmp434) ;
tmp376 = _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__d1ecl_classdec (tmp377, tmp433, tmp435) ;
break ;

/* branch: __ats_lab_85 */
__ats_lab_85_0:
if (((ats_sum_ptr_type)tmp378)->tag != 21) { goto __ats_lab_86_0 ; }
__ats_lab_85_1:
tmp436 = ats_caselptrlab_mac(anairiats_sum_8, tmp378, atslab_0) ;
tmp437 = ats_caselptrlab_mac(anairiats_sum_8, tmp378, atslab_1) ;
tmp438 = _2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__s0exp_tr (tmp437) ;
tmp376 = _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__d1ecl_extype (tmp377, tmp436, tmp438) ;
break ;

/* branch: __ats_lab_86 */
__ats_lab_86_0:
if (((ats_sum_ptr_type)tmp378)->tag != 22) { goto __ats_lab_87_0 ; }
__ats_lab_86_1:
tmp439 = ats_caselptrlab_mac(anairiats_sum_36, tmp378, atslab_0) ;
tmp440 = ats_caselptrlab_mac(anairiats_sum_36, tmp378, atslab_1) ;
tmp441 = ats_caselptrlab_mac(anairiats_sum_36, tmp378, atslab_2) ;
tmp442 = _2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__s0exp_tr (tmp441) ;
tmp376 = _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__d1ecl_extype2 (tmp377, tmp439, tmp440, tmp442) ;
break ;

/* branch: __ats_lab_87 */
__ats_lab_87_0:
if (((ats_sum_ptr_type)tmp378)->tag != 23) { goto __ats_lab_88_0 ; }
__ats_lab_87_1:
tmp443 = ats_caselptrlab_mac(anairiats_sum_8, tmp378, atslab_0) ;
tmp444 = ats_caselptrlab_mac(anairiats_sum_8, tmp378, atslab_1) ;
tmp445 = _2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__d0exp_tr (tmp444) ;
tmp376 = _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__d1ecl_extvar (tmp377, tmp443, tmp445) ;
break ;

/* branch: __ats_lab_88 */
__ats_lab_88_0:
if (((ats_sum_ptr_type)tmp378)->tag != 24) { goto __ats_lab_89_0 ; }
__ats_lab_88_1:
tmp446 = ats_caselptrlab_mac(anairiats_sum_37, tmp378, atslab_0) ;
tmp447 = ats_caselptrlab_mac(anairiats_sum_37, tmp378, atslab_1) ;
tmp448 = ats_caselptrlab_mac(anairiats_sum_37, tmp378, atslab_2) ;
tmp376 = _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__d1ecl_extcode (tmp377, tmp446, tmp447, tmp448) ;
break ;

/* branch: __ats_lab_89 */
__ats_lab_89_0:
if (((ats_sum_ptr_type)tmp378)->tag != 25) { goto __ats_lab_90_0 ; }
__ats_lab_89_1:
tmp449 = ats_caselptrlab_mac(anairiats_sum_38, tmp378, atslab_0) ;
tmp450 = ats_caselptrlab_mac(anairiats_sum_38, tmp378, atslab_1) ;
tmp451 = ats_caselptrlab_mac(anairiats_sum_38, tmp378, atslab_2) ;
tmp452 = ats_caselptrlab_mac(anairiats_sum_38, tmp378, atslab_3) ;
tmp453 = token_get_dcstkind_23 (tmp450) ;
tmp454 = _2tmp_2ATS_2dPostiats_2src_2pats_basics_2esats__dcstkind_is_fun (tmp453) ;
tmp455 = _2tmp_2ATS_2dPostiats_2src_2pats_basics_2esats__dcstkind_is_proof (tmp453) ;
tmp456 = _2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__q0marglst_tr (tmp451) ;
tmp457 = _2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__d0cstdeclst_tr (tmp454, tmp455, tmp452) ;
tmp376 = _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__d1ecl_dcstdecs (tmp377, tmp449, tmp453, tmp456, tmp457) ;
break ;

/* branch: __ats_lab_90 */
__ats_lab_90_0:
if (((ats_sum_ptr_type)tmp378)->tag != 27) { goto __ats_lab_91_0 ; }
__ats_lab_90_1:
tmp458 = ats_caselptrlab_mac(anairiats_sum_39, tmp378, atslab_0) ;
tmp459 = ats_caselptrlab_mac(anairiats_sum_39, tmp378, atslab_1) ;
tmp460 = ats_caselptrlab_mac(anairiats_sum_39, tmp378, atslab_2) ;
tmp461 = list_map_fun_01413_ats_ptr_type_ats_ptr_type (tmp460, &m0acdef_tr_24) ;
tmp376 = _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__d1ecl_macdefs (tmp377, tmp458, tmp459, ats_castfn_mac(ats_ptr_type, tmp461)) ;
break ;

/* branch: __ats_lab_91 */
__ats_lab_91_0:
if (((ats_sum_ptr_type)tmp378)->tag != 28) { goto __ats_lab_92_0 ; }
__ats_lab_91_1:
tmp462 = ats_caselptrlab_mac(anairiats_sum_32, tmp378, atslab_0) ;
tmp463 = ats_caselptrlab_mac(anairiats_sum_32, tmp378, atslab_1) ;
tmp464 = ats_caselptrlab_mac(anairiats_sum_32, tmp378, atslab_2) ;
tmp465 = _2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__q0marglst_tr (tmp463) ;
tmp466 = f0undeclst_tr_27 (tmp462, tmp464) ;
tmp376 = _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__d1ecl_fundecs (tmp377, tmp462, tmp465, tmp466) ;
break ;

/* branch: __ats_lab_92 */
__ats_lab_92_0:
if (((ats_sum_ptr_type)tmp378)->tag != 29) { goto __ats_lab_93_0 ; }
__ats_lab_92_1:
tmp467 = ats_caselptrlab_mac(anairiats_sum_40, tmp378, atslab_0) ;
tmp468 = ats_caselptrlab_mac(anairiats_sum_40, tmp378, atslab_1) ;
tmp469 = ats_caselptrlab_mac(anairiats_sum_40, tmp378, atslab_2) ;
tmp470 = list_map_fun_01413_ats_ptr_type_ats_ptr_type (tmp469, &v0aldec_tr_25) ;
tmp376 = _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__d1ecl_valdecs (tmp377, tmp467, tmp468, ats_castfn_mac(ats_ptr_type, tmp470)) ;
break ;

/* branch: __ats_lab_93 */
__ats_lab_93_0:
if (((ats_sum_ptr_type)tmp378)->tag != 30) { goto __ats_lab_94_0 ; }
__ats_lab_93_1:
tmp471 = ats_caselptrlab_mac(anairiats_sum_19, tmp378, atslab_0) ;
tmp472 = ats_caselptrlab_mac(anairiats_sum_19, tmp378, atslab_1) ;
tmp473 = list_map_fun_01413_ats_ptr_type_ats_ptr_type (tmp472, &v0ardec_tr_28) ;
tmp376 = _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__d1ecl_vardecs (tmp377, tmp471, ats_castfn_mac(ats_ptr_type, tmp473)) ;
break ;

/* branch: __ats_lab_94 */
__ats_lab_94_0:
if (((ats_sum_ptr_type)tmp378)->tag != 26) { goto __ats_lab_95_0 ; }
__ats_lab_94_1:
tmp474 = ats_caselptrlab_mac(anairiats_sum_36, tmp378, atslab_0) ;
tmp475 = ats_caselptrlab_mac(anairiats_sum_36, tmp378, atslab_1) ;
tmp476 = ats_caselptrlab_mac(anairiats_sum_36, tmp378, atslab_2) ;
tmp477 = _2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__i0mparg_tr (tmp475) ;
tmp478 = i0mpdec_tr_29 (tmp476) ;
tmp376 = _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__d1ecl_impdec (tmp377, tmp474, tmp477, tmp478) ;
break ;

/* branch: __ats_lab_95 */
__ats_lab_95_0:
if (((ats_sum_ptr_type)tmp378)->tag != 31) { goto __ats_lab_96_0 ; }
__ats_lab_95_1:
tmp479 = ats_caselptrlab_mac(anairiats_sum_41, tmp378, atslab_0) ;
tmp480 = ats_caselptrlab_mac(anairiats_sum_41, tmp378, atslab_1) ;
tmp481 = ats_caselptrlab_mac(anairiats_sum_41, tmp378, atslab_2) ;
/* tmp482 = */ _2tmp_2ATS_2dPostiats_2src_2pats_filename_2esats__the_filenamelst_push (tmp479) ;
/* tmp483 = ats_selsin_mac(tmp482, atslab_1) */ ;
tmp484 = _2tmp_2ATS_2dPostiats_2src_2pats_trans1_decl_2edats__i0nclude_tr (arg0, tmp480, tmp481) ;
/* tmp485 = */ _2tmp_2ATS_2dPostiats_2src_2pats_filename_2esats__the_filenamelst_pop () ;
tmp376 = _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__d1ecl_include (tmp377, tmp480, tmp484) ;
break ;

/* branch: __ats_lab_96 */
__ats_lab_96_0:
if (((ats_sum_ptr_type)tmp378)->tag != 32) { goto __ats_lab_97_0 ; }
__ats_lab_96_1:
tmp486 = ats_caselptrlab_mac(anairiats_sum_32, tmp378, atslab_0) ;
tmp487 = ats_caselptrlab_mac(anairiats_sum_32, tmp378, atslab_1) ;
tmp488 = ats_caselptrlab_mac(anairiats_sum_32, tmp378, atslab_2) ;
/* ats_int_type tmp489 ; */
/* ats_ptr_type tmp490 ; */
/* tmp491 = */ _2tmp_2ATS_2dPostiats_2src_2pats_filename_2esats__the_filenamelst_push (tmp486) ;
/* tmp492 = ats_selsin_mac(tmp491, atslab_1) */ ;
tmp493 = _2tmp_2ATS_2dPostiats_2src_2pats_trans1_decl_2edats__s0taload_tr (arg0, tmp487, tmp488, (&tmp489), (&tmp490)) ;
/* tmp494 = */ _2tmp_2ATS_2dPostiats_2src_2pats_filename_2esats__the_filenamelst_pop () ;
tmp376 = _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__d1ecl_staload (tmp377, tmp487, tmp490, tmp489, tmp493) ;
break ;

/* branch: __ats_lab_97 */
__ats_lab_97_0:
if (((ats_sum_ptr_type)tmp378)->tag != 33) { goto __ats_lab_98_0 ; }
__ats_lab_97_1:
tmp495 = ats_caselptrlab_mac(anairiats_sum_32, tmp378, atslab_1) ;
tmp496 = ats_caselptrlab_mac(anairiats_sum_32, tmp378, atslab_2) ;
tmp376 = _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__d1ecl_staloadnm (tmp377, tmp495, tmp496) ;
break ;

/* branch: __ats_lab_98 */
__ats_lab_98_0:
if (((ats_sum_ptr_type)tmp378)->tag != 34) { goto __ats_lab_99_0 ; }
__ats_lab_98_1:
tmp497 = ats_caselptrlab_mac(anairiats_sum_32, tmp378, atslab_0) ;
tmp498 = ats_caselptrlab_mac(anairiats_sum_32, tmp378, atslab_1) ;
tmp499 = ats_caselptrlab_mac(anairiats_sum_32, tmp378, atslab_2) ;
tmp500 = ats_packname_get_34 () ;
/* tmp501 = */ _2tmp_2ATS_2dPostiats_2src_2pats_trans1_env_2esats__the_trans1_env_save () ;
/* tmp502 = ats_selsin_mac(tmp501, atslab_1) */ ;
tmp503 = _2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__d0eclist_tr (tmp499) ;
tmp504 = ats_packname_get2_36 (tmp500, tmp498) ;
tmp505 = _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__d1ecl_packname (tmp504) ;
tmp506 = ATS_MALLOC(sizeof(anairiats_sum_9)) ;
ats_selptrset_mac(anairiats_sum_9, tmp506, atslab_0, tmp505) ;
ats_selptrset_mac(anairiats_sum_9, tmp506, atslab_1, tmp503) ;
/* tmp507 = */ _2tmp_2ATS_2dPostiats_2src_2pats_trans1_env_2esats__the_trans1_env_restore () ;
tmp376 = _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__d1ecl_staloadloc (tmp377, tmp497, tmp498, tmp506) ;
break ;

/* branch: __ats_lab_99 */
__ats_lab_99_0:
if (((ats_sum_ptr_type)tmp378)->tag != 35) { goto __ats_lab_100_0 ; }
__ats_lab_99_1:
tmp508 = ats_caselptrlab_mac(anairiats_sum_8, tmp378, atslab_1) ;
tmp509 = _2tmp_2ATS_2dPostiats_2src_2pats_trans1_decl_2edats__r0equire_tr (arg0, tmp508) ;
tmp376 = _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__d1ecl_none (tmp377) ;
break ;

/* branch: __ats_lab_100 */
__ats_lab_100_0:
if (((ats_sum_ptr_type)tmp378)->tag != 36) { goto __ats_lab_101_0 ; }
__ats_lab_100_1:
tmp510 = ats_caselptrlab_mac(anairiats_sum_8, tmp378, atslab_0) ;
tmp511 = ats_caselptrlab_mac(anairiats_sum_8, tmp378, atslab_1) ;
/* tmp512 = */ _2tmp_2ATS_2dPostiats_2src_2pats_filename_2esats__the_filenamelst_push (tmp510) ;
/* tmp513 = ats_selsin_mac(tmp512, atslab_1) */ ;
tmp514 = _2tmp_2ATS_2dPostiats_2src_2pats_trans1_decl_2edats__d0ynload_tr (arg0, tmp511) ;
/* tmp515 = */ _2tmp_2ATS_2dPostiats_2src_2pats_filename_2esats__the_filenamelst_pop () ;
tmp376 = _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__d1ecl_dynload (tmp377, tmp514) ;
break ;

/* branch: __ats_lab_101 */
__ats_lab_101_0:
if (((ats_sum_ptr_type)tmp378)->tag != 37) { goto __ats_lab_102_0 ; }
__ats_lab_101_1:
tmp516 = ats_caselptrlab_mac(anairiats_sum_8, tmp378, atslab_0) ;
tmp517 = ats_caselptrlab_mac(anairiats_sum_8, tmp378, atslab_1) ;
/* tmp518 = */ _2tmp_2ATS_2dPostiats_2src_2pats_trans1_env_2esats__the_trans1_env_push () ;
/* tmp519 = ats_selsin_mac(tmp518, atslab_1) */ ;
tmp520 = _2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__d0eclist_tr (tmp516) ;
/* tmp521 = */ _2tmp_2ATS_2dPostiats_2src_2pats_trans1_env_2esats__the_trans1_env_push () ;
/* tmp522 = ats_selsin_mac(tmp521, atslab_1) */ ;
tmp523 = _2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__d0eclist_tr (tmp517) ;
/* tmp524 = */ _2tmp_2ATS_2dPostiats_2src_2pats_trans1_env_2esats__the_trans1_env_localjoin () ;
tmp525 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_28, arg0), atslab_d0ecl_loc) ;
tmp376 = _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__d1ecl_local (tmp525, tmp520, tmp523) ;
break ;

/* branch: __ats_lab_102 */
__ats_lab_102_0:
// if (((ats_sum_ptr_type)tmp378)->tag != 38) { ats_deadcode_failure_handle () ; }
__ats_lab_102_1:
tmp526 = ats_caselptrlab_mac(anairiats_sum_8, tmp378, atslab_0) ;
tmp527 = ats_caselptrlab_mac(anairiats_sum_8, tmp378, atslab_1) ;
tmp528 = guad0ecl_tr_42 (tmp526, tmp527) ;
tmp376 = _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__d1ecl_list (tmp377, tmp528) ;
break ;
} while (0) ;
return (tmp376) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__d0ecl_tr] */

/*
// /tmp/ATS-Postiats/src/pats_trans1_decl.dats: 32107(line=1497, offs=13) -- 32164(line=1498, offs=49)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__d0eclist_tr (ats_ptr_type arg0) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp529) ;
ATSlocal (ats_ptr_type, tmp530) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__d0eclist_tr:
tmp530 = list_map_fun_01413_ats_ptr_type_ats_ptr_type (arg0, &_2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__d0ecl_tr) ;
tmp529 = ats_castfn_mac(ats_ptr_type, tmp530) ;
return (tmp529) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__d0eclist_tr] */

/*
// /tmp/ATS-Postiats/src/pats_trans1_decl.dats: 32242(line=1505, offs=3) -- 32686(line=1533, offs=2)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__d0eclist_tr_errck (ats_ptr_type arg0) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp531) ;
ATSlocal (ats_ptr_type, tmp532) ;
ATSlocal (ats_ptr_type, tmp533) ;
ATSlocal (ats_bool_type, tmp534) ;
ATSlocal (ats_ptr_type, tmp535) ;
ATSlocal (ats_ptr_type, tmp536) ;
// ATSlocal_void (tmp537) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__d0eclist_tr_errck:
tmp532 = _2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__d0eclist_tr (arg0) ;
tmp533 = ats_packname_get_34 () ;
tmp534 = atspre_stropt_is_none (tmp533) ;
if (tmp534) {
tmp535 = tmp532 ;
} else {
tmp536 = _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__d1ecl_packname (tmp533) ;
tmp535 = ATS_MALLOC(sizeof(anairiats_sum_9)) ;
ats_selptrset_mac(anairiats_sum_9, tmp535, atslab_0, tmp536) ;
ats_selptrset_mac(anairiats_sum_9, tmp535, atslab_1, tmp532) ;
} /* end of [if] */
/* tmp537 = */ _2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__the_trans1errlst_finalize () ;
tmp531 = tmp535 ;
return (tmp531) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__d0eclist_tr_errck] */

/*
// /tmp/ATS-Postiats/src/pats_trans1_decl.dats: 32750(line=1540, offs=1) -- 32851(line=1546, offs=4)
*/
ATSstaticdec()
ats_int_type
intrep2int_47 (ats_ptr_type arg0) {
/* local vardec */
ATSlocal (ats_int_type, tmp538) ;
ATSlocal (ats_llint_type, tmp539) ;

__ats_lab_intrep2int_47:
tmp539 = _2tmp_2ATS_2dPostiats_2src_2pats_utils_2esats__llint_make_string (arg0) ;
tmp538 = atspre_int_of_llint (tmp539) ;
return (tmp538) ;
} /* end of [intrep2int_47] */

/*
// /tmp/ATS-Postiats/src/pats_trans1_decl.dats: 32880(line=1549, offs=1) -- 33526(line=1575, offs=4)
*/
ATSstaticdec()
ats_void_type
aux_dynloadflag_48 () {
/* local vardec */
// ATSlocal_void (tmp540) ;
ATSlocal (ats_ptr_type, tmp541) ;
ATSlocal (ats_ptr_type, tmp542) ;
ATSlocal (ats_ptr_type, tmp543) ;
ATSlocal (ats_int_type, tmp544) ;
ATSlocal (ats_ptr_type, tmp545) ;
ATSlocal (ats_int_type, tmp546) ;
// ATSlocal_void (tmp547) ;
ATSlocal (ats_ptr_type, tmp548) ;
// ATSlocal_void (tmp549) ;
// ATSlocal_void (tmp550) ;

__ats_lab_aux_dynloadflag_48:
tmp541 = _2tmp_2ATS_2dPostiats_2src_2pats_trans1_env_2esats__the_e1xpenv_find (_2tmp_2ATS_2dPostiats_2src_2pats_symbol_2esats__symbol_ATS_DYNLOADFLAG) ;
do {
/* branch: __ats_lab_103 */
__ats_lab_103_0:
if (tmp541 == (ats_sum_ptr_type)0) { goto __ats_lab_107_0 ; }
__ats_lab_103_1:
tmp542 = ats_caselptrlab_mac(anairiats_sum_4, tmp541, atslab_0) ;
ATS_FREE(tmp541) ;
tmp543 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_29, tmp542), atslab_e1xp_node) ;
do {
/* branch: __ats_lab_104 */
__ats_lab_104_0:
if (((ats_sum_ptr_type)tmp543)->tag != 1) { goto __ats_lab_105_0 ; }
__ats_lab_104_1:
tmp544 = ats_caselptrlab_mac(anairiats_sum_6, tmp543, atslab_0) ;
/* tmp540 = */ _2tmp_2ATS_2dPostiats_2src_2pats_global_2esats__the_DYNLOADFLAG_set (tmp544) ;
break ;

/* branch: __ats_lab_105 */
__ats_lab_105_0:
if (((ats_sum_ptr_type)tmp543)->tag != 2) { goto __ats_lab_106_0 ; }
__ats_lab_105_1:
tmp545 = ats_caselptrlab_mac(anairiats_sum_3, tmp543, atslab_0) ;
tmp546 = intrep2int_47 (tmp545) ;
/* tmp540 = */ _2tmp_2ATS_2dPostiats_2src_2pats_global_2esats__the_DYNLOADFLAG_set (tmp546) ;
break ;

/* branch: __ats_lab_106 */
__ats_lab_106_0:
__ats_lab_106_1:
tmp548 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_29, tmp542), atslab_e1xp_loc) ;
/* tmp547 = */ prerr_error1_loc_02942_ (tmp548) ;
/* tmp549 = */ atspre_prerr_string (ATSstrcst(": non-integer definition for [ATS_DYNLOADFLAG].")) ;
/* tmp550 = */ atspre_prerr_newline () ;
/* tmp540 = */ _2tmp_2ATS_2dPostiats_2src_2pats_error_2esats__abort () ;
break ;
} while (0) ;
break ;

/* branch: __ats_lab_107 */
__ats_lab_107_0:
// if (tmp541 != (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; }
__ats_lab_107_1:
break ;
} while (0) ;
return /* (tmp540) */ ;
} /* end of [aux_dynloadflag_48] */

/*
// /tmp/ATS-Postiats/src/pats_trans1_decl.dats: 33560(line=1578, offs=1) -- 34155(line=1607, offs=4)
*/
ATSstaticdec()
ats_void_type
aux_dynloadname_49 () {
/* local vardec */
// ATSlocal_void (tmp551) ;
ATSlocal (ats_ptr_type, tmp552) ;
ATSlocal (ats_ptr_type, tmp553) ;
ATSlocal (ats_ptr_type, tmp554) ;
ATSlocal (ats_ptr_type, tmp555) ;
// ATSlocal_void (tmp556) ;
ATSlocal (ats_ptr_type, tmp557) ;
// ATSlocal_void (tmp558) ;
// ATSlocal_void (tmp559) ;

__ats_lab_aux_dynloadname_49:
tmp552 = _2tmp_2ATS_2dPostiats_2src_2pats_trans1_env_2esats__the_e1xpenv_find (_2tmp_2ATS_2dPostiats_2src_2pats_symbol_2esats__symbol_ATS_DYNLOADNAME) ;
do {
/* branch: __ats_lab_108 */
__ats_lab_108_0:
if (tmp552 == (ats_sum_ptr_type)0) { goto __ats_lab_111_0 ; }
__ats_lab_108_1:
tmp553 = ats_caselptrlab_mac(anairiats_sum_4, tmp552, atslab_0) ;
ATS_FREE(tmp552) ;
tmp554 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_29, tmp553), atslab_e1xp_node) ;
do {
/* branch: __ats_lab_109 */
__ats_lab_109_0:
if (((ats_sum_ptr_type)tmp554)->tag != 5) { goto __ats_lab_110_0 ; }
__ats_lab_109_1:
tmp555 = ats_caselptrlab_mac(anairiats_sum_3, tmp554, atslab_0) ;
/* tmp551 = */ _2tmp_2ATS_2dPostiats_2src_2pats_global_2esats__the_DYNLOADNAME_set_name (tmp555) ;
break ;

/* branch: __ats_lab_110 */
__ats_lab_110_0:
__ats_lab_110_1:
tmp557 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_29, tmp553), atslab_e1xp_loc) ;
/* tmp556 = */ prerr_error1_loc_02942_ (tmp557) ;
/* tmp558 = */ atspre_prerr_string (ATSstrcst(": non-string definition for [ATS_DYNLOADNAME].")) ;
/* tmp559 = */ atspre_prerr_newline () ;
/* tmp551 = */ _2tmp_2ATS_2dPostiats_2src_2pats_error_2esats__abort () ;
break ;
} while (0) ;
break ;

/* branch: __ats_lab_111 */
__ats_lab_111_0:
// if (tmp552 != (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; }
__ats_lab_111_1:
break ;
} while (0) ;
return /* (tmp551) */ ;
} /* end of [aux_dynloadname_49] */

/*
// /tmp/ATS-Postiats/src/pats_trans1_decl.dats: 34189(line=1610, offs=1) -- 34862(line=1642, offs=4)
*/
ATSstaticdec()
ats_void_type
aux_mainatsflag_50 () {
/* local vardec */
// ATSlocal_void (tmp560) ;
ATSlocal (ats_ptr_type, tmp561) ;
ATSlocal (ats_ptr_type, tmp562) ;
ATSlocal (ats_ptr_type, tmp563) ;
ATSlocal (ats_int_type, tmp564) ;
ATSlocal (ats_ptr_type, tmp565) ;
ATSlocal (ats_int_type, tmp566) ;
// ATSlocal_void (tmp567) ;
ATSlocal (ats_ptr_type, tmp568) ;
// ATSlocal_void (tmp569) ;
// ATSlocal_void (tmp570) ;

__ats_lab_aux_mainatsflag_50:
tmp561 = _2tmp_2ATS_2dPostiats_2src_2pats_trans1_env_2esats__the_e1xpenv_find (_2tmp_2ATS_2dPostiats_2src_2pats_symbol_2esats__symbol_ATS_MAINATSFLAG) ;
do {
/* branch: __ats_lab_112 */
__ats_lab_112_0:
if (tmp561 == (ats_sum_ptr_type)0) { goto __ats_lab_116_0 ; }
__ats_lab_112_1:
tmp562 = ats_caselptrlab_mac(anairiats_sum_4, tmp561, atslab_0) ;
ATS_FREE(tmp561) ;
tmp563 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_29, tmp562), atslab_e1xp_node) ;
do {
/* branch: __ats_lab_113 */
__ats_lab_113_0:
if (((ats_sum_ptr_type)tmp563)->tag != 1) { goto __ats_lab_114_0 ; }
__ats_lab_113_1:
tmp564 = ats_caselptrlab_mac(anairiats_sum_6, tmp563, atslab_0) ;
/* tmp560 = */ _2tmp_2ATS_2dPostiats_2src_2pats_global_2esats__the_MAINATSFLAG_set (tmp564) ;
break ;

/* branch: __ats_lab_114 */
__ats_lab_114_0:
if (((ats_sum_ptr_type)tmp563)->tag != 2) { goto __ats_lab_115_0 ; }
__ats_lab_114_1:
tmp565 = ats_caselptrlab_mac(anairiats_sum_3, tmp563, atslab_0) ;
tmp566 = intrep2int_47 (tmp565) ;
/* tmp560 = */ _2tmp_2ATS_2dPostiats_2src_2pats_global_2esats__the_MAINATSFLAG_set (tmp566) ;
break ;

/* branch: __ats_lab_115 */
__ats_lab_115_0:
__ats_lab_115_1:
tmp568 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_29, tmp562), atslab_e1xp_loc) ;
/* tmp567 = */ prerr_error1_loc_02942_ (tmp568) ;
/* tmp569 = */ atspre_prerr_string (ATSstrcst(": non-integer definition for [ATS_MAINATSFLAG].")) ;
/* tmp570 = */ atspre_prerr_newline () ;
/* tmp560 = */ _2tmp_2ATS_2dPostiats_2src_2pats_error_2esats__abort () ;
break ;
} while (0) ;
break ;

/* branch: __ats_lab_116 */
__ats_lab_116_0:
// if (tmp561 != (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; }
__ats_lab_116_1:
break ;
} while (0) ;
return /* (tmp560) */ ;
} /* end of [aux_mainatsflag_50] */

/*
// /tmp/ATS-Postiats/src/pats_trans1_decl.dats: 34896(line=1645, offs=1) -- 35512(line=1673, offs=4)
*/
ATSstaticdec()
ats_void_type
aux_static_prefix_51 () {
/* local vardec */
// ATSlocal_void (tmp571) ;
ATSlocal (ats_ptr_type, tmp572) ;
ATSlocal (ats_ptr_type, tmp573) ;
ATSlocal (ats_ptr_type, tmp574) ;
ATSlocal (ats_ptr_type, tmp575) ;
// ATSlocal_void (tmp576) ;
ATSlocal (ats_ptr_type, tmp577) ;
// ATSlocal_void (tmp578) ;
// ATSlocal_void (tmp579) ;

__ats_lab_aux_static_prefix_51:
tmp572 = _2tmp_2ATS_2dPostiats_2src_2pats_trans1_env_2esats__the_e1xpenv_find (_2tmp_2ATS_2dPostiats_2src_2pats_symbol_2esats__symbol_ATS_STATIC_PREFIX) ;
do {
/* branch: __ats_lab_117 */
__ats_lab_117_0:
if (tmp572 == (ats_sum_ptr_type)0) { goto __ats_lab_120_0 ; }
__ats_lab_117_1:
tmp573 = ats_caselptrlab_mac(anairiats_sum_4, tmp572, atslab_0) ;
ATS_FREE(tmp572) ;
tmp574 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_29, tmp573), atslab_e1xp_node) ;
do {
/* branch: __ats_lab_118 */
__ats_lab_118_0:
if (((ats_sum_ptr_type)tmp574)->tag != 5) { goto __ats_lab_119_0 ; }
__ats_lab_118_1:
tmp575 = ats_caselptrlab_mac(anairiats_sum_3, tmp574, atslab_0) ;
/* tmp571 = */ _2tmp_2ATS_2dPostiats_2src_2pats_global_2esats__the_STATIC_PREFIX_set_name (tmp575) ;
break ;

/* branch: __ats_lab_119 */
__ats_lab_119_0:
__ats_lab_119_1:
tmp577 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_29, tmp573), atslab_e1xp_loc) ;
/* tmp576 = */ prerr_error1_loc_02942_ (tmp577) ;
/* tmp578 = */ atspre_prerr_string (ATSstrcst(": non-string definition for [ATS_STATIC_PREFIX].")) ;
/* tmp579 = */ atspre_prerr_newline () ;
/* tmp571 = */ _2tmp_2ATS_2dPostiats_2src_2pats_error_2esats__abort () ;
break ;
} while (0) ;
break ;

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

/*
// /tmp/ATS-Postiats/src/pats_trans1_decl.dats: 35593(line=1678, offs=16) -- 35775(line=1688, offs=2)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__trans1_finalize () {
/* local vardec */
// ATSlocal_void (tmp580) ;
// ATSlocal_void (tmp581) ;
// ATSlocal_void (tmp582) ;
// ATSlocal_void (tmp583) ;
// ATSlocal_void (tmp584) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__trans1_finalize:
/* tmp581 = */ aux_dynloadflag_48 () ;
/* tmp582 = */ aux_dynloadname_49 () ;
/* tmp583 = */ aux_mainatsflag_50 () ;
/* tmp584 = */ aux_static_prefix_51 () ;
/* tmp580 = */ _2tmp_2ATS_2dPostiats_2src_2pats_filename_2esats__the_filenamelst_ppop () ;
return /* (tmp580) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__trans1_finalize] */

/* static load function */

// extern ats_void_type _2tmp_2ATS_2dPostiats_2src_2pats_atspre_2edats__staload (void) ;
// extern ats_void_type ATS_2d0_2e2_2e12_2prelude_2SATS_2unsafe_2esats__staload (void) ;
extern ats_void_type _2tmp_2ATS_2dPostiats_2src_2pats_utils_2esats__staload (void) ;
extern ats_void_type _2tmp_2ATS_2dPostiats_2src_2pats_error_2esats__staload (void) ;
extern ats_void_type _2tmp_2ATS_2dPostiats_2src_2pats_global_2esats__staload (void) ;
extern ats_void_type _2tmp_2ATS_2dPostiats_2src_2pats_symbol_2esats__staload (void) ;
extern ats_void_type _2tmp_2ATS_2dPostiats_2src_2pats_filename_2esats__staload (void) ;
extern ats_void_type _2tmp_2ATS_2dPostiats_2src_2pats_parsing_2esats__staload (void) ;
extern ats_void_type _2tmp_2ATS_2dPostiats_2src_2pats_basics_2esats__staload (void) ;
extern ats_void_type _2tmp_2ATS_2dPostiats_2src_2pats_errmsg_2esats__staload (void) ;
extern ats_void_type _2tmp_2ATS_2dPostiats_2src_2pats_errmsg_2edats__staload (void) ;
extern ats_void_type _2tmp_2ATS_2dPostiats_2src_2pats_lexing_2esats__staload (void) ;
extern ats_void_type _2tmp_2ATS_2dPostiats_2src_2pats_fixity_2esats__staload (void) ;
extern ats_void_type _2tmp_2ATS_2dPostiats_2src_2pats_syntax_2esats__staload (void) ;
extern ats_void_type _2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__staload (void) ;
extern ats_void_type _2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__staload (void) ;
extern ats_void_type _2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__staload (void) ;
extern ats_void_type _2tmp_2ATS_2dPostiats_2src_2pats_trans1_env_2esats__staload (void) ;
extern ats_void_type _2tmp_2ATS_2dPostiats_2src_2pats_e1xpval_2esats__staload (void) ;

ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_trans1_decl_2edats__staload () {
static int _2tmp_2ATS_2dPostiats_2src_2pats_trans1_decl_2edats__staload_flag = 0 ;
if (_2tmp_2ATS_2dPostiats_2src_2pats_trans1_decl_2edats__staload_flag) return ;
_2tmp_2ATS_2dPostiats_2src_2pats_trans1_decl_2edats__staload_flag = 1 ;

// _2tmp_2ATS_2dPostiats_2src_2pats_atspre_2edats__staload () ;
// ATS_2d0_2e2_2e12_2prelude_2SATS_2unsafe_2esats__staload () ;
_2tmp_2ATS_2dPostiats_2src_2pats_utils_2esats__staload () ;
_2tmp_2ATS_2dPostiats_2src_2pats_error_2esats__staload () ;
_2tmp_2ATS_2dPostiats_2src_2pats_global_2esats__staload () ;
_2tmp_2ATS_2dPostiats_2src_2pats_symbol_2esats__staload () ;
_2tmp_2ATS_2dPostiats_2src_2pats_filename_2esats__staload () ;
_2tmp_2ATS_2dPostiats_2src_2pats_parsing_2esats__staload () ;
_2tmp_2ATS_2dPostiats_2src_2pats_basics_2esats__staload () ;
_2tmp_2ATS_2dPostiats_2src_2pats_errmsg_2esats__staload () ;
_2tmp_2ATS_2dPostiats_2src_2pats_errmsg_2edats__staload () ;
_2tmp_2ATS_2dPostiats_2src_2pats_lexing_2esats__staload () ;
_2tmp_2ATS_2dPostiats_2src_2pats_fixity_2esats__staload () ;
_2tmp_2ATS_2dPostiats_2src_2pats_syntax_2esats__staload () ;
_2tmp_2ATS_2dPostiats_2src_2pats_staexp1_2esats__staload () ;
_2tmp_2ATS_2dPostiats_2src_2pats_dynexp1_2esats__staload () ;
_2tmp_2ATS_2dPostiats_2src_2pats_trans1_2esats__staload () ;
_2tmp_2ATS_2dPostiats_2src_2pats_trans1_env_2esats__staload () ;
_2tmp_2ATS_2dPostiats_2src_2pats_e1xpval_2esats__staload () ;

return ;
} /* staload function */

/* dynamic load function */

// dynload flag declaration
extern ats_int_type _2tmp_2ATS_2dPostiats_2src_2pats_trans1_decl_2edats__dynload_flag ;

ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_trans1_decl_2edats__dynload () {
_2tmp_2ATS_2dPostiats_2src_2pats_trans1_decl_2edats__dynload_flag = 1 ;
_2tmp_2ATS_2dPostiats_2src_2pats_trans1_decl_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_2SATS_2array_2esats__array_v_takeout2_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_2prelude_2DATS_2list_vt_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_vt_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_vt_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_vt_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_vt_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_vt_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2array_2edats____copy_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2array_2edats____free_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2array_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2array_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 */


ats_bool_type
patsopt_extnam_ismac
(
  ats_ptr_type ext, ats_ptr_type ext_new
) {
  int sgn ;
  char* p ; int len ; 
//
  sgn =
  strncmp((char*)ext, "mac#", 4) ;
//
  if (sgn == 0) {
    p = strchr ((char*)ext, '#') ;
    len = strlen (p) ;
    *(char**)ext_new = (char*)atspre_string_make_substring(p, 1, len-1) ;
    return ats_true_bool ;
  } // end of [if]
  return ats_false_bool ;
} // end of [patsopt_extnam_ismac]

ats_bool_type
patsopt_extnam_issta
(
  ats_ptr_type ext, ats_ptr_type ext_new
) {
  int sgn ;
  char* p ; int len ; 
  sgn =
  strncmp((char*)ext, "sta#", 4) ;
  if (sgn == 0) {
    p = strchr ((char*)ext, '#') ;
    len = strlen (p) ;
    *(char**)ext_new = (char*)atspre_string_make_substring(p, 1, len-1) ;
    return ats_true_bool ;
  } // end of [if]
  return ats_false_bool ;
} // end of [patsopt_extnam_issta]

ats_bool_type
patsopt_extnam_isext
(
  ats_ptr_type ext, ats_ptr_type ext_new
) {
  int sgn ;
  char* p ; int len ; 
  sgn =
  strncmp((char*)ext, "ext#", 4) ;
  if (sgn == 0) {
    p = strchr ((char*)ext, '#') ;
    len = strlen (p) ;
    *(char**)ext_new = (char*)atspre_string_make_substring(p, 1, len-1) ;
    return ats_true_bool ;
  } // end of [if]
  return ats_false_bool ;
} // end of [patsopt_extnam_isext]



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

/* end of [pats_trans1_decl_dats.c] */
