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

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

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

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_lexbuf.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_lexbuf.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#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_location.cats"

#include "pats_lexbuf.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_lexbuf.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_lexbuf.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_lexbuf.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_lexbuf.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_lexbuf.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_lexbuf.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_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_location.cats"

#include "pats_location.cats"

#include "pats_lexbuf.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_lexbuf.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_lexbuf.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_lexbuf.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_lexbuf.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_lexbuf.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_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_location.cats"

#include "pats_lexbuf.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_lexbuf.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_lexbuf.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_lexbuf.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_location.cats"

#include "pats_lexbuf.cats"

#include "pats_location.cats"

#include "pats_location.cats"
/* external codes at top */
/* type definitions */
typedef
struct {
ats_ptr_type atslab_hipat_loc ;
ats_ptr_type atslab_hipat_type ;
ats_ptr_type atslab_hipat_node ;
ats_ptr_type atslab_hipat_asvar ;
} anairiats_rec_0 ;

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

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

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

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

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

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

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

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

typedef
struct {
ats_ptr_type atslab_hilab_loc ;
ats_ptr_type atslab_hilab_node ;
} anairiats_rec_9 ;

typedef
struct {
ats_ptr_type atslab_hidexp_loc ;
ats_ptr_type atslab_hidexp_type ;
ats_ptr_type atslab_hidexp_node ;
} anairiats_rec_10 ;

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

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

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

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

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

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

typedef struct {
ats_ptr_type atslab_0 ;
} anairiats_sum_17 ;

typedef
struct {
ats_ptr_type atslab_higmat_loc ;
ats_ptr_type atslab_higmat_exp ;
ats_ptr_type atslab_higmat_pat ;
} anairiats_rec_18 ;

typedef
struct {
ats_ptr_type atslab_hiclau_loc ;
ats_ptr_type atslab_hiclau_pat ;
ats_ptr_type atslab_hiclau_gua ;
ats_int_type atslab_hiclau_seq ;
ats_int_type atslab_hiclau_neg ;
ats_ptr_type atslab_hiclau_body ;
} anairiats_rec_19 ;

typedef
struct {
ats_ptr_type atslab_hidecl_loc ;
ats_ptr_type atslab_hidecl_node ;
} anairiats_rec_20 ;

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

typedef
struct {
ats_ptr_type atslab_hiimpdec_loc ;
ats_int_type atslab_hiimpdec_knd ;
ats_ptr_type atslab_hiimpdec_cst ;
ats_ptr_type atslab_hiimpdec_imparg ;
ats_ptr_type atslab_hiimpdec_tmparg ;
ats_ptr_type atslab_hiimpdec_def ;
ats_ptr_type atslab_hiimpdec_funlab ;
ats_ptr_type atslab_hiimpdec_instrlst ;
} anairiats_rec_22 ;

typedef
struct {
ats_ptr_type atslab_hifundec_loc ;
ats_ptr_type atslab_hifundec_var ;
ats_ptr_type atslab_hifundec_imparg ;
ats_ptr_type atslab_hifundec_def ;
ats_ptr_type atslab_hifundec_hidecl ;
ats_ptr_type atslab_hifundec_funlab ;
} anairiats_rec_23 ;

typedef
struct {
ats_ptr_type atslab_hivaldec_loc ;
ats_ptr_type atslab_hivaldec_pat ;
ats_ptr_type atslab_hivaldec_def ;
} anairiats_rec_24 ;

typedef
struct {
ats_ptr_type atslab_hivardec_loc ;
ats_int_type atslab_hivardec_knd ;
ats_ptr_type atslab_hivardec_dvar_ptr ;
ats_ptr_type atslab_hivardec_dvar_view ;
ats_ptr_type atslab_hivardec_type ;
ats_ptr_type atslab_hivardec_init ;
} anairiats_rec_25 ;

/* external typedefs */
/* external dynamic constructor declarations */
ATSextern_val(ats_sum_type, ATS_2d0_2e2_2e12_2prelude_2basics_sta_2esats__list_cons_0) ;
ATSextern_val(ats_sum_type, ATS_2d0_2e2_2e12_2prelude_2basics_sta_2esats__list_nil_1) ;
ATSextern_val(ats_sum_type, ATS_2d0_2e2_2e12_2prelude_2basics_sta_2esats__None_0) ;
ATSextern_val(ats_sum_type, ATS_2d0_2e2_2e12_2prelude_2basics_sta_2esats__Some_1) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__LABHIPAT_0) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__HIPany_0) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__HIPvar_1) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__HIPint_2) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__HIPintrep_3) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__HIPbool_4) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__HIPchar_5) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__HIPstring_6) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__HIPfloat_7) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__HIPi0nt_8) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__HIPf0loat_9) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__HIPempty_10) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__HIPcon_11) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__HIPcon_any_12) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__HIPrec_13) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__HIPrefas_14) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__HIPann_15) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__HIPerr_16) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__HILlab_0) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__HILind_1) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__LABHIDEXP_0) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__HDEcst_0) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__HDEvar_1) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__HDEint_2) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__HDEintrep_3) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__HDEbool_4) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__HDEchar_5) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__HDEfloat_6) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__HDEstring_7) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__HDEi0nt_8) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__HDEf0loat_9) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__HDEcstsp_10) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__HDEtyrep_11) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__HDEtop_12) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__HDEempty_13) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__HDEignore_14) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__HDEcastfn_15) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__HDEextval_16) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__HDEextfcall_17) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__HDEextmcall_18) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__HDEcon_19) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__HDEtmpcst_20) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__HDEtmpvar_21) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__HDEfoldat_22) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__HDEfreeat_23) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__HDElet_24) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__HDEapp_25) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__HDEif_26) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__HDEsif_27) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__HDEcase_28) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__HDElst_29) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__HDErec_30) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__HDEseq_31) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__HDEselab_32) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__HDEptrofvar_33) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__HDEptrofsel_34) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__HDErefarg_35) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__HDEselvar_36) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__HDEselptr_37) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__HDEassgn_var_38) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__HDEassgn_ptr_39) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__HDExchng_var_40) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__HDExchng_ptr_41) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__HDEarrpsz_42) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__HDEarrinit_43) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__HDEraise_44) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__HDEvararg_45) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__HDEtempenver_46) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__HDElam_47) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__HDEfix_48) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__HDEdelay_49) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__HDEldelay_50) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__HDElazyeval_51) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__HDEloop_52) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__HDEloopexn_53) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__HDEtrywith_54) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__HDEerrexp_55) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__HIDnone_0) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__HIDlist_1) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__HIDsaspdec_2) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__HIDreassume_3) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__HIDextcode_6) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__HIDexndecs_7) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__HIDdatdecs_8) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__HIDdcstdecs_9) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__HIDimpdec_10) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__HIDfundecs_11) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__HIDvaldecs_12) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__HIDvaldecs_rec_13) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__HIDvardecs_14) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__HIDinclude_15) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__HIDstaload_16) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__HIDstaloadloc_17) ;

/* external dynamic constant declarations */
ATSextern_fun(ats_void_type, atspre_fprint_newline) (ats_ptr_type) ;
ATSextern_fun(ats_bool_type, atspre_neg_bool) (ats_bool_type) ;
ATSextern_fun(ats_void_type, atspre_fprint_bool) (ats_ptr_type, ats_bool_type) ;
ATSextern_fun(ats_bool_type, atspre_lt_char_char) (ats_char_type, ats_char_type) ;
ATSextern_fun(ats_bool_type, atspre_gt_char_char) (ats_char_type, ats_char_type) ;
ATSextern_fun(ats_bool_type, atspre_eq_char_char) (ats_char_type, ats_char_type) ;
ATSextern_fun(ats_bool_type, atspre_neq_char_char) (ats_char_type, ats_char_type) ;
ATSextern_fun(ats_int_type, atspre_compare_char_char) (ats_char_type, ats_char_type) ;
ATSextern_fun(ats_void_type, atspre_fprint_char) (ats_ptr_type, ats_char_type) ;
ATSextern_fun(ats_bool_type, atspre_char_isdigit) (ats_char_type) ;
ATSextern_fun(ats_char_type, atspre_char_toupper) (ats_char_type) ;
ATSextern_fun(ats_bool_type, atspre_eq_char_char) (ats_char_type, ats_char_type) ;
ATSextern_fun(ats_int_type, atspre_add_int_int) (ats_int_type, ats_int_type) ;
ATSextern_fun(ats_bool_type, atspre_lt_int_int) (ats_int_type, ats_int_type) ;
ATSextern_fun(ats_bool_type, atspre_lte_int_int) (ats_int_type, ats_int_type) ;
ATSextern_fun(ats_bool_type, atspre_gt_int_int) (ats_int_type, ats_int_type) ;
ATSextern_fun(ats_bool_type, atspre_eq_int_int) (ats_int_type, ats_int_type) ;
ATSextern_fun(ats_void_type, atspre_fprint_int) (ats_ptr_type, ats_int_type) ;
ATSextern_fun(ats_uint_type, atspre_add_uint_uint) (ats_uint_type, ats_uint_type) ;
ATSextern_fun(ats_int_type, atspre_isucc) (ats_int_type) ;
ATSextern_fun(ats_int_type, atspre_iadd) (ats_int_type, ats_int_type) ;
ATSextern_fun(ats_int_type, atspre_isub) (ats_int_type, ats_int_type) ;
ATSextern_fun(ats_bool_type, atspre_igt) (ats_int_type, ats_int_type) ;
ATSextern_fun(ats_bool_type, atspre_igte) (ats_int_type, ats_int_type) ;
ATSextern_fun(ats_llint_type, atspre_llint_of_int) (ats_int_type) ;
ATSextern_fun(ats_llint_type, atspre_mul_llint_llint) (ats_llint_type, ats_llint_type) ;
ATSextern_fun(ats_size_type, atspre_sub_size_size) (ats_size_type, ats_size_type) ;
ATSextern_fun(ats_bool_type, atspre_gte_size_size) (ats_size_type, ats_size_type) ;
ATSextern_fun(ats_size_type, atspre_size1_of_int1) (ats_int_type) ;
ATSextern_fun(ats_size_type, atspre_add_size1_int1) (ats_size_type, ats_int_type) ;
ATSextern_fun(ats_size_type, atspre_sub_size1_int1) (ats_size_type, ats_int_type) ;
ATSextern_fun(ats_size_type, atspre_sub_size1_size1) (ats_size_type, ats_size_type) ;
ATSextern_fun(ats_size_type, atspre_mul_size1_size1) (ats_size_type, ats_size_type) ;
ATSextern_fun(ats_size_type, atspre_mul2_size1_size1) (ats_size_type, ats_size_type) ;
ATSextern_fun(ats_bool_type, atspre_gt_size1_int1) (ats_size_type, ats_int_type) ;
ATSextern_fun(ats_bool_type, atspre_gt_size1_size1) (ats_size_type, ats_size_type) ;
ATSextern_fun(ats_bool_type, atspre_eq_size1_int1) (ats_size_type, ats_int_type) ;
ATSextern_fun(ats_bool_type, atspre_eq_size1_size1) (ats_size_type, ats_size_type) ;
ATSextern_fun(ats_ptr_type, ats_malloc_gc) (ats_size_type) ;
ATSextern_fun(ats_void_type, atspre_bytes_strbuf_trans) (ats_ptr_type, ats_size_type) ;
ATSextern_fun(ats_bool_type, atspre_eq_string_string) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, atspre_fprint_string) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_char_type, atspre_string_get_char_at) (ats_ptr_type, ats_size_type) ;
ATSextern_fun(ats_char_type, atspre_string_get_char_at__intsz) (ats_ptr_type, ats_int_type) ;
ATSextern_fun(ats_ptr_type, atspre_string_copy) (ats_ptr_type) ;
ATSextern_fun(ats_bool_type, atspre_string_contains) (ats_ptr_type, ats_char_type) ;
ATSextern_fun(ats_size_type, atspre_string_length) (ats_ptr_type) ;
ATSextern_fun(ats_size_type, atspre_string_length) (ats_ptr_type) ;
ATSextern_fun(ats_bool_type, atspre_string_isnot_empty) (ats_ptr_type) ;
ATSextern_fun(ats_bool_type, atspre_string_isnot_atend) (ats_ptr_type, ats_size_type) ;
ATSextern_val(ats_ptr_type, atspre_stropt_none) ;
ATSextern_fun(ats_bool_type, atspre_stropt_is_some) (ats_ptr_type) ;
ATSextern_fun(ats_void_type, atspre_strptr_free) (ats_ptr_type) ;
ATSextern_fun(ats_void_type, atspre_fprintf_exn) (ats_ptr_type, ats_ptr_type, ...) ;
ATSextern_fun(ats_ptr_type, atspre_tostringf) (ats_ptr_type, ...) ;
ATSextern_fun(ats_ptr_type, ListSubscriptException_make) () ;
ATSextern_fun(ats_ptr_type, atspre_array_ptr_alloc_tsz) (ats_size_type, ats_size_type) ;
ATSextern_fun(ats_void_type, atspre_array_ptr_free) (ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_utils_2esats__fprint_stropt) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_utils_2esats__charset_listize) (ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, patsopt_file2strptr) (ats_int_type) ;
ATSextern_fun(ats_size_type, ATS_2d0_2e2_2e12_2libats_2ngc_2SATS_2deque_arr_2esats__deque_cap) (ats_ref_type) ;
ATSextern_fun(ats_size_type, ATS_2d0_2e2_2e12_2libats_2ngc_2SATS_2deque_arr_2esats__deque_size) (ats_ref_type) ;
ATSextern_fun(ats_bool_type, ATS_2d0_2e2_2e12_2libats_2ngc_2SATS_2deque_arr_2esats__deque_is_empty) (ats_ref_type) ;
ATSextern_fun(ats_bool_type, ATS_2d0_2e2_2e12_2libats_2ngc_2SATS_2deque_arr_2esats__deque_isnot_empty) (ats_ref_type) ;
ATSextern_fun(ats_bool_type, ATS_2d0_2e2_2e12_2libats_2ngc_2SATS_2deque_arr_2esats__deque_is_full) (ats_ref_type) ;
ATSextern_fun(ats_bool_type, ATS_2d0_2e2_2e12_2libats_2ngc_2SATS_2deque_arr_2esats__deque_isnot_full) (ats_ref_type) ;
ATSextern_fun(ats_void_type, atslib_ngc_deque_arr_deque_initialize_tsz) (ats_ref_type, ats_size_type, ats_ptr_type, ats_size_type) ;
ATSextern_fun(ats_ptr_type, atslib_ngc_deque_arr_deque_uninitialize) (ats_ref_type) ;
ATSextern_fun(ats_ptr_type, ATS_2d0_2e2_2e12_2libats_2ngc_2SATS_2deque_arr_2esats__deque_uninitialize_vt) (ats_ref_type) ;
ATSextern_fun(ats_ptr_type, atslib_ngc_deque_arr_deque_takeout_tsz) (ats_ref_type, ats_size_type, ats_size_type) ;
ATSextern_fun(ats_void_type, atslib_ngc_deque_arr_deque_insert_end_many_tsz) (ats_ref_type, ats_size_type, ats_ref_type, ats_size_type) ;
ATSextern_fun(ats_void_type, atslib_ngc_deque_arr_deque_remove_beg_many_tsz) (ats_ref_type, ats_size_type, ats_ref_type, ats_size_type) ;
ATSextern_fun(ats_void_type, ATS_2d0_2e2_2e12_2libats_2ngc_2SATS_2deque_arr_2esats__deque_clear_all) (ats_ref_type) ;
ATSextern_fun(ats_void_type, atslib_ngc_deque_arr_deque_copyout_tsz) (ats_ref_type, ats_size_type, ats_size_type, ats_ref_type, ats_size_type) ;
ATSextern_fun(ats_ptr_type, atslib_ngc_deque_arr_deque_update_capacity_tsz) (ats_ref_type, ats_size_type, ats_ptr_type, ats_size_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_basics_2esats__fprint_caskind) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_basics_2esats__fprint_dcstkind) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_symbol_2esats__fprint_symbol) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_label_2esats__fprint_label) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_filename_2esats__fprint_filename_full) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_cstsp) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_i0nt) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_f0loat) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp2_2esats__fprint_s2cstlst) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp2_2esats__fprint_d2con) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp2_2esats__fprint_d2conlst) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp2_2esats__fpprint_s2exp) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_staexp2_2esats__fpprint_t2mpmarglst) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2cst) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2cstlst) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2var) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2varlst) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_histaexp_2esats__fprint_hisexp) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hipat) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hipatlst) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_labhipatlst) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hidexp) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hidexplst) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_labhidexplst) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hilab) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hilablst) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hidecl) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hideclist) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hifundec) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hivaldec) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hivardec) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hiimpdec) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_print_2edats__fprint_labhipat) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_print_2edats__fprint_higmat) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_print_2edats__fprint_hiclau) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_print_2edats__fprint_labhidexp) (ats_ptr_type, ats_ptr_type) ;

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

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

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

/* function implementations */

/*
// /tmp/ATS-Postiats/src/pats_hidynexp_print.dats: 1901(line=72, offs=3) -- 4735(line=204, offs=4)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hipat (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp0) ;
ATSlocal (ats_ptr_type, tmp1) ;
ATSlocal (ats_ptr_type, tmp2) ;
// ATSlocal_void (tmp3) ;
// ATSlocal_void (tmp4) ;
ATSlocal (ats_ptr_type, tmp5) ;
// ATSlocal_void (tmp6) ;
// ATSlocal_void (tmp7) ;
ATSlocal (ats_ptr_type, tmp8) ;
ATSlocal (ats_ptr_type, tmp9) ;
ATSlocal (ats_ptr_type, tmp10) ;
// ATSlocal_void (tmp11) ;
// ATSlocal_void (tmp12) ;
// ATSlocal_void (tmp13) ;
// ATSlocal_void (tmp14) ;
// ATSlocal_void (tmp15) ;
// ATSlocal_void (tmp16) ;
// ATSlocal_void (tmp17) ;
ATSlocal (ats_ptr_type, tmp18) ;
// ATSlocal_void (tmp19) ;
// ATSlocal_void (tmp20) ;
ATSlocal (ats_int_type, tmp21) ;
// ATSlocal_void (tmp22) ;
// ATSlocal_void (tmp23) ;
ATSlocal (ats_ptr_type, tmp24) ;
// ATSlocal_void (tmp25) ;
// ATSlocal_void (tmp26) ;
ATSlocal (ats_bool_type, tmp27) ;
// ATSlocal_void (tmp28) ;
// ATSlocal_void (tmp29) ;
ATSlocal (ats_char_type, tmp30) ;
// ATSlocal_void (tmp31) ;
// ATSlocal_void (tmp32) ;
ATSlocal (ats_ptr_type, tmp33) ;
// ATSlocal_void (tmp34) ;
// ATSlocal_void (tmp35) ;
ATSlocal (ats_ptr_type, tmp36) ;
// ATSlocal_void (tmp37) ;
// ATSlocal_void (tmp38) ;
ATSlocal (ats_ptr_type, tmp39) ;
// ATSlocal_void (tmp40) ;
// ATSlocal_void (tmp41) ;
ATSlocal (ats_ptr_type, tmp42) ;
// ATSlocal_void (tmp43) ;
// ATSlocal_void (tmp44) ;
ATSlocal (ats_int_type, tmp45) ;
ATSlocal (ats_ptr_type, tmp46) ;
// ATSlocal_void (tmp47) ;
// ATSlocal_void (tmp48) ;
// ATSlocal_void (tmp49) ;
// ATSlocal_void (tmp50) ;
ATSlocal (ats_ptr_type, tmp51) ;
ATSlocal (ats_ptr_type, tmp52) ;
// ATSlocal_void (tmp53) ;
// ATSlocal_void (tmp54) ;
// ATSlocal_void (tmp55) ;
// ATSlocal_void (tmp56) ;
ATSlocal (ats_ptr_type, tmp57) ;
ATSlocal (ats_ptr_type, tmp58) ;
// ATSlocal_void (tmp59) ;
// ATSlocal_void (tmp60) ;
// ATSlocal_void (tmp61) ;
// ATSlocal_void (tmp62) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hipat:
tmp1 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_0, arg1), atslab_hipat_node) ;
do {
/* branch: __ats_lab_0 */
__ats_lab_0_0:
if (((ats_sum_ptr_type)tmp1)->tag != 0) { goto __ats_lab_1_0 ; }
__ats_lab_0_1:
tmp2 = ats_caselptrlab_mac(anairiats_sum_1, tmp1, atslab_0) ;
/* tmp3 = */ atspre_fprint_string (arg0, ATSstrcst("HIPany(")) ;
/* tmp4 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2var (arg0, tmp2) ;
/* tmp0 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

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

/* branch: __ats_lab_2 */
__ats_lab_2_0:
if (((ats_sum_ptr_type)tmp1)->tag != 11) { goto __ats_lab_3_0 ; }
__ats_lab_2_1:
tmp8 = ats_caselptrlab_mac(anairiats_sum_2, tmp1, atslab_1) ;
tmp9 = ats_caselptrlab_mac(anairiats_sum_2, tmp1, atslab_2) ;
tmp10 = ats_caselptrlab_mac(anairiats_sum_2, tmp1, atslab_3) ;
/* tmp11 = */ atspre_fprint_string (arg0, ATSstrcst("HIPcon(")) ;
/* tmp12 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp2_2esats__fprint_d2con (arg0, tmp8) ;
/* tmp13 = */ atspre_fprint_string (arg0, ATSstrcst("(")) ;
/* tmp14 = */ _2tmp_2ATS_2dPostiats_2src_2pats_histaexp_2esats__fprint_hisexp (arg0, tmp9) ;
/* tmp15 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp16 = */ _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_labhipatlst (arg0, tmp10) ;
/* tmp17 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
/* tmp0 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_3 */
__ats_lab_3_0:
if (((ats_sum_ptr_type)tmp1)->tag != 12) { goto __ats_lab_4_0 ; }
__ats_lab_3_1:
tmp18 = ats_caselptrlab_mac(anairiats_sum_3, tmp1, atslab_1) ;
/* tmp19 = */ atspre_fprint_string (arg0, ATSstrcst("HIPcon_any(")) ;
/* tmp20 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp2_2esats__fprint_d2con (arg0, tmp18) ;
/* tmp0 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_4 */
__ats_lab_4_0:
if (((ats_sum_ptr_type)tmp1)->tag != 2) { goto __ats_lab_5_0 ; }
__ats_lab_4_1:
tmp21 = ats_caselptrlab_mac(anairiats_sum_4, tmp1, atslab_0) ;
/* tmp22 = */ atspre_fprint_string (arg0, ATSstrcst("HIPint(")) ;
/* tmp23 = */ atspre_fprint_int (arg0, tmp21) ;
/* tmp0 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_5 */
__ats_lab_5_0:
if (((ats_sum_ptr_type)tmp1)->tag != 3) { goto __ats_lab_6_0 ; }
__ats_lab_5_1:
tmp24 = ats_caselptrlab_mac(anairiats_sum_1, tmp1, atslab_0) ;
/* tmp25 = */ atspre_fprint_string (arg0, ATSstrcst("HIPintrep(")) ;
/* tmp26 = */ atspre_fprint_string (arg0, tmp24) ;
/* tmp0 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_6 */
__ats_lab_6_0:
if (((ats_sum_ptr_type)tmp1)->tag != 4) { goto __ats_lab_7_0 ; }
__ats_lab_6_1:
tmp27 = ats_caselptrlab_mac(anairiats_sum_5, tmp1, atslab_0) ;
/* tmp28 = */ atspre_fprint_string (arg0, ATSstrcst("HIPbool(")) ;
/* tmp29 = */ atspre_fprint_bool (arg0, tmp27) ;
/* tmp0 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_7 */
__ats_lab_7_0:
if (((ats_sum_ptr_type)tmp1)->tag != 5) { goto __ats_lab_8_0 ; }
__ats_lab_7_1:
tmp30 = ats_caselptrlab_mac(anairiats_sum_6, tmp1, atslab_0) ;
/* tmp31 = */ atspre_fprint_string (arg0, ATSstrcst("HIPchar(")) ;
/* tmp32 = */ atspre_fprint_char (arg0, tmp30) ;
/* tmp0 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_8 */
__ats_lab_8_0:
if (((ats_sum_ptr_type)tmp1)->tag != 6) { goto __ats_lab_9_0 ; }
__ats_lab_8_1:
tmp33 = ats_caselptrlab_mac(anairiats_sum_1, tmp1, atslab_0) ;
/* tmp34 = */ atspre_fprint_string (arg0, ATSstrcst("HIPstring(")) ;
/* tmp35 = */ atspre_fprint_string (arg0, tmp33) ;
/* tmp0 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_9 */
__ats_lab_9_0:
if (((ats_sum_ptr_type)tmp1)->tag != 7) { goto __ats_lab_10_0 ; }
__ats_lab_9_1:
tmp36 = ats_caselptrlab_mac(anairiats_sum_1, tmp1, atslab_0) ;
/* tmp37 = */ atspre_fprint_string (arg0, ATSstrcst("HIPfloat(")) ;
/* tmp38 = */ atspre_fprint_string (arg0, tmp36) ;
/* tmp0 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_10 */
__ats_lab_10_0:
if (((ats_sum_ptr_type)tmp1)->tag != 8) { goto __ats_lab_11_0 ; }
__ats_lab_10_1:
tmp39 = ats_caselptrlab_mac(anairiats_sum_1, tmp1, atslab_0) ;
/* tmp40 = */ atspre_fprint_string (arg0, ATSstrcst("HIPi0nt(")) ;
/* tmp41 = */ _2tmp_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_i0nt (arg0, tmp39) ;
/* tmp0 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_11 */
__ats_lab_11_0:
if (((ats_sum_ptr_type)tmp1)->tag != 9) { goto __ats_lab_12_0 ; }
__ats_lab_11_1:
tmp42 = ats_caselptrlab_mac(anairiats_sum_1, tmp1, atslab_0) ;
/* tmp43 = */ atspre_fprint_string (arg0, ATSstrcst("HIPf0loat(")) ;
/* tmp44 = */ _2tmp_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_f0loat (arg0, tmp42) ;
/* tmp0 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_12 */
__ats_lab_12_0:
if (((ats_sum_ptr_type)tmp1)->tag != 10) { goto __ats_lab_13_0 ; }
__ats_lab_12_1:
/* tmp0 = */ atspre_fprint_string (arg0, ATSstrcst("HIPempty()")) ;
break ;

/* branch: __ats_lab_13 */
__ats_lab_13_0:
if (((ats_sum_ptr_type)tmp1)->tag != 13) { goto __ats_lab_14_0 ; }
__ats_lab_13_1:
tmp45 = ats_caselptrlab_mac(anairiats_sum_7, tmp1, atslab_0) ;
tmp46 = ats_caselptrlab_mac(anairiats_sum_7, tmp1, atslab_2) ;
/* tmp47 = */ atspre_fprint_string (arg0, ATSstrcst("HIPrec(")) ;
/* tmp48 = */ atspre_fprintf_exn (arg0, ATSstrcst("knd= %i"), tmp45) ;
/* tmp49 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp50 = */ _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_labhipatlst (arg0, tmp46) ;
/* tmp0 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_14 */
__ats_lab_14_0:
if (((ats_sum_ptr_type)tmp1)->tag != 14) { goto __ats_lab_15_0 ; }
__ats_lab_14_1:
tmp51 = ats_caselptrlab_mac(anairiats_sum_3, tmp1, atslab_0) ;
tmp52 = ats_caselptrlab_mac(anairiats_sum_3, tmp1, atslab_1) ;
/* tmp53 = */ atspre_fprint_string (arg0, ATSstrcst("HIPrefas(")) ;
/* tmp54 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2var (arg0, tmp51) ;
/* tmp55 = */ atspre_fprint_string (arg0, ATSstrcst(", ")) ;
/* tmp56 = */ _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hipat (arg0, tmp52) ;
/* tmp0 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_15 */
__ats_lab_15_0:
if (((ats_sum_ptr_type)tmp1)->tag != 15) { goto __ats_lab_16_0 ; }
__ats_lab_15_1:
tmp57 = ats_caselptrlab_mac(anairiats_sum_3, tmp1, atslab_0) ;
tmp58 = ats_caselptrlab_mac(anairiats_sum_3, tmp1, atslab_1) ;
/* tmp59 = */ atspre_fprint_string (arg0, ATSstrcst("HIPann(")) ;
/* tmp60 = */ _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hipat (arg0, tmp57) ;
/* tmp61 = */ atspre_fprint_string (arg0, ATSstrcst(" : ")) ;
/* tmp62 = */ _2tmp_2ATS_2dPostiats_2src_2pats_histaexp_2esats__fprint_hisexp (arg0, tmp58) ;
/* tmp0 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_16 */
__ats_lab_16_0:
// if (((ats_sum_ptr_type)tmp1)->tag != 16) { ats_deadcode_failure_handle () ; }
__ats_lab_16_1:
/* tmp0 = */ atspre_fprint_string (arg0, ATSstrcst("HIPerr()")) ;
break ;
} while (0) ;
return /* (tmp0) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hipat] */

/*
// /tmp/ATS-Postiats/src/pats_hidynexp_print.dats: 4784(line=207, offs=13) -- 4818(line=207, offs=47)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__print_hipat (ats_ptr_type arg0) {
/* local vardec */
// ATSlocal_void (tmp63) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__print_hipat:
/* tmp63 = */ _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hipat (stdout, arg0) ;
return /* (tmp63) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__print_hipat] */

/*
// /tmp/ATS-Postiats/src/pats_hidynexp_print.dats: 4841(line=209, offs=13) -- 4875(line=209, offs=47)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__prerr_hipat (ats_ptr_type arg0) {
/* local vardec */
// ATSlocal_void (tmp64) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__prerr_hipat:
/* tmp64 = */ _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hipat (stderr, arg0) ;
return /* (tmp64) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__prerr_hipat] */

/*
// /tmp/ATS-Postiats/src/pats_utils.dats: 11884(line=651, offs=1) -- 12164(line=665, offs=2)
*/
ATSstaticdec()
ats_void_type
aux_5 (ats_ptr_type env0, ats_ptr_type env1, ats_ptr_type env2, ats_ptr_type arg0, ats_int_type arg1) {
/* local vardec */
// ATSlocal_void (tmp67) ;
ATSlocal (ats_ptr_type, tmp68) ;
ATSlocal (ats_ptr_type, tmp69) ;
// ATSlocal_void (tmp70) ;
ATSlocal (ats_bool_type, tmp71) ;
// ATSlocal_void (tmp72) ;
ATSlocal (ats_int_type, tmp73) ;

__ats_lab_aux_5:
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:
break ;

/* branch: __ats_lab_18 */
__ats_lab_18_0:
// if (arg0 == (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; }
__ats_lab_18_1:
tmp68 = ats_caselptrlab_mac(anairiats_sum_8, arg0, atslab_0) ;
tmp69 = ats_caselptrlab_mac(anairiats_sum_8, arg0, atslab_1) ;
tmp71 = atspre_gt_int_int (arg1, 0) ;
if (tmp71) {
/* tmp70 = */ atspre_fprint_string (env0, env1) ;
} else {
/* empty */
} /* end of [if] */
/* tmp72 = */ ((ats_void_type(*)(ats_ptr_type, ats_ptr_type))env2) (env0, tmp68) ;
tmp73 = atspre_add_int_int (arg1, 1) ;
arg0 = tmp69 ;
arg1 = tmp73 ;
goto __ats_lab_aux_5 ; // tail call
break ;
} while (0) ;
return /* (tmp67) */ ;
} /* end of [aux_5] */

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

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

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

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

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

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

/*
// /tmp/ATS-Postiats/src/pats_hidynexp_print.dats: 4905(line=213, offs=3) -- 4960(line=213, offs=58)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hipatlst (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp65) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hipatlst:
/* tmp65 = */ fprintlst_01696_ats_ptr_type (arg0, arg1, ATSstrcst(", "), &_2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hipat) ;
return /* (tmp65) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hipatlst] */

/*
// /tmp/ATS-Postiats/src/pats_hidynexp_print.dats: 5070(line=220, offs=3) -- 5224(line=226, offs=2)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_print_2edats__fprint_labhipat (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp74) ;
ATSlocal (ats_ptr_type, tmp75) ;
ATSlocal (ats_ptr_type, tmp76) ;
// ATSlocal_void (tmp77) ;
// ATSlocal_void (tmp78) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_print_2edats__fprint_labhipat:

tmp75 = ats_caselptrlab_mac(anairiats_sum_8, arg1, atslab_0) ;
tmp76 = ats_caselptrlab_mac(anairiats_sum_8, arg1, atslab_1) ;
/* tmp77 = */ _2tmp_2ATS_2dPostiats_2src_2pats_label_2esats__fprint_label (arg0, tmp75) ;
/* tmp78 = */ atspre_fprint_string (arg0, ATSstrcst("= ")) ;
/* tmp74 = */ _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hipat (arg0, tmp76) ;
return /* (tmp74) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_print_2edats__fprint_labhipat] */

/*
// /tmp/ATS-Postiats/src/pats_hidynexp_print.dats: 5285(line=230, offs=3) -- 5345(line=230, offs=63)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_labhipatlst (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp79) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_labhipatlst:
/* tmp79 = */ fprintlst_01696_ats_ptr_type (arg0, arg1, ATSstrcst(", "), &_2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_print_2edats__fprint_labhipat) ;
return /* (tmp79) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_labhipatlst] */

/*
// /tmp/ATS-Postiats/src/pats_hidynexp_print.dats: 5424(line=237, offs=3) -- 5815(line=253, offs=4)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hilab (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp80) ;
ATSlocal (ats_ptr_type, tmp81) ;
ATSlocal (ats_ptr_type, tmp82) ;
// ATSlocal_void (tmp83) ;
// ATSlocal_void (tmp84) ;
ATSlocal (ats_ptr_type, tmp85) ;
// ATSlocal_void (tmp86) ;
// ATSlocal_void (tmp87) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hilab:
tmp81 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_9, arg1), atslab_hilab_node) ;
do {
/* branch: __ats_lab_19 */
__ats_lab_19_0:
if (((ats_sum_ptr_type)tmp81)->tag != 0) { goto __ats_lab_20_0 ; }
__ats_lab_19_1:
tmp82 = ats_caselptrlab_mac(anairiats_sum_1, tmp81, atslab_0) ;
/* tmp83 = */ atspre_fprint_string (arg0, ATSstrcst("HILlab(")) ;
/* tmp84 = */ _2tmp_2ATS_2dPostiats_2src_2pats_label_2esats__fprint_label (arg0, tmp82) ;
/* tmp80 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_20 */
__ats_lab_20_0:
// if (((ats_sum_ptr_type)tmp81)->tag != 1) { ats_deadcode_failure_handle () ; }
__ats_lab_20_1:
tmp85 = ats_caselptrlab_mac(anairiats_sum_1, tmp81, atslab_0) ;
/* tmp86 = */ atspre_fprint_string (arg0, ATSstrcst("HILind(")) ;
/* tmp87 = */ fprintlst_01696_ats_ptr_type (arg0, tmp85, ATSstrcst(", "), &_2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hidexp) ;
/* tmp80 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;
} while (0) ;
return /* (tmp80) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hilab] */

/*
// /tmp/ATS-Postiats/src/pats_hidynexp_print.dats: 5870(line=257, offs=3) -- 5925(line=257, offs=58)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hilablst (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp88) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hilablst:
/* tmp88 = */ fprintlst_01696_ats_ptr_type (arg0, arg1, ATSstrcst(", "), &_2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hilab) ;
return /* (tmp88) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hilablst] */

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

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hidexp:
tmp90 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_10, arg1), atslab_hidexp_node) ;
do {
/* branch: __ats_lab_21 */
__ats_lab_21_0:
if (((ats_sum_ptr_type)tmp90)->tag != 0) { goto __ats_lab_22_0 ; }
__ats_lab_21_1:
tmp91 = ats_caselptrlab_mac(anairiats_sum_1, tmp90, atslab_0) ;
/* tmp92 = */ atspre_fprint_string (arg0, ATSstrcst("HDEcst(")) ;
/* tmp93 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2cst (arg0, tmp91) ;
/* tmp89 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_22 */
__ats_lab_22_0:
if (((ats_sum_ptr_type)tmp90)->tag != 1) { goto __ats_lab_23_0 ; }
__ats_lab_22_1:
tmp94 = ats_caselptrlab_mac(anairiats_sum_1, tmp90, atslab_0) ;
/* tmp95 = */ atspre_fprint_string (arg0, ATSstrcst("HDEvar(")) ;
/* tmp96 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2var (arg0, tmp94) ;
/* tmp89 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_23 */
__ats_lab_23_0:
if (((ats_sum_ptr_type)tmp90)->tag != 2) { goto __ats_lab_24_0 ; }
__ats_lab_23_1:
tmp97 = ats_caselptrlab_mac(anairiats_sum_4, tmp90, atslab_0) ;
/* tmp98 = */ atspre_fprint_string (arg0, ATSstrcst("HDEint(")) ;
/* tmp99 = */ atspre_fprint_int (arg0, tmp97) ;
/* tmp89 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_24 */
__ats_lab_24_0:
if (((ats_sum_ptr_type)tmp90)->tag != 3) { goto __ats_lab_25_0 ; }
__ats_lab_24_1:
tmp100 = ats_caselptrlab_mac(anairiats_sum_1, tmp90, atslab_0) ;
/* tmp101 = */ atspre_fprint_string (arg0, ATSstrcst("HDEintrep(")) ;
/* tmp102 = */ atspre_fprint_string (arg0, tmp100) ;
/* tmp89 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_25 */
__ats_lab_25_0:
if (((ats_sum_ptr_type)tmp90)->tag != 4) { goto __ats_lab_26_0 ; }
__ats_lab_25_1:
tmp103 = ats_caselptrlab_mac(anairiats_sum_5, tmp90, atslab_0) ;
/* tmp104 = */ atspre_fprint_string (arg0, ATSstrcst("HDEbool(")) ;
/* tmp105 = */ atspre_fprint_bool (arg0, tmp103) ;
/* tmp89 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_26 */
__ats_lab_26_0:
if (((ats_sum_ptr_type)tmp90)->tag != 5) { goto __ats_lab_27_0 ; }
__ats_lab_26_1:
tmp106 = ats_caselptrlab_mac(anairiats_sum_6, tmp90, atslab_0) ;
/* tmp107 = */ atspre_fprint_string (arg0, ATSstrcst("HDEchar(")) ;
/* tmp108 = */ atspre_fprint_char (arg0, tmp106) ;
/* tmp89 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_27 */
__ats_lab_27_0:
if (((ats_sum_ptr_type)tmp90)->tag != 6) { goto __ats_lab_28_0 ; }
__ats_lab_27_1:
tmp109 = ats_caselptrlab_mac(anairiats_sum_1, tmp90, atslab_0) ;
/* tmp110 = */ atspre_fprint_string (arg0, ATSstrcst("HDEfloat(")) ;
/* tmp111 = */ atspre_fprint_string (arg0, tmp109) ;
/* tmp89 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_28 */
__ats_lab_28_0:
if (((ats_sum_ptr_type)tmp90)->tag != 7) { goto __ats_lab_29_0 ; }
__ats_lab_28_1:
tmp112 = ats_caselptrlab_mac(anairiats_sum_1, tmp90, atslab_0) ;
/* tmp113 = */ atspre_fprint_string (arg0, ATSstrcst("HDEstring(")) ;
/* tmp114 = */ atspre_fprint_string (arg0, tmp112) ;
/* tmp89 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_29 */
__ats_lab_29_0:
if (((ats_sum_ptr_type)tmp90)->tag != 8) { goto __ats_lab_30_0 ; }
__ats_lab_29_1:
tmp115 = ats_caselptrlab_mac(anairiats_sum_1, tmp90, atslab_0) ;
/* tmp116 = */ atspre_fprint_string (arg0, ATSstrcst("HDEi0nt(")) ;
/* tmp117 = */ _2tmp_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_i0nt (arg0, tmp115) ;
/* tmp89 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_30 */
__ats_lab_30_0:
if (((ats_sum_ptr_type)tmp90)->tag != 9) { goto __ats_lab_31_0 ; }
__ats_lab_30_1:
tmp118 = ats_caselptrlab_mac(anairiats_sum_1, tmp90, atslab_0) ;
/* tmp119 = */ atspre_fprint_string (arg0, ATSstrcst("HDEf0loat(")) ;
/* tmp120 = */ _2tmp_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_f0loat (arg0, tmp118) ;
/* tmp89 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_31 */
__ats_lab_31_0:
if (((ats_sum_ptr_type)tmp90)->tag != 10) { goto __ats_lab_32_0 ; }
__ats_lab_31_1:
tmp121 = ats_caselptrlab_mac(anairiats_sum_1, tmp90, atslab_0) ;
/* tmp122 = */ atspre_fprint_string (arg0, ATSstrcst("HDEcstsp(")) ;
/* tmp123 = */ _2tmp_2ATS_2dPostiats_2src_2pats_syntax_2esats__fprint_cstsp (arg0, tmp121) ;
/* tmp89 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_32 */
__ats_lab_32_0:
if (((ats_sum_ptr_type)tmp90)->tag != 11) { goto __ats_lab_33_0 ; }
__ats_lab_32_1:
tmp124 = ats_caselptrlab_mac(anairiats_sum_1, tmp90, atslab_0) ;
/* tmp125 = */ atspre_fprint_string (arg0, ATSstrcst("HDEtyrep(")) ;
/* tmp126 = */ _2tmp_2ATS_2dPostiats_2src_2pats_histaexp_2esats__fprint_hisexp (arg0, tmp124) ;
/* tmp89 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_33 */
__ats_lab_33_0:
if (((ats_sum_ptr_type)tmp90)->tag != 12) { goto __ats_lab_34_0 ; }
__ats_lab_33_1:
/* tmp89 = */ atspre_fprint_string (arg0, ATSstrcst("HDEtop()")) ;
break ;

/* branch: __ats_lab_34 */
__ats_lab_34_0:
if (((ats_sum_ptr_type)tmp90)->tag != 13) { goto __ats_lab_35_0 ; }
__ats_lab_34_1:
/* tmp89 = */ atspre_fprint_string (arg0, ATSstrcst("HDEempty()")) ;
break ;

/* branch: __ats_lab_35 */
__ats_lab_35_0:
if (((ats_sum_ptr_type)tmp90)->tag != 14) { goto __ats_lab_36_0 ; }
__ats_lab_35_1:
tmp127 = ats_caselptrlab_mac(anairiats_sum_1, tmp90, atslab_0) ;
/* tmp128 = */ atspre_fprint_string (arg0, ATSstrcst("HDEignore(")) ;
/* tmp129 = */ _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hidexp (arg0, tmp127) ;
/* tmp89 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_36 */
__ats_lab_36_0:
if (((ats_sum_ptr_type)tmp90)->tag != 15) { goto __ats_lab_37_0 ; }
__ats_lab_36_1:
tmp130 = ats_caselptrlab_mac(anairiats_sum_3, tmp90, atslab_0) ;
tmp131 = ats_caselptrlab_mac(anairiats_sum_3, tmp90, atslab_1) ;
/* tmp132 = */ atspre_fprint_string (arg0, ATSstrcst("HDEcastfn(")) ;
/* tmp133 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2cst (arg0, tmp130) ;
/* tmp134 = */ atspre_fprint_string (arg0, ATSstrcst(", ")) ;
/* tmp135 = */ _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hidexp (arg0, tmp131) ;
/* tmp89 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_37 */
__ats_lab_37_0:
if (((ats_sum_ptr_type)tmp90)->tag != 16) { goto __ats_lab_38_0 ; }
__ats_lab_37_1:
tmp136 = ats_caselptrlab_mac(anairiats_sum_1, tmp90, atslab_0) ;
/* tmp137 = */ atspre_fprint_string (arg0, ATSstrcst("HDEextval(")) ;
/* tmp138 = */ atspre_fprint_string (arg0, ATSstrcst("\"")) ;
/* tmp139 = */ atspre_fprint_string (arg0, tmp136) ;
/* tmp140 = */ atspre_fprint_string (arg0, ATSstrcst("\"")) ;
/* tmp89 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_38 */
__ats_lab_38_0:
if (((ats_sum_ptr_type)tmp90)->tag != 17) { goto __ats_lab_39_0 ; }
__ats_lab_38_1:
tmp141 = ats_caselptrlab_mac(anairiats_sum_3, tmp90, atslab_0) ;
tmp142 = ats_caselptrlab_mac(anairiats_sum_3, tmp90, atslab_1) ;
/* tmp143 = */ atspre_fprint_string (arg0, ATSstrcst("HDEextfcall(")) ;
/* tmp144 = */ atspre_fprint_string (arg0, ATSstrcst("\"")) ;
/* tmp145 = */ atspre_fprint_string (arg0, tmp141) ;
/* tmp146 = */ atspre_fprint_string (arg0, ATSstrcst("\"")) ;
/* tmp147 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp148 = */ _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hidexplst (arg0, tmp142) ;
/* tmp89 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_39 */
__ats_lab_39_0:
if (((ats_sum_ptr_type)tmp90)->tag != 18) { goto __ats_lab_40_0 ; }
__ats_lab_39_1:
tmp149 = ats_caselptrlab_mac(anairiats_sum_11, tmp90, atslab_0) ;
tmp150 = ats_caselptrlab_mac(anairiats_sum_11, tmp90, atslab_1) ;
tmp151 = ats_caselptrlab_mac(anairiats_sum_11, tmp90, atslab_2) ;
/* tmp152 = */ atspre_fprint_string (arg0, ATSstrcst("HDEextmcall(")) ;
/* tmp153 = */ _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hidexp (arg0, tmp149) ;
/* tmp154 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp155 = */ atspre_fprint_string (arg0, ATSstrcst("\"")) ;
/* tmp156 = */ atspre_fprint_string (arg0, tmp150) ;
/* tmp157 = */ atspre_fprint_string (arg0, ATSstrcst("\"")) ;
/* tmp158 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp159 = */ _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hidexplst (arg0, tmp151) ;
/* tmp89 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_40 */
__ats_lab_40_0:
if (((ats_sum_ptr_type)tmp90)->tag != 19) { goto __ats_lab_41_0 ; }
__ats_lab_40_1:
tmp160 = ats_caselptrlab_mac(anairiats_sum_11, tmp90, atslab_0) ;
tmp161 = ats_caselptrlab_mac(anairiats_sum_11, tmp90, atslab_1) ;
tmp162 = ats_caselptrlab_mac(anairiats_sum_11, tmp90, atslab_2) ;
/* tmp163 = */ atspre_fprint_string (arg0, ATSstrcst("HDEcon(")) ;
/* tmp164 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp2_2esats__fprint_d2con (arg0, tmp160) ;
/* tmp165 = */ atspre_fprint_string (arg0, ATSstrcst("(")) ;
/* tmp166 = */ _2tmp_2ATS_2dPostiats_2src_2pats_histaexp_2esats__fprint_hisexp (arg0, tmp161) ;
/* tmp167 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp168 = */ _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_labhidexplst (arg0, tmp162) ;
/* tmp169 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
/* tmp89 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_41 */
__ats_lab_41_0:
if (((ats_sum_ptr_type)tmp90)->tag != 20) { goto __ats_lab_42_0 ; }
__ats_lab_41_1:
tmp170 = ats_caselptrlab_mac(anairiats_sum_3, tmp90, atslab_0) ;
tmp171 = ats_caselptrlab_mac(anairiats_sum_3, tmp90, atslab_1) ;
/* tmp172 = */ atspre_fprint_string (arg0, ATSstrcst("HDEtmpcst(")) ;
/* tmp173 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2cst (arg0, tmp170) ;
/* tmp174 = */ atspre_fprint_string (arg0, ATSstrcst("<")) ;
/* tmp175 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp2_2esats__fpprint_t2mpmarglst (arg0, tmp171) ;
/* tmp176 = */ atspre_fprint_string (arg0, ATSstrcst(">")) ;
/* tmp89 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_42 */
__ats_lab_42_0:
if (((ats_sum_ptr_type)tmp90)->tag != 21) { goto __ats_lab_43_0 ; }
__ats_lab_42_1:
tmp177 = ats_caselptrlab_mac(anairiats_sum_3, tmp90, atslab_0) ;
tmp178 = ats_caselptrlab_mac(anairiats_sum_3, tmp90, atslab_1) ;
/* tmp179 = */ atspre_fprint_string (arg0, ATSstrcst("HDEtmpvar(")) ;
/* tmp180 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2var (arg0, tmp177) ;
/* tmp181 = */ atspre_fprint_string (arg0, ATSstrcst("<")) ;
/* tmp182 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp2_2esats__fpprint_t2mpmarglst (arg0, tmp178) ;
/* tmp183 = */ atspre_fprint_string (arg0, ATSstrcst(">")) ;
/* tmp89 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_43 */
__ats_lab_43_0:
if (((ats_sum_ptr_type)tmp90)->tag != 22) { goto __ats_lab_44_0 ; }
__ats_lab_43_1:
/* tmp89 = */ atspre_fprint_string (arg0, ATSstrcst("HDEfoldat()")) ;
break ;

/* branch: __ats_lab_44 */
__ats_lab_44_0:
if (((ats_sum_ptr_type)tmp90)->tag != 23) { goto __ats_lab_45_0 ; }
__ats_lab_44_1:
tmp184 = ats_caselptrlab_mac(anairiats_sum_1, tmp90, atslab_0) ;
/* tmp185 = */ atspre_fprint_string (arg0, ATSstrcst("HDEfreeat(")) ;
/* tmp186 = */ _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hidexp (arg0, tmp184) ;
/* tmp89 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_45 */
__ats_lab_45_0:
if (((ats_sum_ptr_type)tmp90)->tag != 24) { goto __ats_lab_46_0 ; }
__ats_lab_45_1:
tmp187 = ats_caselptrlab_mac(anairiats_sum_3, tmp90, atslab_0) ;
tmp188 = ats_caselptrlab_mac(anairiats_sum_3, tmp90, atslab_1) ;
/* tmp189 = */ atspre_fprint_string (arg0, ATSstrcst("HDElet(\n")) ;
/* tmp190 = */ _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hideclist (arg0, tmp187) ;
/* tmp191 = */ atspre_fprint_string (arg0, ATSstrcst("**in**\n")) ;
/* tmp192 = */ _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hidexp (arg0, tmp188) ;
/* tmp89 = */ atspre_fprint_string (arg0, ATSstrcst("\n)")) ;
break ;

/* branch: __ats_lab_46 */
__ats_lab_46_0:
if (((ats_sum_ptr_type)tmp90)->tag != 25) { goto __ats_lab_47_0 ; }
__ats_lab_46_1:
tmp193 = ats_caselptrlab_mac(anairiats_sum_11, tmp90, atslab_0) ;
tmp194 = ats_caselptrlab_mac(anairiats_sum_11, tmp90, atslab_1) ;
tmp195 = ats_caselptrlab_mac(anairiats_sum_11, tmp90, atslab_2) ;
/* tmp196 = */ atspre_fprint_string (arg0, ATSstrcst("HDEapp(")) ;
/* tmp197 = */ _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hidexp (arg0, tmp193) ;
/* tmp198 = */ atspre_fprint_string (arg0, ATSstrcst("(")) ;
/* tmp199 = */ _2tmp_2ATS_2dPostiats_2src_2pats_histaexp_2esats__fprint_hisexp (arg0, tmp194) ;
/* tmp200 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp201 = */ _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hidexplst (arg0, tmp195) ;
/* tmp202 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
/* tmp89 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_47 */
__ats_lab_47_0:
if (((ats_sum_ptr_type)tmp90)->tag != 26) { goto __ats_lab_48_0 ; }
__ats_lab_47_1:
tmp203 = ats_caselptrlab_mac(anairiats_sum_11, tmp90, atslab_0) ;
tmp204 = ats_caselptrlab_mac(anairiats_sum_11, tmp90, atslab_1) ;
tmp205 = ats_caselptrlab_mac(anairiats_sum_11, tmp90, atslab_2) ;
/* tmp206 = */ atspre_fprint_string (arg0, ATSstrcst("HDEif(")) ;
/* tmp207 = */ _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hidexp (arg0, tmp203) ;
/* tmp208 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp209 = */ _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hidexp (arg0, tmp204) ;
/* tmp210 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp211 = */ _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hidexp (arg0, tmp205) ;
/* tmp89 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_48 */
__ats_lab_48_0:
if (((ats_sum_ptr_type)tmp90)->tag != 27) { goto __ats_lab_49_0 ; }
__ats_lab_48_1:
tmp212 = ats_caselptrlab_mac(anairiats_sum_11, tmp90, atslab_0) ;
tmp213 = ats_caselptrlab_mac(anairiats_sum_11, tmp90, atslab_1) ;
tmp214 = ats_caselptrlab_mac(anairiats_sum_11, tmp90, atslab_2) ;
/* tmp215 = */ atspre_fprint_string (arg0, ATSstrcst("HDEsif(")) ;
/* tmp216 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp2_2esats__fpprint_s2exp (arg0, tmp212) ;
/* tmp217 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp218 = */ _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hidexp (arg0, tmp213) ;
/* tmp219 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp220 = */ _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hidexp (arg0, tmp214) ;
/* tmp89 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_49 */
__ats_lab_49_0:
if (((ats_sum_ptr_type)tmp90)->tag != 28) { goto __ats_lab_50_0 ; }
__ats_lab_49_1:
tmp221 = ats_caselptrlab_mac(anairiats_sum_11, tmp90, atslab_0) ;
tmp222 = ats_caselptrlab_mac(anairiats_sum_11, tmp90, atslab_1) ;
tmp223 = ats_caselptrlab_mac(anairiats_sum_11, tmp90, atslab_2) ;
/* tmp224 = */ atspre_fprint_string (arg0, ATSstrcst("HDEcase(\n")) ;
/* tmp225 = */ _2tmp_2ATS_2dPostiats_2src_2pats_basics_2esats__fprint_caskind (arg0, tmp221) ;
/* tmp226 = */ atspre_fprint_string (arg0, ATSstrcst("\n")) ;
/* tmp227 = */ _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hidexplst (arg0, tmp222) ;
/* tmp228 = */ atspre_fprint_string (arg0, ATSstrcst("\n")) ;
/* tmp229 = */ fprintlst_01696_ats_ptr_type (arg0, tmp223, ATSstrcst("\n"), &_2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_print_2edats__fprint_hiclau) ;
/* tmp89 = */ atspre_fprint_string (arg0, ATSstrcst("\n)")) ;
break ;

/* branch: __ats_lab_50 */
__ats_lab_50_0:
if (((ats_sum_ptr_type)tmp90)->tag != 29) { goto __ats_lab_51_0 ; }
__ats_lab_50_1:
tmp230 = ats_caselptrlab_mac(anairiats_sum_12, tmp90, atslab_0) ;
tmp231 = ats_caselptrlab_mac(anairiats_sum_12, tmp90, atslab_1) ;
tmp232 = ats_caselptrlab_mac(anairiats_sum_12, tmp90, atslab_2) ;
/* tmp233 = */ atspre_fprint_string (arg0, ATSstrcst("HDElst(")) ;
/* tmp234 = */ atspre_fprintf_exn (arg0, ATSstrcst("lin= %i"), tmp230) ;
/* tmp235 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp236 = */ _2tmp_2ATS_2dPostiats_2src_2pats_histaexp_2esats__fprint_hisexp (arg0, tmp231) ;
/* tmp237 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp238 = */ _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hidexplst (arg0, tmp232) ;
/* tmp89 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_51 */
__ats_lab_51_0:
if (((ats_sum_ptr_type)tmp90)->tag != 30) { goto __ats_lab_52_0 ; }
__ats_lab_51_1:
tmp239 = ats_caselptrlab_mac(anairiats_sum_12, tmp90, atslab_0) ;
tmp240 = ats_caselptrlab_mac(anairiats_sum_12, tmp90, atslab_1) ;
/* tmp241 = */ atspre_fprint_string (arg0, ATSstrcst("HDErec(")) ;
/* tmp242 = */ atspre_fprintf_exn (arg0, ATSstrcst("knd= %i"), tmp239) ;
/* tmp243 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp244 = */ _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_labhidexplst (arg0, tmp240) ;
/* tmp89 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_52 */
__ats_lab_52_0:
if (((ats_sum_ptr_type)tmp90)->tag != 31) { goto __ats_lab_53_0 ; }
__ats_lab_52_1:
tmp245 = ats_caselptrlab_mac(anairiats_sum_1, tmp90, atslab_0) ;
/* tmp246 = */ atspre_fprint_string (arg0, ATSstrcst("HDEseq(")) ;
/* tmp247 = */ _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hidexplst (arg0, tmp245) ;
/* tmp89 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_53 */
__ats_lab_53_0:
if (((ats_sum_ptr_type)tmp90)->tag != 32) { goto __ats_lab_54_0 ; }
__ats_lab_53_1:
tmp248 = ats_caselptrlab_mac(anairiats_sum_11, tmp90, atslab_0) ;
tmp249 = ats_caselptrlab_mac(anairiats_sum_11, tmp90, atslab_1) ;
tmp250 = ats_caselptrlab_mac(anairiats_sum_11, tmp90, atslab_2) ;
/* tmp251 = */ atspre_fprint_string (arg0, ATSstrcst("HDEselab(")) ;
/* tmp252 = */ _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hidexp (arg0, tmp248) ;
/* tmp253 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp254 = */ _2tmp_2ATS_2dPostiats_2src_2pats_histaexp_2esats__fprint_hisexp (arg0, tmp249) ;
/* tmp255 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp256 = */ _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hilablst (arg0, tmp250) ;
/* tmp89 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_54 */
__ats_lab_54_0:
if (((ats_sum_ptr_type)tmp90)->tag != 33) { goto __ats_lab_55_0 ; }
__ats_lab_54_1:
tmp257 = ats_caselptrlab_mac(anairiats_sum_1, tmp90, atslab_0) ;
/* tmp258 = */ atspre_fprint_string (arg0, ATSstrcst("HDEptrofvar(")) ;
/* tmp259 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2var (arg0, tmp257) ;
/* tmp89 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_55 */
__ats_lab_55_0:
if (((ats_sum_ptr_type)tmp90)->tag != 34) { goto __ats_lab_56_0 ; }
__ats_lab_55_1:
tmp260 = ats_caselptrlab_mac(anairiats_sum_11, tmp90, atslab_0) ;
tmp261 = ats_caselptrlab_mac(anairiats_sum_11, tmp90, atslab_1) ;
tmp262 = ats_caselptrlab_mac(anairiats_sum_11, tmp90, atslab_2) ;
/* tmp263 = */ atspre_fprint_string (arg0, ATSstrcst("HDEptrofsel(")) ;
/* tmp264 = */ _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hidexp (arg0, tmp260) ;
/* tmp265 = */ atspre_fprint_string (arg0, ATSstrcst("(")) ;
/* tmp266 = */ _2tmp_2ATS_2dPostiats_2src_2pats_histaexp_2esats__fprint_hisexp (arg0, tmp261) ;
/* tmp267 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
/* tmp268 = */ atspre_fprint_string (arg0, ATSstrcst("[")) ;
/* tmp269 = */ _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hilablst (arg0, tmp262) ;
/* tmp270 = */ atspre_fprint_string (arg0, ATSstrcst("]")) ;
/* tmp89 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_56 */
__ats_lab_56_0:
if (((ats_sum_ptr_type)tmp90)->tag != 35) { goto __ats_lab_57_0 ; }
__ats_lab_56_1:
tmp271 = ats_caselptrlab_mac(anairiats_sum_13, tmp90, atslab_0) ;
tmp272 = ats_caselptrlab_mac(anairiats_sum_13, tmp90, atslab_1) ;
tmp273 = ats_caselptrlab_mac(anairiats_sum_13, tmp90, atslab_2) ;
/* tmp274 = */ atspre_fprint_string (arg0, ATSstrcst("HDErefarg(")) ;
/* tmp275 = */ atspre_fprint_int (arg0, tmp271) ;
/* tmp276 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp277 = */ atspre_fprint_int (arg0, tmp272) ;
/* tmp278 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp279 = */ _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hidexp (arg0, tmp273) ;
/* tmp89 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_57 */
__ats_lab_57_0:
if (((ats_sum_ptr_type)tmp90)->tag != 36) { goto __ats_lab_58_0 ; }
__ats_lab_57_1:
tmp280 = ats_caselptrlab_mac(anairiats_sum_11, tmp90, atslab_0) ;
tmp281 = ats_caselptrlab_mac(anairiats_sum_11, tmp90, atslab_1) ;
tmp282 = ats_caselptrlab_mac(anairiats_sum_11, tmp90, atslab_2) ;
/* tmp283 = */ atspre_fprint_string (arg0, ATSstrcst("HDEselvar(")) ;
/* tmp284 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2var (arg0, tmp280) ;
/* tmp285 = */ atspre_fprint_string (arg0, ATSstrcst("(")) ;
/* tmp286 = */ _2tmp_2ATS_2dPostiats_2src_2pats_histaexp_2esats__fprint_hisexp (arg0, tmp281) ;
/* tmp287 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
/* tmp288 = */ atspre_fprint_string (arg0, ATSstrcst("[")) ;
/* tmp289 = */ _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hilablst (arg0, tmp282) ;
/* tmp290 = */ atspre_fprint_string (arg0, ATSstrcst("]")) ;
/* tmp89 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_58 */
__ats_lab_58_0:
if (((ats_sum_ptr_type)tmp90)->tag != 37) { goto __ats_lab_59_0 ; }
__ats_lab_58_1:
tmp291 = ats_caselptrlab_mac(anairiats_sum_11, tmp90, atslab_0) ;
tmp292 = ats_caselptrlab_mac(anairiats_sum_11, tmp90, atslab_1) ;
tmp293 = ats_caselptrlab_mac(anairiats_sum_11, tmp90, atslab_2) ;
/* tmp294 = */ atspre_fprint_string (arg0, ATSstrcst("HDEselptr(")) ;
/* tmp295 = */ _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hidexp (arg0, tmp291) ;
/* tmp296 = */ atspre_fprint_string (arg0, ATSstrcst("(")) ;
/* tmp297 = */ _2tmp_2ATS_2dPostiats_2src_2pats_histaexp_2esats__fprint_hisexp (arg0, tmp292) ;
/* tmp298 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
/* tmp299 = */ atspre_fprint_string (arg0, ATSstrcst("[")) ;
/* tmp300 = */ _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hilablst (arg0, tmp293) ;
/* tmp301 = */ atspre_fprint_string (arg0, ATSstrcst("]")) ;
/* tmp89 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_59 */
__ats_lab_59_0:
if (((ats_sum_ptr_type)tmp90)->tag != 38) { goto __ats_lab_60_0 ; }
__ats_lab_59_1:
tmp302 = ats_caselptrlab_mac(anairiats_sum_2, tmp90, atslab_0) ;
tmp303 = ats_caselptrlab_mac(anairiats_sum_2, tmp90, atslab_1) ;
tmp304 = ats_caselptrlab_mac(anairiats_sum_2, tmp90, atslab_2) ;
tmp305 = ats_caselptrlab_mac(anairiats_sum_2, tmp90, atslab_3) ;
/* tmp306 = */ atspre_fprint_string (arg0, ATSstrcst("HDEassgn_var(")) ;
/* tmp307 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2var (arg0, tmp302) ;
/* tmp308 = */ atspre_fprint_string (arg0, ATSstrcst("(")) ;
/* tmp309 = */ _2tmp_2ATS_2dPostiats_2src_2pats_histaexp_2esats__fprint_hisexp (arg0, tmp303) ;
/* tmp310 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
/* tmp311 = */ atspre_fprint_string (arg0, ATSstrcst("[")) ;
/* tmp312 = */ _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hilablst (arg0, tmp304) ;
/* tmp313 = */ atspre_fprint_string (arg0, ATSstrcst("]")) ;
/* tmp314 = */ atspre_fprint_string (arg0, ATSstrcst(" := ")) ;
/* tmp315 = */ _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hidexp (arg0, tmp305) ;
/* tmp89 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_60 */
__ats_lab_60_0:
if (((ats_sum_ptr_type)tmp90)->tag != 39) { goto __ats_lab_61_0 ; }
__ats_lab_60_1:
tmp316 = ats_caselptrlab_mac(anairiats_sum_2, tmp90, atslab_0) ;
tmp317 = ats_caselptrlab_mac(anairiats_sum_2, tmp90, atslab_1) ;
tmp318 = ats_caselptrlab_mac(anairiats_sum_2, tmp90, atslab_2) ;
tmp319 = ats_caselptrlab_mac(anairiats_sum_2, tmp90, atslab_3) ;
/* tmp320 = */ atspre_fprint_string (arg0, ATSstrcst("HDEassgn_ptr(")) ;
/* tmp321 = */ _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hidexp (arg0, tmp316) ;
/* tmp322 = */ atspre_fprint_string (arg0, ATSstrcst("(")) ;
/* tmp323 = */ _2tmp_2ATS_2dPostiats_2src_2pats_histaexp_2esats__fprint_hisexp (arg0, tmp317) ;
/* tmp324 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
/* tmp325 = */ atspre_fprint_string (arg0, ATSstrcst("[")) ;
/* tmp326 = */ _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hilablst (arg0, tmp318) ;
/* tmp327 = */ atspre_fprint_string (arg0, ATSstrcst("]")) ;
/* tmp328 = */ atspre_fprint_string (arg0, ATSstrcst(" := ")) ;
/* tmp329 = */ _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hidexp (arg0, tmp319) ;
/* tmp89 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_61 */
__ats_lab_61_0:
if (((ats_sum_ptr_type)tmp90)->tag != 40) { goto __ats_lab_62_0 ; }
__ats_lab_61_1:
tmp330 = ats_caselptrlab_mac(anairiats_sum_2, tmp90, atslab_0) ;
tmp331 = ats_caselptrlab_mac(anairiats_sum_2, tmp90, atslab_1) ;
tmp332 = ats_caselptrlab_mac(anairiats_sum_2, tmp90, atslab_2) ;
tmp333 = ats_caselptrlab_mac(anairiats_sum_2, tmp90, atslab_3) ;
/* tmp334 = */ atspre_fprint_string (arg0, ATSstrcst("HDExchng_var(")) ;
/* tmp335 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2var (arg0, tmp330) ;
/* tmp336 = */ atspre_fprint_string (arg0, ATSstrcst("(")) ;
/* tmp337 = */ _2tmp_2ATS_2dPostiats_2src_2pats_histaexp_2esats__fprint_hisexp (arg0, tmp331) ;
/* tmp338 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
/* tmp339 = */ atspre_fprint_string (arg0, ATSstrcst("[")) ;
/* tmp340 = */ _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hilablst (arg0, tmp332) ;
/* tmp341 = */ atspre_fprint_string (arg0, ATSstrcst("]")) ;
/* tmp342 = */ atspre_fprint_string (arg0, ATSstrcst(" := ")) ;
/* tmp343 = */ _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hidexp (arg0, tmp333) ;
/* tmp89 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_62 */
__ats_lab_62_0:
if (((ats_sum_ptr_type)tmp90)->tag != 41) { goto __ats_lab_63_0 ; }
__ats_lab_62_1:
tmp344 = ats_caselptrlab_mac(anairiats_sum_2, tmp90, atslab_0) ;
tmp345 = ats_caselptrlab_mac(anairiats_sum_2, tmp90, atslab_1) ;
tmp346 = ats_caselptrlab_mac(anairiats_sum_2, tmp90, atslab_2) ;
tmp347 = ats_caselptrlab_mac(anairiats_sum_2, tmp90, atslab_3) ;
/* tmp348 = */ atspre_fprint_string (arg0, ATSstrcst("HDExchng_ptr(")) ;
/* tmp349 = */ _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hidexp (arg0, tmp344) ;
/* tmp350 = */ atspre_fprint_string (arg0, ATSstrcst("(")) ;
/* tmp351 = */ _2tmp_2ATS_2dPostiats_2src_2pats_histaexp_2esats__fprint_hisexp (arg0, tmp345) ;
/* tmp352 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
/* tmp353 = */ atspre_fprint_string (arg0, ATSstrcst("[")) ;
/* tmp354 = */ _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hilablst (arg0, tmp346) ;
/* tmp355 = */ atspre_fprint_string (arg0, ATSstrcst("]")) ;
/* tmp356 = */ atspre_fprint_string (arg0, ATSstrcst(" := ")) ;
/* tmp357 = */ _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hidexp (arg0, tmp347) ;
/* tmp89 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_63 */
__ats_lab_63_0:
if (((ats_sum_ptr_type)tmp90)->tag != 42) { goto __ats_lab_64_0 ; }
__ats_lab_63_1:
tmp358 = ats_caselptrlab_mac(anairiats_sum_14, tmp90, atslab_0) ;
tmp359 = ats_caselptrlab_mac(anairiats_sum_14, tmp90, atslab_1) ;
tmp360 = ats_caselptrlab_mac(anairiats_sum_14, tmp90, atslab_2) ;
/* tmp361 = */ atspre_fprint_string (arg0, ATSstrcst("HDEarrpsz(")) ;
/* tmp362 = */ _2tmp_2ATS_2dPostiats_2src_2pats_histaexp_2esats__fprint_hisexp (arg0, tmp358) ;
/* tmp363 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp364 = */ _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hidexplst (arg0, tmp359) ;
/* tmp365 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp366 = */ atspre_fprint_int (arg0, tmp360) ;
/* tmp89 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_64 */
__ats_lab_64_0:
if (((ats_sum_ptr_type)tmp90)->tag != 43) { goto __ats_lab_65_0 ; }
__ats_lab_64_1:
tmp367 = ats_caselptrlab_mac(anairiats_sum_15, tmp90, atslab_0) ;
tmp368 = ats_caselptrlab_mac(anairiats_sum_15, tmp90, atslab_1) ;
tmp369 = ats_caselptrlab_mac(anairiats_sum_15, tmp90, atslab_2) ;
/* tmp370 = */ atspre_fprint_string (arg0, ATSstrcst("HDEarrinit(")) ;
/* tmp371 = */ _2tmp_2ATS_2dPostiats_2src_2pats_histaexp_2esats__fprint_hisexp (arg0, tmp367) ;
/* tmp372 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp373 = */ _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hidexp (arg0, tmp368) ;
/* tmp374 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp375 = */ _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hidexplst (arg0, tmp369) ;
/* tmp89 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_65 */
__ats_lab_65_0:
if (((ats_sum_ptr_type)tmp90)->tag != 44) { goto __ats_lab_66_0 ; }
__ats_lab_65_1:
tmp376 = ats_caselptrlab_mac(anairiats_sum_1, tmp90, atslab_0) ;
/* tmp377 = */ atspre_fprint_string (arg0, ATSstrcst("HDEraise(")) ;
/* tmp378 = */ _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hidexp (arg0, tmp376) ;
/* tmp89 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_66 */
__ats_lab_66_0:
if (((ats_sum_ptr_type)tmp90)->tag != 45) { goto __ats_lab_67_0 ; }
__ats_lab_66_1:
tmp379 = ats_caselptrlab_mac(anairiats_sum_1, tmp90, atslab_0) ;
/* tmp380 = */ atspre_fprint_string (arg0, ATSstrcst("HDEvararg(")) ;
/* tmp381 = */ _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hidexplst (arg0, tmp379) ;
/* tmp89 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_67 */
__ats_lab_67_0:
if (((ats_sum_ptr_type)tmp90)->tag != 46) { goto __ats_lab_68_0 ; }
__ats_lab_67_1:
tmp382 = ats_caselptrlab_mac(anairiats_sum_1, tmp90, atslab_0) ;
/* tmp383 = */ atspre_fprint_string (arg0, ATSstrcst("HDEtempenver(")) ;
/* tmp384 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2varlst (arg0, tmp382) ;
/* tmp89 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_68 */
__ats_lab_68_0:
if (((ats_sum_ptr_type)tmp90)->tag != 47) { goto __ats_lab_69_0 ; }
__ats_lab_68_1:
tmp385 = ats_caselptrlab_mac(anairiats_sum_12, tmp90, atslab_0) ;
tmp386 = ats_caselptrlab_mac(anairiats_sum_12, tmp90, atslab_1) ;
tmp387 = ats_caselptrlab_mac(anairiats_sum_12, tmp90, atslab_2) ;
/* tmp388 = */ atspre_fprint_string (arg0, ATSstrcst("HDElam(")) ;
/* tmp389 = */ atspre_fprint_int (arg0, tmp385) ;
/* tmp390 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp391 = */ _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hipatlst (arg0, tmp386) ;
/* tmp392 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp393 = */ _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hidexp (arg0, tmp387) ;
/* tmp89 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_69 */
__ats_lab_69_0:
if (((ats_sum_ptr_type)tmp90)->tag != 48) { goto __ats_lab_70_0 ; }
__ats_lab_69_1:
tmp394 = ats_caselptrlab_mac(anairiats_sum_12, tmp90, atslab_0) ;
tmp395 = ats_caselptrlab_mac(anairiats_sum_12, tmp90, atslab_1) ;
tmp396 = ats_caselptrlab_mac(anairiats_sum_12, tmp90, atslab_2) ;
/* tmp397 = */ atspre_fprint_string (arg0, ATSstrcst("HDEfix(")) ;
/* tmp398 = */ atspre_fprint_int (arg0, tmp394) ;
/* tmp399 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp400 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2var (arg0, tmp395) ;
/* tmp401 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp402 = */ _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hidexp (arg0, tmp396) ;
/* tmp89 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_70 */
__ats_lab_70_0:
if (((ats_sum_ptr_type)tmp90)->tag != 49) { goto __ats_lab_71_0 ; }
__ats_lab_70_1:
tmp403 = ats_caselptrlab_mac(anairiats_sum_1, tmp90, atslab_0) ;
/* tmp404 = */ atspre_fprint_string (arg0, ATSstrcst("HDEdelay(")) ;
/* tmp405 = */ _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hidexp (arg0, tmp403) ;
/* tmp89 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_71 */
__ats_lab_71_0:
if (((ats_sum_ptr_type)tmp90)->tag != 50) { goto __ats_lab_72_0 ; }
__ats_lab_71_1:
tmp406 = ats_caselptrlab_mac(anairiats_sum_3, tmp90, atslab_0) ;
tmp407 = ats_caselptrlab_mac(anairiats_sum_3, tmp90, atslab_1) ;
/* tmp408 = */ atspre_fprint_string (arg0, ATSstrcst("HDEldelay(")) ;
/* tmp409 = */ _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hidexp (arg0, tmp406) ;
/* tmp410 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp411 = */ _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hidexp (arg0, tmp407) ;
/* tmp89 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_72 */
__ats_lab_72_0:
if (((ats_sum_ptr_type)tmp90)->tag != 51) { goto __ats_lab_73_0 ; }
__ats_lab_72_1:
tmp412 = ats_caselptrlab_mac(anairiats_sum_16, tmp90, atslab_0) ;
tmp413 = ats_caselptrlab_mac(anairiats_sum_16, tmp90, atslab_1) ;
/* tmp414 = */ atspre_fprint_string (arg0, ATSstrcst("HDElazyeval(")) ;
/* tmp415 = */ atspre_fprint_int (arg0, tmp412) ;
/* tmp416 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp417 = */ _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hidexp (arg0, tmp413) ;
/* tmp89 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_73 */
__ats_lab_73_0:
if (((ats_sum_ptr_type)tmp90)->tag != 52) { goto __ats_lab_74_0 ; }
__ats_lab_73_1:
/* tmp89 = */ atspre_fprint_string (arg0, ATSstrcst("HDEloop(...)")) ;
break ;

/* branch: __ats_lab_74 */
__ats_lab_74_0:
if (((ats_sum_ptr_type)tmp90)->tag != 53) { goto __ats_lab_75_0 ; }
__ats_lab_74_1:
tmp418 = ats_caselptrlab_mac(anairiats_sum_4, tmp90, atslab_0) ;
/* tmp419 = */ atspre_fprint_string (arg0, ATSstrcst("HDEloopexn(")) ;
/* tmp420 = */ atspre_fprint_int (arg0, tmp418) ;
/* tmp89 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_75 */
__ats_lab_75_0:
if (((ats_sum_ptr_type)tmp90)->tag != 54) { goto __ats_lab_76_0 ; }
__ats_lab_75_1:
tmp421 = ats_caselptrlab_mac(anairiats_sum_3, tmp90, atslab_0) ;
/* tmp422 = */ atspre_fprint_string (arg0, ATSstrcst("HDEtrywith(")) ;
/* tmp423 = */ _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hidexp (arg0, tmp421) ;
/* tmp424 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp425 = */ atspre_fprint_string (arg0, ATSstrcst("...")) ;
/* tmp89 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_76 */
__ats_lab_76_0:
// if (((ats_sum_ptr_type)tmp90)->tag != 55) { ats_deadcode_failure_handle () ; }
__ats_lab_76_1:
/* tmp89 = */ atspre_fprint_string (arg0, ATSstrcst("HDEerrexp()")) ;
break ;
} while (0) ;
return /* (tmp89) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hidexp] */

/*
// /tmp/ATS-Postiats/src/pats_hidynexp_print.dats: 17624(line=769, offs=14) -- 17659(line=769, offs=49)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__print_hidexp (ats_ptr_type arg0) {
/* local vardec */
// ATSlocal_void (tmp426) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__print_hidexp:
/* tmp426 = */ _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hidexp (stdout, arg0) ;
return /* (tmp426) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__print_hidexp] */

/*
// /tmp/ATS-Postiats/src/pats_hidynexp_print.dats: 17683(line=771, offs=14) -- 17718(line=771, offs=49)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__prerr_hidexp (ats_ptr_type arg0) {
/* local vardec */
// ATSlocal_void (tmp427) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__prerr_hidexp:
/* tmp427 = */ _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hidexp (stderr, arg0) ;
return /* (tmp427) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__prerr_hidexp] */

/*
// /tmp/ATS-Postiats/src/pats_hidynexp_print.dats: 17749(line=775, offs=3) -- 17805(line=775, offs=59)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hidexplst (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp428) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hidexplst:
/* tmp428 = */ fprintlst_01696_ats_ptr_type (arg0, arg1, ATSstrcst("; "), &_2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hidexp) ;
return /* (tmp428) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hidexplst] */

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

__ats_lab_fprintopt_01697_ats_ptr_type:
do {
/* branch: __ats_lab_77 */
__ats_lab_77_0:
if (arg1 != (ats_sum_ptr_type)0) { goto __ats_lab_78_0 ; }
__ats_lab_77_1:
/* tmp430 = */ atspre_fprint_string (arg0, ATSstrcst("None()")) ;
break ;

/* branch: __ats_lab_78 */
__ats_lab_78_0:
// if (arg1 == (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; }
__ats_lab_78_1:
tmp431 = ats_caselptrlab_mac(anairiats_sum_17, arg1, atslab_0) ;
/* tmp432 = */ atspre_fprint_string (arg0, ATSstrcst("Some(")) ;
/* tmp433 = */ ((ats_void_type(*)(ats_ptr_type, ats_ptr_type))arg2) (arg0, tmp431) ;
/* tmp430 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;
} while (0) ;
return /* (tmp430) */ ;
} /* end of [fprintopt_01697_ats_ptr_type] */

/*
// /tmp/ATS-Postiats/src/pats_hidynexp_print.dats: 17865(line=780, offs=3) -- 17917(line=780, offs=55)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hidexpopt (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp429) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hidexpopt:
/* tmp429 = */ fprintopt_01697_ats_ptr_type (arg0, arg1, &_2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hidexp) ;
return /* (tmp429) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hidexpopt] */

/*
// /tmp/ATS-Postiats/src/pats_hidynexp_print.dats: 18052(line=789, offs=3) -- 18208(line=795, offs=2)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_print_2edats__fprint_labhidexp (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp434) ;
ATSlocal (ats_ptr_type, tmp435) ;
ATSlocal (ats_ptr_type, tmp436) ;
// ATSlocal_void (tmp437) ;
// ATSlocal_void (tmp438) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_print_2edats__fprint_labhidexp:

tmp435 = ats_caselptrlab_mac(anairiats_sum_8, arg1, atslab_0) ;
tmp436 = ats_caselptrlab_mac(anairiats_sum_8, arg1, atslab_1) ;
/* tmp437 = */ _2tmp_2ATS_2dPostiats_2src_2pats_label_2esats__fprint_label (arg0, tmp435) ;
/* tmp438 = */ atspre_fprint_string (arg0, ATSstrcst("= ")) ;
/* tmp434 = */ _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hidexp (arg0, tmp436) ;
return /* (tmp434) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_print_2edats__fprint_labhidexp] */

/*
// /tmp/ATS-Postiats/src/pats_hidynexp_print.dats: 18271(line=799, offs=3) -- 18332(line=799, offs=64)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_labhidexplst (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp439) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_labhidexplst:
/* tmp439 = */ fprintlst_01696_ats_ptr_type (arg0, arg1, ATSstrcst("; "), &_2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_print_2edats__fprint_labhidexp) ;
return /* (tmp439) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_labhidexplst] */

/*
// /tmp/ATS-Postiats/src/pats_hidynexp_print.dats: 18411(line=805, offs=15) -- 18644(line=811, offs=2)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_print_2edats__fprint_higmat (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp440) ;
// ATSlocal_void (tmp441) ;
// ATSlocal_void (tmp442) ;
ATSlocal (ats_ptr_type, tmp443) ;
// ATSlocal_void (tmp444) ;
// ATSlocal_void (tmp445) ;
ATSlocal (ats_ptr_type, tmp446) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_print_2edats__fprint_higmat:
/* tmp441 = */ atspre_fprint_string (arg0, ATSstrcst("HIGMAT(")) ;
tmp443 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_18, arg1), atslab_higmat_exp) ;
/* tmp442 = */ _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hidexp (arg0, tmp443) ;
/* tmp444 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
tmp446 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_18, arg1), atslab_higmat_pat) ;
/* tmp445 = */ fprintopt_01697_ats_ptr_type (arg0, tmp446, &_2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hipat) ;
/* tmp440 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
return /* (tmp440) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_print_2edats__fprint_higmat] */

/*
// /tmp/ATS-Postiats/src/pats_hidynexp_print.dats: 18717(line=816, offs=15) -- 18941(line=822, offs=2)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_print_2edats__fprint_hiclau (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp447) ;
// ATSlocal_void (tmp448) ;
// ATSlocal_void (tmp449) ;
ATSlocal (ats_ptr_type, tmp450) ;
// ATSlocal_void (tmp451) ;
// ATSlocal_void (tmp452) ;
ATSlocal (ats_ptr_type, tmp453) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_print_2edats__fprint_hiclau:
/* tmp448 = */ atspre_fprint_string (arg0, ATSstrcst("HICLAU(")) ;
tmp450 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_19, arg1), atslab_hiclau_pat) ;
/* tmp449 = */ _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hipatlst (arg0, tmp450) ;
/* tmp451 = */ atspre_fprint_string (arg0, ATSstrcst(" => ")) ;
tmp453 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_19, arg1), atslab_hiclau_body) ;
/* tmp452 = */ _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hidexp (arg0, tmp453) ;
/* tmp447 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
return /* (tmp447) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_print_2edats__fprint_hiclau] */

/*
// /tmp/ATS-Postiats/src/pats_hidynexp_print.dats: 19018(line=828, offs=3) -- 22058(line=976, offs=4)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hidecl (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp454) ;
ATSlocal (ats_ptr_type, tmp455) ;
ATSlocal (ats_ptr_type, tmp456) ;
// ATSlocal_void (tmp457) ;
// ATSlocal_void (tmp458) ;
ATSlocal (ats_int_type, tmp459) ;
ATSlocal (ats_int_type, tmp460) ;
// ATSlocal_void (tmp461) ;
// ATSlocal_void (tmp462) ;
ATSlocal (ats_int_type, tmp463) ;
ATSlocal (ats_ptr_type, tmp464) ;
// ATSlocal_void (tmp465) ;
// ATSlocal_void (tmp466) ;
// ATSlocal_void (tmp467) ;
// ATSlocal_void (tmp468) ;
ATSlocal (ats_ptr_type, tmp469) ;
// ATSlocal_void (tmp470) ;
// ATSlocal_void (tmp471) ;
ATSlocal (ats_ptr_type, tmp472) ;
ATSlocal (ats_ptr_type, tmp473) ;
// ATSlocal_void (tmp474) ;
// ATSlocal_void (tmp475) ;
// ATSlocal_void (tmp476) ;
// ATSlocal_void (tmp477) ;
ATSlocal (ats_ptr_type, tmp478) ;
// ATSlocal_void (tmp479) ;
// ATSlocal_void (tmp480) ;
ATSlocal (ats_ptr_type, tmp481) ;
// ATSlocal_void (tmp482) ;
// ATSlocal_void (tmp483) ;
ATSlocal (ats_ptr_type, tmp484) ;
// ATSlocal_void (tmp485) ;
// ATSlocal_void (tmp486) ;
ATSlocal (ats_ptr_type, tmp487) ;
// ATSlocal_void (tmp488) ;
// ATSlocal_void (tmp489) ;
ATSlocal (ats_ptr_type, tmp490) ;
// ATSlocal_void (tmp491) ;
// ATSlocal_void (tmp492) ;
ATSlocal (ats_int_type, tmp493) ;
ATSlocal (ats_ptr_type, tmp494) ;
// ATSlocal_void (tmp495) ;
// ATSlocal_void (tmp496) ;
// ATSlocal_void (tmp497) ;
// ATSlocal_void (tmp498) ;
ATSlocal (ats_ptr_type, tmp499) ;
// ATSlocal_void (tmp500) ;
// ATSlocal_void (tmp501) ;
ATSlocal (ats_ptr_type, tmp502) ;
ATSlocal (ats_ptr_type, tmp503) ;
// ATSlocal_void (tmp504) ;
// ATSlocal_void (tmp505) ;
// ATSlocal_void (tmp506) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hidecl:
tmp455 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_20, arg1), atslab_hidecl_node) ;
do {
/* branch: __ats_lab_79 */
__ats_lab_79_0:
if (((ats_sum_ptr_type)tmp455)->tag != 0) { goto __ats_lab_80_0 ; }
__ats_lab_79_1:
/* tmp454 = */ atspre_fprint_string (arg0, ATSstrcst("HIDnone()")) ;
break ;

/* branch: __ats_lab_80 */
__ats_lab_80_0:
if (((ats_sum_ptr_type)tmp455)->tag != 1) { goto __ats_lab_81_0 ; }
__ats_lab_80_1:
tmp456 = ats_caselptrlab_mac(anairiats_sum_1, tmp455, atslab_0) ;
/* tmp457 = */ atspre_fprint_string (arg0, ATSstrcst("HIDlist(\n")) ;
/* tmp458 = */ fprintlst_01696_ats_ptr_type (arg0, tmp456, ATSstrcst("\n"), &_2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hidecl) ;
/* tmp454 = */ atspre_fprint_string (arg0, ATSstrcst("\n)")) ;
break ;

/* branch: __ats_lab_81 */
__ats_lab_81_0:
if (((ats_sum_ptr_type)tmp455)->tag != 2) { goto __ats_lab_82_0 ; }
__ats_lab_81_1:
/* tmp454 = */ atspre_fprint_string (arg0, ATSstrcst("HIDsaspdec(...)")) ;
break ;

/* branch: __ats_lab_82 */
__ats_lab_82_0:
if (((ats_sum_ptr_type)tmp455)->tag != 3) { goto __ats_lab_83_0 ; }
__ats_lab_82_1:
/* tmp454 = */ atspre_fprint_string (arg0, ATSstrcst("HIDreassume(...)")) ;
break ;

/* branch: __ats_lab_83 */
__ats_lab_83_0:
if (((ats_sum_ptr_type)tmp455)->tag != 6) { goto __ats_lab_84_0 ; }
__ats_lab_83_1:
tmp459 = ats_caselptrlab_mac(anairiats_sum_13, tmp455, atslab_0) ;
tmp460 = ats_caselptrlab_mac(anairiats_sum_13, tmp455, atslab_1) ;
/* tmp461 = */ atspre_fprint_string (arg0, ATSstrcst("HIDextcode(")) ;
/* tmp462 = */ atspre_fprintf_exn (arg0, ATSstrcst("knd=%i, pos=%i, code=..."), tmp459, tmp460) ;
/* tmp454 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_84 */
__ats_lab_84_0:
if (((ats_sum_ptr_type)tmp455)->tag != 8) { goto __ats_lab_85_0 ; }
__ats_lab_84_1:
tmp463 = ats_caselptrlab_mac(anairiats_sum_16, tmp455, atslab_0) ;
tmp464 = ats_caselptrlab_mac(anairiats_sum_16, tmp455, atslab_1) ;
/* tmp465 = */ atspre_fprint_string (arg0, ATSstrcst("HIDdatdecs(")) ;
/* tmp466 = */ atspre_fprint_int (arg0, tmp463) ;
/* tmp467 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp468 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp2_2esats__fprint_s2cstlst (arg0, tmp464) ;
/* tmp454 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_85 */
__ats_lab_85_0:
if (((ats_sum_ptr_type)tmp455)->tag != 7) { goto __ats_lab_86_0 ; }
__ats_lab_85_1:
tmp469 = ats_caselptrlab_mac(anairiats_sum_1, tmp455, atslab_0) ;
/* tmp470 = */ atspre_fprint_string (arg0, ATSstrcst("HIDexndecs(")) ;
/* tmp471 = */ _2tmp_2ATS_2dPostiats_2src_2pats_staexp2_2esats__fprint_d2conlst (arg0, tmp469) ;
/* tmp454 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_86 */
__ats_lab_86_0:
if (((ats_sum_ptr_type)tmp455)->tag != 9) { goto __ats_lab_87_0 ; }
__ats_lab_86_1:
tmp472 = ats_caselptrlab_mac(anairiats_sum_3, tmp455, atslab_0) ;
tmp473 = ats_caselptrlab_mac(anairiats_sum_3, tmp455, atslab_1) ;
/* tmp474 = */ atspre_fprint_string (arg0, ATSstrcst("HIDdcstdecs(")) ;
/* tmp475 = */ _2tmp_2ATS_2dPostiats_2src_2pats_basics_2esats__fprint_dcstkind (arg0, tmp472) ;
/* tmp476 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ;
/* tmp477 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2cstlst (arg0, tmp473) ;
/* tmp454 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_87 */
__ats_lab_87_0:
if (((ats_sum_ptr_type)tmp455)->tag != 11) { goto __ats_lab_88_0 ; }
__ats_lab_87_1:
tmp478 = ats_caselptrlab_mac(anairiats_sum_11, tmp455, atslab_2) ;
/* tmp479 = */ atspre_fprint_string (arg0, ATSstrcst("HIDfundecs(\n")) ;
/* tmp480 = */ fprintlst_01696_ats_ptr_type (arg0, tmp478, ATSstrcst("\n"), &_2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hifundec) ;
/* tmp454 = */ atspre_fprint_string (arg0, ATSstrcst("\n)")) ;
break ;

/* branch: __ats_lab_88 */
__ats_lab_88_0:
if (((ats_sum_ptr_type)tmp455)->tag != 12) { goto __ats_lab_89_0 ; }
__ats_lab_88_1:
tmp481 = ats_caselptrlab_mac(anairiats_sum_3, tmp455, atslab_1) ;
/* tmp482 = */ atspre_fprint_string (arg0, ATSstrcst("HIDvaldecs(\n")) ;
/* tmp483 = */ fprintlst_01696_ats_ptr_type (arg0, tmp481, ATSstrcst("\n"), &_2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hivaldec) ;
/* tmp454 = */ atspre_fprint_string (arg0, ATSstrcst("\n)")) ;
break ;

/* branch: __ats_lab_89 */
__ats_lab_89_0:
if (((ats_sum_ptr_type)tmp455)->tag != 13) { goto __ats_lab_90_0 ; }
__ats_lab_89_1:
tmp484 = ats_caselptrlab_mac(anairiats_sum_3, tmp455, atslab_1) ;
/* tmp485 = */ atspre_fprint_string (arg0, ATSstrcst("HIDvaldecs_rec(\n")) ;
/* tmp486 = */ fprintlst_01696_ats_ptr_type (arg0, tmp484, ATSstrcst("\n"), &_2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hivaldec) ;
/* tmp454 = */ atspre_fprint_string (arg0, ATSstrcst("\n)")) ;
break ;

/* branch: __ats_lab_90 */
__ats_lab_90_0:
if (((ats_sum_ptr_type)tmp455)->tag != 14) { goto __ats_lab_91_0 ; }
__ats_lab_90_1:
tmp487 = ats_caselptrlab_mac(anairiats_sum_1, tmp455, atslab_0) ;
/* tmp488 = */ atspre_fprint_string (arg0, ATSstrcst("HIDvardecs(\n")) ;
/* tmp489 = */ fprintlst_01696_ats_ptr_type (arg0, tmp487, ATSstrcst("\n"), &_2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hivardec) ;
/* tmp454 = */ atspre_fprint_string (arg0, ATSstrcst("\n)")) ;
break ;

/* branch: __ats_lab_91 */
__ats_lab_91_0:
if (((ats_sum_ptr_type)tmp455)->tag != 10) { goto __ats_lab_92_0 ; }
__ats_lab_91_1:
tmp490 = ats_caselptrlab_mac(anairiats_sum_16, tmp455, atslab_1) ;
/* tmp491 = */ atspre_fprint_string (arg0, ATSstrcst("HIDimpdec(\n")) ;
/* tmp492 = */ _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hiimpdec (arg0, tmp490) ;
/* tmp454 = */ atspre_fprint_string (arg0, ATSstrcst("\n)")) ;
break ;

/* branch: __ats_lab_92 */
__ats_lab_92_0:
if (((ats_sum_ptr_type)tmp455)->tag != 15) { goto __ats_lab_93_0 ; }
__ats_lab_92_1:
tmp493 = ats_caselptrlab_mac(anairiats_sum_16, tmp455, atslab_0) ;
tmp494 = ats_caselptrlab_mac(anairiats_sum_16, tmp455, atslab_1) ;
/* tmp495 = */ atspre_fprint_string (arg0, ATSstrcst("HIDinclude(")) ;
/* tmp496 = */ atspre_fprint_int (arg0, tmp493) ;
/* tmp497 = */ atspre_fprint_string (arg0, ATSstrcst("\n")) ;
/* tmp498 = */ fprintlst_01696_ats_ptr_type (arg0, tmp494, ATSstrcst("\n"), &_2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hidecl) ;
/* tmp454 = */ atspre_fprint_string (arg0, ATSstrcst("\n)")) ;
break ;

/* branch: __ats_lab_93 */
__ats_lab_93_0:
if (((ats_sum_ptr_type)tmp455)->tag != 16) { goto __ats_lab_94_0 ; }
__ats_lab_93_1:
tmp499 = ats_caselptrlab_mac(anairiats_sum_21, tmp455, atslab_1) ;
/* tmp500 = */ atspre_fprint_string (arg0, ATSstrcst("HIDstaload(")) ;
/* tmp501 = */ _2tmp_2ATS_2dPostiats_2src_2pats_filename_2esats__fprint_filename_full (arg0, tmp499) ;
/* tmp454 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_94 */
__ats_lab_94_0:
if (((ats_sum_ptr_type)tmp455)->tag != 17) { goto __ats_lab_95_0 ; }
__ats_lab_94_1:
tmp502 = ats_caselptrlab_mac(anairiats_sum_11, tmp455, atslab_0) ;
tmp503 = ats_caselptrlab_mac(anairiats_sum_11, tmp455, atslab_1) ;
/* tmp504 = */ atspre_fprint_string (arg0, ATSstrcst("HIDstaloadloc(")) ;
/* tmp505 = */ _2tmp_2ATS_2dPostiats_2src_2pats_filename_2esats__fprint_filename_full (arg0, tmp502) ;
/* tmp506 = */ _2tmp_2ATS_2dPostiats_2src_2pats_symbol_2esats__fprint_symbol (arg0, tmp503) ;
/* tmp454 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ;
break ;

/* branch: __ats_lab_95 */
__ats_lab_95_0:
__ats_lab_95_1:
/* tmp454 = */ atspre_fprint_string (arg0, ATSstrcst("HID...(...)")) ;
break ;
} while (0) ;
return /* (tmp454) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hidecl] */

/*
// /tmp/ATS-Postiats/src/pats_hidynexp_print.dats: 22113(line=980, offs=3) -- 22151(line=980, offs=41)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__print_hidecl (ats_ptr_type arg0) {
/* local vardec */
// ATSlocal_void (tmp507) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__print_hidecl:
/* tmp507 = */ _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hidecl (stdout, arg0) ;
return /* (tmp507) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__print_hidecl] */

/*
// /tmp/ATS-Postiats/src/pats_hidynexp_print.dats: 22177(line=983, offs=3) -- 22215(line=983, offs=41)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__prerr_hidecl (ats_ptr_type arg0) {
/* local vardec */
// ATSlocal_void (tmp508) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__prerr_hidecl:
/* tmp508 = */ _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hidecl (stderr, arg0) ;
return /* (tmp508) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__prerr_hidecl] */

/*
// /tmp/ATS-Postiats/src/pats_hidynexp_print.dats: 22269(line=989, offs=3) -- 22512(line=1003, offs=4)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hideclist (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp509) ;
ATSlocal (ats_ptr_type, tmp510) ;
ATSlocal (ats_ptr_type, tmp511) ;
// ATSlocal_void (tmp512) ;
// ATSlocal_void (tmp513) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hideclist:
do {
/* branch: __ats_lab_96 */
__ats_lab_96_0:
if (arg1 == (ats_sum_ptr_type)0) { goto __ats_lab_97_0 ; }
__ats_lab_96_1:
tmp510 = ats_caselptrlab_mac(anairiats_sum_8, arg1, atslab_0) ;
tmp511 = ats_caselptrlab_mac(anairiats_sum_8, arg1, atslab_1) ;
/* tmp512 = */ _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hidecl (arg0, tmp510) ;
/* tmp513 = */ atspre_fprint_newline (arg0) ;
arg0 = arg0 ;
arg1 = tmp511 ;
goto __ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hideclist ; // tail call
break ;

/* branch: __ats_lab_97 */
__ats_lab_97_0:
// if (arg1 != (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; }
__ats_lab_97_1:
break ;
} while (0) ;
return /* (tmp509) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hideclist] */

/*
// /tmp/ATS-Postiats/src/pats_hidynexp_print.dats: 22592(line=1009, offs=3) -- 22755(line=1013, offs=2)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hiimpdec (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp514) ;
// ATSlocal_void (tmp515) ;
ATSlocal (ats_ptr_type, tmp516) ;
// ATSlocal_void (tmp517) ;
ATSlocal (ats_ptr_type, tmp518) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hiimpdec:
tmp516 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_22, arg1), atslab_hiimpdec_cst) ;
/* tmp515 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2cst (arg0, tmp516) ;
/* tmp517 = */ atspre_fprint_string (arg0, ATSstrcst(" = ")) ;
tmp518 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_22, arg1), atslab_hiimpdec_def) ;
/* tmp514 = */ _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hidexp (arg0, tmp518) ;
return /* (tmp514) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hiimpdec] */

/*
// /tmp/ATS-Postiats/src/pats_hidynexp_print.dats: 22834(line=1019, offs=3) -- 22985(line=1023, offs=2)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hifundec (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp519) ;
// ATSlocal_void (tmp520) ;
ATSlocal (ats_ptr_type, tmp521) ;
// ATSlocal_void (tmp522) ;
ATSlocal (ats_ptr_type, tmp523) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hifundec:
tmp521 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_23, arg1), atslab_hifundec_var) ;
/* tmp520 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2var (arg0, tmp521) ;
/* tmp522 = */ atspre_fprint_string (arg0, ATSstrcst(" = ")) ;
tmp523 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_23, arg1), atslab_hifundec_def) ;
/* tmp519 = */ _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hidexp (arg0, tmp523) ;
return /* (tmp519) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hifundec] */

/*
// /tmp/ATS-Postiats/src/pats_hidynexp_print.dats: 23043(line=1027, offs=3) -- 23194(line=1031, offs=2)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hivaldec (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp524) ;
// ATSlocal_void (tmp525) ;
ATSlocal (ats_ptr_type, tmp526) ;
// ATSlocal_void (tmp527) ;
ATSlocal (ats_ptr_type, tmp528) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hivaldec:
tmp526 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_24, arg1), atslab_hivaldec_pat) ;
/* tmp525 = */ _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hipat (arg0, tmp526) ;
/* tmp527 = */ atspre_fprint_string (arg0, ATSstrcst(" = ")) ;
tmp528 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_24, arg1), atslab_hivaldec_def) ;
/* tmp524 = */ _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hidexp (arg0, tmp528) ;
return /* (tmp524) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hivaldec] */

/*
// /tmp/ATS-Postiats/src/pats_hidynexp_print.dats: 23252(line=1035, offs=3) -- 23549(line=1044, offs=4)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hivardec (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp529) ;
// ATSlocal_void (tmp530) ;
ATSlocal (ats_ptr_type, tmp531) ;
// ATSlocal_void (tmp532) ;
// ATSlocal_void (tmp533) ;
ATSlocal (ats_ptr_type, tmp534) ;
// ATSlocal_void (tmp535) ;
ATSlocal (ats_ptr_type, tmp536) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hivardec:
tmp531 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_25, arg1), atslab_hivardec_dvar_ptr) ;
/* tmp530 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__fprint_d2var (arg0, tmp531) ;
/* tmp532 = */ atspre_fprint_string (arg0, ATSstrcst(" : ")) ;
tmp534 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_25, arg1), atslab_hivardec_type) ;
/* tmp533 = */ _2tmp_2ATS_2dPostiats_2src_2pats_histaexp_2esats__fprint_hisexp (arg0, tmp534) ;
/* tmp535 = */ atspre_fprint_string (arg0, ATSstrcst(" = ")) ;
tmp536 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_25, arg1), atslab_hivardec_init) ;
/* tmp529 = */ fprintopt_01697_ats_ptr_type (arg0, tmp536, &_2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hidexp) ;
return /* (tmp529) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__fprint_hivardec] */

/* static load function */

extern ats_void_type _2tmp_2ATS_2dPostiats_2src_2pats_utils_2esats__staload (void) ;
extern ats_void_type _2tmp_2ATS_2dPostiats_2src_2pats_utils_2edats__staload (void) ;
extern ats_void_type _2tmp_2ATS_2dPostiats_2src_2pats_basics_2esats__staload (void) ;
extern ats_void_type _2tmp_2ATS_2dPostiats_2src_2pats_label_2esats__staload (void) ;
extern ats_void_type _2tmp_2ATS_2dPostiats_2src_2pats_filename_2esats__staload (void) ;
extern ats_void_type _2tmp_2ATS_2dPostiats_2src_2pats_syntax_2esats__staload (void) ;
extern ats_void_type _2tmp_2ATS_2dPostiats_2src_2pats_staexp2_2esats__staload (void) ;
extern ats_void_type _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__staload (void) ;
extern ats_void_type _2tmp_2ATS_2dPostiats_2src_2pats_histaexp_2esats__staload (void) ;
extern ats_void_type _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__staload (void) ;

ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_print_2edats__staload () {
static int _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_print_2edats__staload_flag = 0 ;
if (_2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_print_2edats__staload_flag) return ;
_2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_print_2edats__staload_flag = 1 ;

_2tmp_2ATS_2dPostiats_2src_2pats_utils_2esats__staload () ;
_2tmp_2ATS_2dPostiats_2src_2pats_utils_2edats__staload () ;
_2tmp_2ATS_2dPostiats_2src_2pats_basics_2esats__staload () ;
_2tmp_2ATS_2dPostiats_2src_2pats_label_2esats__staload () ;
_2tmp_2ATS_2dPostiats_2src_2pats_filename_2esats__staload () ;
_2tmp_2ATS_2dPostiats_2src_2pats_syntax_2esats__staload () ;
_2tmp_2ATS_2dPostiats_2src_2pats_staexp2_2esats__staload () ;
_2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__staload () ;
_2tmp_2ATS_2dPostiats_2src_2pats_histaexp_2esats__staload () ;
_2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__staload () ;

return ;
} /* staload function */

/* dynamic load function */

// dynload flag declaration
extern ats_int_type _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_print_2edats__dynload_flag ;

ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_print_2edats__dynload () {
_2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_print_2edats__dynload_flag = 1 ;
_2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_print_2edats__staload () ;

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

/* marking static variables for GC */

/* marking external values for GC */

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

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

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

/* end of [pats_hidynexp_print_dats.c] */
