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

/* 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_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"

#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_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_hisexp_name ;
ats_ptr_type atslab_hisexp_node ;
} anairiats_rec_0 ;

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

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

typedef
struct {
ats_ptr_type atslab_primdec_loc ;
ats_ptr_type atslab_primdec_node ;
} anairiats_rec_3 ;

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

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

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

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

typedef
struct {
ats_ptr_type atslab_primval_loc ;
ats_ptr_type atslab_primval_type ;
ats_ptr_type atslab_primval_node ;
} anairiats_rec_8 ;

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

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

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

typedef struct {
int tag ;
ats_double_type atslab_0 ;
} 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 {
ats_ptr_type atslab_ibranch_loc ;
ats_ptr_type atslab_ibranch_inslst ;
} anairiats_rec_14 ;

typedef
struct {
ats_ptr_type atslab_primlab_loc ;
ats_ptr_type atslab_primlab_node ;
} anairiats_rec_15 ;

typedef
struct {
ats_ptr_type atslab_instr_loc ;
ats_ptr_type atslab_instr_node ;
} anairiats_rec_16 ;

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

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

typedef struct {
int tag ;
ats_ptr_type atslab_0 ;
ats_ptr_type atslab_1 ;
ats_ptr_type atslab_2 ;
ats_ptr_type atslab_3 ;
ats_ptr_type atslab_4 ;
ats_ptr_type atslab_5 ;
ats_ptr_type atslab_6 ;
ats_ptr_type atslab_7 ;
} anairiats_sum_19 ;

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

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

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

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

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

/* 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, _2tmp_2ATS_2dPostiats_2src_2pats_histaexp_2esats__HSEtyrecsin_9) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__LABPRIMVAL_0) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__PMLlab_0) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__PMLind_1) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__PMVtmp_0) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__PMVtmpref_1) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__PMVarg_2) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__PMVargref_3) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__PMVargenv_4) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__PMVargtmpref_5) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__PMVcst_6) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__PMVenv_7) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__PMVint_8) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__PMVintrep_9) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__PMVbool_10) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__PMVchar_11) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__PMVfloat_12) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__PMVstring_13) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__PMVi0nt_14) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__PMVf0loat_15) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__PMVcstsp_16) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__PMVtyrep_17) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__PMVsizeof_18) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__PMVtop_19) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__PMVempty_20) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__PMVextval_21) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__PMVcastfn_22) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__PMVselcon_23) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__PMVselect_24) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__PMVselect2_25) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__PMVselptr_26) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__PMVptrof_27) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__PMVptrofsel_28) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__PMVvararg_29) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__PMVrefarg_30) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__PMVfunlab_31) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__PMVcfunlab_32) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__PMVd2vfunlab_33) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__PMVlamfix_34) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__PMVtmpltcst_35) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__PMVtmpltvar_36) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__PMVtmpltcstmat_37) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__PMVtmpltvarmat_38) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__PMVerror_39) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__PMDnone_0) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__PMDlist_1) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__PMDsaspdec_2) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__PMDextvar_3) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__PMDdatdecs_4) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__PMDexndecs_5) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__PMDfundecs_6) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__PMDvaldecs_7) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__PMDvaldecs_rec_8) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__PMDvardecs_9) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__PMDimpdec_10) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__PMDinclude_11) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__PMDstaload_12) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__PMDstaloadloc_13) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__PMDdynload_14) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__PMDlocal_15) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__INSfunlab_0) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__INStmplab_1) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__INScomment_2) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__INSmove_val_3) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__INSpmove_val_4) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__INSmove_arg_val_5) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__INSfcall_6) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__INSfcall2_7) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__INSextfcall_8) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__INSextmcall_9) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__INScond_10) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__INSfreecon_11) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__INSloop_12) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__INSloopexn_13) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__INScaseof_14) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__INSletpop_15) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__INSletpush_16) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__INSmove_con_17) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__INSmove_ref_18) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__INSmove_boxrec_19) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__INSmove_fltrec_20) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__INSpatck_21) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__INSmove_ptrofsel_22) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__INSstore_ptrofs_23) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__INSxstore_ptrofs_24) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__INSraise_25) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__INSmove_delay_26) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__INSmove_lazyeval_27) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__INStrywith_28) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__INSmove_list_nil_29) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__INSpmove_list_nil_30) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__INSpmove_list_cons_31) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__INSmove_list_phead_32) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__INSmove_list_ptail_33) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__INSmove_arrpsz_ptr_34) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__INSstore_arrpsz_asz_35) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__INSstore_arrpsz_ptr_36) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__INSupdate_ptrinc_37) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__INSupdate_ptrdec_38) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__INSclosure_initize_39) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__INStmpdec_40) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__INSextvar_41) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__INSdcstdef_42) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__INStempenver_43) ;

/* external dynamic constant declarations */
ATSextern_val(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_histaexp_2esats__hisexp_typtr) ;
ATSextern_val(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_histaexp_2esats__hisexp_undefined) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_histaexp_2esats__hisexp_size_t0ype) () ;
ATSextern_fun(ats_ptr_type, patsopt_hifundec_getref_funlabopt) (ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, patsopt_hiimpdec_getref_funlabopt) (ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, patsopt_hiimpdec_getref_instrlstopt) (ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__tmpvar_get_type) (ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_tmp) (ats_ptr_type, ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_tmpref) (ats_ptr_type, ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_sizeof) (ats_ptr_type, ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_selcon) (ats_ptr_type, ats_ptr_type, ats_ptr_type, ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_select) (ats_ptr_type, ats_ptr_type, ats_ptr_type, ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_select2) (ats_ptr_type, ats_ptr_type, ats_ptr_type, ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_selptr) (ats_ptr_type, ats_ptr_type, ats_ptr_type, ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_ptrof) (ats_ptr_type, ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_move_val) (ats_ptr_type, ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_move_fltrec) (ats_ptr_type, ats_ptr_type, ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2edats__primdec_make_node) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2edats__primval_make_node) (ats_ptr_type, ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2edats__instr_make_node) (ats_ptr_type, ats_ptr_type) ;

/* external dynamic terminating constant declarations */
#ifdef _ATS_PROOFCHECK
#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 ptr0_set_01704_ats_ptr_type (ats_ptr_type arg0, ats_ptr_type arg1) ;
static
ats_void_type ptrset_01708_ats_ptr_type (ats_ptr_type arg0, ats_ptr_type arg1) ;

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

/* function implementations */

/*
// /tmp/ATS-Postiats/src/pats_ccomp.dats: 1676(line=52, offs=3) -- 1723(line=52, offs=50)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__hifundec_get_funlabopt (ats_ptr_type arg0) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp0) ;
ATSlocal (ats_ptr_type, tmp1) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__hifundec_get_funlabopt:
tmp1 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_1, arg0), atslab_hifundec_funlab) ;
tmp0 = ats_castfn_mac(ats_ptr_type, tmp1) ;
return (tmp0) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__hifundec_get_funlabopt] */

/*
// /nix/store/rfja8ixrs5wb4kj3kiwlch1apnh7qgvy-ats-0.2.12/lib/ats-anairiats-0.2.12/prelude/DATS/unsafe.dats: 2024(line=63, offs=10) -- 2250(line=73, offs=2)
*/
ATSstaticdec()
ats_void_type
ptr0_set_01704_ats_ptr_type (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp4) ;

__ats_lab_ptr0_set_01704_ats_ptr_type:
ats_ptrget_mac(ats_ptr_type, ats_castfn_mac(ats_ptr_type, arg0)) = arg1 ;
return /* (tmp4) */ ;
} /* end of [ptr0_set_01704_ats_ptr_type] */

/*
// /nix/store/rfja8ixrs5wb4kj3kiwlch1apnh7qgvy-ats-0.2.12/lib/ats-anairiats-0.2.12/prelude/DATS/unsafe.dats: 2472(line=83, offs=21) -- 2499(line=83, offs=48)
*/
ATSstaticdec()
ats_void_type
ptrset_01708_ats_ptr_type (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp3) ;

__ats_lab_ptrset_01708_ats_ptr_type:
/* tmp3 = */ ptr0_set_01704_ats_ptr_type (arg0, arg1) ;
return /* (tmp3) */ ;
} /* end of [ptrset_01708_ats_ptr_type] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp.dats: 1758(line=54, offs=24) -- 1833(line=55, offs=63)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__hifundec_set_funlabopt (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp2) ;
ATSlocal (ats_ptr_type, tmp5) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__hifundec_set_funlabopt:
tmp5 = patsopt_hifundec_getref_funlabopt (arg0) ;
/* tmp2 = */ ptrset_01708_ats_ptr_type (tmp5, arg1) ;
return /* (tmp2) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__hifundec_set_funlabopt] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp.dats: 1895(line=61, offs=3) -- 1942(line=61, offs=50)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__hiimpdec_get_funlabopt (ats_ptr_type arg0) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp6) ;
ATSlocal (ats_ptr_type, tmp7) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__hiimpdec_get_funlabopt:
tmp7 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_2, arg0), atslab_hiimpdec_funlab) ;
tmp6 = ats_castfn_mac(ats_ptr_type, tmp7) ;
return (tmp6) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__hiimpdec_get_funlabopt] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp.dats: 1977(line=63, offs=24) -- 2052(line=64, offs=63)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__hiimpdec_set_funlabopt (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp8) ;
ATSlocal (ats_ptr_type, tmp9) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__hiimpdec_set_funlabopt:
tmp9 = patsopt_hiimpdec_getref_funlabopt (arg0) ;
/* tmp8 = */ ptrset_01708_ats_ptr_type (tmp9, arg1) ;
return /* (tmp8) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__hiimpdec_set_funlabopt] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp.dats: 2116(line=70, offs=3) -- 2167(line=70, offs=54)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__hiimpdec_get_instrlstopt (ats_ptr_type arg0) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp10) ;
ATSlocal (ats_ptr_type, tmp11) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__hiimpdec_get_instrlstopt:
tmp11 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_2, arg0), atslab_hiimpdec_instrlst) ;
tmp10 = ats_castfn_mac(ats_ptr_type, tmp11) ;
return (tmp10) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__hiimpdec_get_instrlstopt] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp.dats: 2204(line=72, offs=26) -- 2283(line=73, offs=67)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__hiimpdec_set_instrlstopt (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp12) ;
ATSlocal (ats_ptr_type, tmp13) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__hiimpdec_set_instrlstopt:
tmp13 = patsopt_hiimpdec_getref_instrlstopt (arg0) ;
/* tmp12 = */ ptrset_01708_ats_ptr_type (tmp13, arg1) ;
return /* (tmp12) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__hiimpdec_set_instrlstopt] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp.dats: 2433(line=85, offs=3) -- 2490(line=87, offs=2)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2edats__primdec_make_node (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp14) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2edats__primdec_make_node:
tmp14 = ATS_MALLOC(sizeof(anairiats_rec_3)) ;
ats_selptrset_mac(anairiats_rec_3, tmp14, atslab_primdec_loc, arg0) ;
ats_selptrset_mac(anairiats_rec_3, tmp14, atslab_primdec_node, arg1) ;

return (tmp14) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2edats__primdec_make_node] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp.dats: 2566(line=92, offs=14) -- 2611(line=93, offs=38)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primdec_none (ats_ptr_type arg0) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp15) ;
ATSlocal (ats_ptr_type, tmp16) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primdec_none:
tmp16 = (ats_sum_ptr_type)(&_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__PMDnone_0) ;
tmp15 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2edats__primdec_make_node (arg0, tmp16) ;
return (tmp15) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primdec_none] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp.dats: 2682(line=99, offs=14) -- 2737(line=100, offs=42)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primdec_list (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp17) ;
ATSlocal (ats_ptr_type, tmp18) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primdec_list:
tmp18 = ATS_MALLOC(sizeof(anairiats_sum_4)) ;
((ats_sum_ptr_type)tmp18)->tag = 1 ;
ats_selptrset_mac(anairiats_sum_4, tmp18, atslab_0, arg1) ;
tmp17 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2edats__primdec_make_node (arg0, tmp18) ;
return (tmp17) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primdec_list] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp.dats: 2811(line=106, offs=17) -- 2867(line=107, offs=44)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primdec_saspdec (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp19) ;
ATSlocal (ats_ptr_type, tmp20) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primdec_saspdec:
tmp20 = ATS_MALLOC(sizeof(anairiats_sum_4)) ;
((ats_sum_ptr_type)tmp20)->tag = 2 ;
ats_selptrset_mac(anairiats_sum_4, tmp20, atslab_0, arg1) ;
tmp19 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2edats__primdec_make_node (arg0, tmp20) ;
return (tmp19) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primdec_saspdec] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp.dats: 2945(line=114, offs=3) -- 3014(line=115, offs=50)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primdec_extvar (ats_ptr_type arg0, ats_ptr_type arg1, ats_ptr_type arg2) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp21) ;
ATSlocal (ats_ptr_type, tmp22) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primdec_extvar:
tmp22 = ATS_MALLOC(sizeof(anairiats_sum_5)) ;
((ats_sum_ptr_type)tmp22)->tag = 3 ;
ats_selptrset_mac(anairiats_sum_5, tmp22, atslab_0, arg1) ;
ats_selptrset_mac(anairiats_sum_5, tmp22, atslab_1, arg2) ;
tmp21 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2edats__primdec_make_node (arg0, tmp22) ;
return (tmp21) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primdec_extvar] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp.dats: 3090(line=121, offs=17) -- 3148(line=122, offs=45)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primdec_datdecs (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp23) ;
ATSlocal (ats_ptr_type, tmp24) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primdec_datdecs:
tmp24 = ATS_MALLOC(sizeof(anairiats_sum_4)) ;
((ats_sum_ptr_type)tmp24)->tag = 4 ;
ats_selptrset_mac(anairiats_sum_4, tmp24, atslab_0, arg1) ;
tmp23 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2edats__primdec_make_node (arg0, tmp24) ;
return (tmp23) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primdec_datdecs] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp.dats: 3175(line=124, offs=17) -- 3233(line=125, offs=45)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primdec_exndecs (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp25) ;
ATSlocal (ats_ptr_type, tmp26) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primdec_exndecs:
tmp26 = ATS_MALLOC(sizeof(anairiats_sum_4)) ;
((ats_sum_ptr_type)tmp26)->tag = 5 ;
ats_selptrset_mac(anairiats_sum_4, tmp26, atslab_0, arg1) ;
tmp25 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2edats__primdec_make_node (arg0, tmp26) ;
return (tmp25) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primdec_exndecs] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp.dats: 3283(line=131, offs=3) -- 3344(line=132, offs=46)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primdec_impdec (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp27) ;
ATSlocal (ats_ptr_type, tmp28) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primdec_impdec:
tmp28 = ATS_MALLOC(sizeof(anairiats_sum_4)) ;
((ats_sum_ptr_type)tmp28)->tag = 10 ;
ats_selptrset_mac(anairiats_sum_4, tmp28, atslab_0, arg1) ;
tmp27 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2edats__primdec_make_node (arg0, tmp28) ;
return (tmp27) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primdec_impdec] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp.dats: 3422(line=139, offs=3) -- 3506(line=140, offs=58)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primdec_fundecs (ats_ptr_type arg0, ats_ptr_type arg1, ats_ptr_type arg2, ats_ptr_type arg3) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp29) ;
ATSlocal (ats_ptr_type, tmp30) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primdec_fundecs:
tmp30 = ATS_MALLOC(sizeof(anairiats_sum_6)) ;
((ats_sum_ptr_type)tmp30)->tag = 6 ;
ats_selptrset_mac(anairiats_sum_6, tmp30, atslab_0, arg1) ;
ats_selptrset_mac(anairiats_sum_6, tmp30, atslab_1, arg2) ;
ats_selptrset_mac(anairiats_sum_6, tmp30, atslab_2, arg3) ;
tmp29 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2edats__primdec_make_node (arg0, tmp30) ;
return (tmp29) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primdec_fundecs] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp.dats: 3583(line=146, offs=17) -- 3663(line=147, offs=56)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primdec_valdecs (ats_ptr_type arg0, ats_ptr_type arg1, ats_ptr_type arg2, ats_ptr_type arg3) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp31) ;
ATSlocal (ats_ptr_type, tmp32) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primdec_valdecs:
tmp32 = ATS_MALLOC(sizeof(anairiats_sum_6)) ;
((ats_sum_ptr_type)tmp32)->tag = 7 ;
ats_selptrset_mac(anairiats_sum_6, tmp32, atslab_0, arg1) ;
ats_selptrset_mac(anairiats_sum_6, tmp32, atslab_1, arg2) ;
ats_selptrset_mac(anairiats_sum_6, tmp32, atslab_2, arg3) ;
tmp31 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2edats__primdec_make_node (arg0, tmp32) ;
return (tmp31) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primdec_valdecs] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp.dats: 3694(line=149, offs=21) -- 3778(line=150, offs=60)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primdec_valdecs_rec (ats_ptr_type arg0, ats_ptr_type arg1, ats_ptr_type arg2, ats_ptr_type arg3) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp33) ;
ATSlocal (ats_ptr_type, tmp34) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primdec_valdecs_rec:
tmp34 = ATS_MALLOC(sizeof(anairiats_sum_6)) ;
((ats_sum_ptr_type)tmp34)->tag = 8 ;
ats_selptrset_mac(anairiats_sum_6, tmp34, atslab_0, arg1) ;
ats_selptrset_mac(anairiats_sum_6, tmp34, atslab_1, arg2) ;
ats_selptrset_mac(anairiats_sum_6, tmp34, atslab_2, arg3) ;
tmp33 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2edats__primdec_make_node (arg0, tmp34) ;
return (tmp33) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primdec_valdecs_rec] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp.dats: 3831(line=156, offs=3) -- 3901(line=157, offs=51)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primdec_vardecs (ats_ptr_type arg0, ats_ptr_type arg1, ats_ptr_type arg2) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp35) ;
ATSlocal (ats_ptr_type, tmp36) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primdec_vardecs:
tmp36 = ATS_MALLOC(sizeof(anairiats_sum_5)) ;
((ats_sum_ptr_type)tmp36)->tag = 9 ;
ats_selptrset_mac(anairiats_sum_5, tmp36, atslab_0, arg1) ;
ats_selptrset_mac(anairiats_sum_5, tmp36, atslab_1, arg2) ;
tmp35 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2edats__primdec_make_node (arg0, tmp36) ;
return (tmp35) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primdec_vardecs] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp.dats: 3956(line=163, offs=3) -- 4024(line=164, offs=50)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primdec_include (ats_ptr_type arg0, ats_int_type arg1, ats_ptr_type arg2) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp37) ;
ATSlocal (ats_ptr_type, tmp38) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primdec_include:
tmp38 = ATS_MALLOC(sizeof(anairiats_sum_7)) ;
((ats_sum_ptr_type)tmp38)->tag = 11 ;
ats_selptrset_mac(anairiats_sum_7, tmp38, atslab_0, arg1) ;
ats_selptrset_mac(anairiats_sum_7, tmp38, atslab_1, arg2) ;
tmp37 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2edats__primdec_make_node (arg0, tmp38) ;
return (tmp37) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primdec_include] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp.dats: 4077(line=169, offs=17) -- 4133(line=170, offs=44)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primdec_staload (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp39) ;
ATSlocal (ats_ptr_type, tmp40) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primdec_staload:
tmp40 = ATS_MALLOC(sizeof(anairiats_sum_4)) ;
((ats_sum_ptr_type)tmp40)->tag = 12 ;
ats_selptrset_mac(anairiats_sum_4, tmp40, atslab_0, arg1) ;
tmp39 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2edats__primdec_make_node (arg0, tmp40) ;
return (tmp39) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primdec_staload] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp.dats: 4166(line=174, offs=1) -- 4259(line=177, offs=44)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primdec_staloadloc (ats_ptr_type arg0, ats_ptr_type arg1, ats_ptr_type arg2, ats_ptr_type arg3) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp41) ;
ATSlocal (ats_ptr_type, tmp42) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primdec_staloadloc:
tmp42 = ATS_MALLOC(sizeof(anairiats_sum_6)) ;
((ats_sum_ptr_type)tmp42)->tag = 13 ;
ats_selptrset_mac(anairiats_sum_6, tmp42, atslab_0, arg1) ;
ats_selptrset_mac(anairiats_sum_6, tmp42, atslab_1, arg2) ;
ats_selptrset_mac(anairiats_sum_6, tmp42, atslab_2, arg3) ;
tmp41 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2edats__primdec_make_node (arg0, tmp42) ;
return (tmp41) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primdec_staloadloc] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp.dats: 4289(line=180, offs=17) -- 4345(line=181, offs=44)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primdec_dynload (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp43) ;
ATSlocal (ats_ptr_type, tmp44) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primdec_dynload:
tmp44 = ATS_MALLOC(sizeof(anairiats_sum_4)) ;
((ats_sum_ptr_type)tmp44)->tag = 14 ;
ats_selptrset_mac(anairiats_sum_4, tmp44, atslab_0, arg1) ;
tmp43 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2edats__primdec_make_node (arg0, tmp44) ;
return (tmp43) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primdec_dynload] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp.dats: 4396(line=187, offs=3) -- 4468(line=188, offs=51)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primdec_local (ats_ptr_type arg0, ats_ptr_type arg1, ats_ptr_type arg2) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp45) ;
ATSlocal (ats_ptr_type, tmp46) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primdec_local:
tmp46 = ATS_MALLOC(sizeof(anairiats_sum_5)) ;
((ats_sum_ptr_type)tmp46)->tag = 15 ;
ats_selptrset_mac(anairiats_sum_5, tmp46, atslab_0, arg1) ;
ats_selptrset_mac(anairiats_sum_5, tmp46, atslab_1, arg2) ;
tmp45 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2edats__primdec_make_node (arg0, tmp46) ;
return (tmp45) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primdec_local] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp.dats: 4633(line=199, offs=3) -- 4714(line=201, offs=2)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2edats__primval_make_node (ats_ptr_type arg0, ats_ptr_type arg1, ats_ptr_type arg2) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp47) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2edats__primval_make_node:
tmp47 = ATS_MALLOC(sizeof(anairiats_rec_8)) ;
ats_selptrset_mac(anairiats_rec_8, tmp47, atslab_primval_loc, arg0) ;
ats_selptrset_mac(anairiats_rec_8, tmp47, atslab_primval_type, arg1) ;
ats_selptrset_mac(anairiats_rec_8, tmp47, atslab_primval_node, arg2) ;

return (tmp47) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2edats__primval_make_node] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp.dats: 4789(line=206, offs=13) -- 4851(line=207, offs=45)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_tmp (ats_ptr_type arg0, ats_ptr_type arg1, ats_ptr_type arg2) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp48) ;
ATSlocal (ats_ptr_type, tmp49) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_tmp:
tmp49 = ATS_MALLOC(sizeof(anairiats_sum_4)) ;
((ats_sum_ptr_type)tmp49)->tag = 0 ;
ats_selptrset_mac(anairiats_sum_4, tmp49, atslab_0, arg2) ;
tmp48 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2edats__primval_make_node (arg0, arg1, tmp49) ;
return (tmp48) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_tmp] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp.dats: 4902(line=211, offs=16) -- 4967(line=212, offs=48)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_tmpref (ats_ptr_type arg0, ats_ptr_type arg1, ats_ptr_type arg2) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp50) ;
ATSlocal (ats_ptr_type, tmp51) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_tmpref:
tmp51 = ATS_MALLOC(sizeof(anairiats_sum_4)) ;
((ats_sum_ptr_type)tmp51)->tag = 1 ;
ats_selptrset_mac(anairiats_sum_4, tmp51, atslab_0, arg2) ;
tmp50 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2edats__primval_make_node (arg0, arg1, tmp51) ;
return (tmp50) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_tmpref] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp.dats: 5041(line=218, offs=13) -- 5105(line=219, offs=46)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_arg (ats_ptr_type arg0, ats_ptr_type arg1, ats_int_type arg2) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp52) ;
ATSlocal (ats_ptr_type, tmp53) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_arg:
tmp53 = ATS_MALLOC(sizeof(anairiats_sum_9)) ;
((ats_sum_ptr_type)tmp53)->tag = 2 ;
ats_selptrset_mac(anairiats_sum_9, tmp53, atslab_0, arg2) ;
tmp52 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2edats__primval_make_node (arg0, arg1, tmp53) ;
return (tmp52) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_arg] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp.dats: 5131(line=221, offs=16) -- 5198(line=222, offs=49)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_argref (ats_ptr_type arg0, ats_ptr_type arg1, ats_int_type arg2) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp54) ;
ATSlocal (ats_ptr_type, tmp55) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_argref:
tmp55 = ATS_MALLOC(sizeof(anairiats_sum_9)) ;
((ats_sum_ptr_type)tmp55)->tag = 3 ;
ats_selptrset_mac(anairiats_sum_9, tmp55, atslab_0, arg2) ;
tmp54 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2edats__primval_make_node (arg0, arg1, tmp55) ;
return (tmp54) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_argref] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp.dats: 5227(line=224, offs=19) -- 5297(line=225, offs=52)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_argtmpref (ats_ptr_type arg0, ats_ptr_type arg1, ats_int_type arg2) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp56) ;
ATSlocal (ats_ptr_type, tmp57) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_argtmpref:
tmp57 = ATS_MALLOC(sizeof(anairiats_sum_9)) ;
((ats_sum_ptr_type)tmp57)->tag = 5 ;
ats_selptrset_mac(anairiats_sum_9, tmp57, atslab_0, arg2) ;
tmp56 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2edats__primval_make_node (arg0, arg1, tmp57) ;
return (tmp56) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_argtmpref] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp.dats: 5326(line=228, offs=16) -- 5393(line=229, offs=49)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_argenv (ats_ptr_type arg0, ats_ptr_type arg1, ats_int_type arg2) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp58) ;
ATSlocal (ats_ptr_type, tmp59) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_argenv:
tmp59 = ATS_MALLOC(sizeof(anairiats_sum_9)) ;
((ats_sum_ptr_type)tmp59)->tag = 4 ;
ats_selptrset_mac(anairiats_sum_9, tmp59, atslab_0, arg2) ;
tmp58 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2edats__primval_make_node (arg0, arg1, tmp59) ;
return (tmp58) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_argenv] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp.dats: 5442(line=235, offs=3) -- 5504(line=236, offs=45)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_cst (ats_ptr_type arg0, ats_ptr_type arg1, ats_ptr_type arg2) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp60) ;
ATSlocal (ats_ptr_type, tmp61) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_cst:
tmp61 = ATS_MALLOC(sizeof(anairiats_sum_4)) ;
((ats_sum_ptr_type)tmp61)->tag = 6 ;
ats_selptrset_mac(anairiats_sum_4, tmp61, atslab_0, arg2) ;
tmp60 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2edats__primval_make_node (arg0, arg1, tmp61) ;
return (tmp60) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_cst] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp.dats: 5554(line=241, offs=3) -- 5616(line=242, offs=45)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_env (ats_ptr_type arg0, ats_ptr_type arg1, ats_ptr_type arg2) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp62) ;
ATSlocal (ats_ptr_type, tmp63) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_env:
tmp63 = ATS_MALLOC(sizeof(anairiats_sum_4)) ;
((ats_sum_ptr_type)tmp63)->tag = 7 ;
ats_selptrset_mac(anairiats_sum_4, tmp63, atslab_0, arg2) ;
tmp62 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2edats__primval_make_node (arg0, arg1, tmp63) ;
return (tmp62) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_env] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp.dats: 5687(line=249, offs=3) -- 5745(line=250, offs=43)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_int (ats_ptr_type arg0, ats_ptr_type arg1, ats_int_type arg2) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp64) ;
ATSlocal (ats_ptr_type, tmp65) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_int:
tmp65 = ATS_MALLOC(sizeof(anairiats_sum_9)) ;
((ats_sum_ptr_type)tmp65)->tag = 8 ;
ats_selptrset_mac(anairiats_sum_9, tmp65, atslab_0, arg2) ;
tmp64 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2edats__primval_make_node (arg0, arg1, tmp65) ;
return (tmp64) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_int] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp.dats: 5798(line=255, offs=3) -- 5863(line=256, offs=48)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_intrep (ats_ptr_type arg0, ats_ptr_type arg1, ats_ptr_type arg2) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp66) ;
ATSlocal (ats_ptr_type, tmp67) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_intrep:
tmp67 = ATS_MALLOC(sizeof(anairiats_sum_4)) ;
((ats_sum_ptr_type)tmp67)->tag = 9 ;
ats_selptrset_mac(anairiats_sum_4, tmp67, atslab_0, arg2) ;
tmp66 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2edats__primval_make_node (arg0, arg1, tmp67) ;
return (tmp66) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_intrep] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp.dats: 5938(line=263, offs=3) -- 5997(line=264, offs=44)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_bool (ats_ptr_type arg0, ats_ptr_type arg1, ats_bool_type arg2) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp68) ;
ATSlocal (ats_ptr_type, tmp69) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_bool:
tmp69 = ATS_MALLOC(sizeof(anairiats_sum_10)) ;
((ats_sum_ptr_type)tmp69)->tag = 10 ;
ats_selptrset_mac(anairiats_sum_10, tmp69, atslab_0, arg2) ;
tmp68 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2edats__primval_make_node (arg0, arg1, tmp69) ;
return (tmp68) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_bool] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp.dats: 6049(line=269, offs=3) -- 6108(line=270, offs=44)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_char (ats_ptr_type arg0, ats_ptr_type arg1, ats_char_type arg2) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp70) ;
ATSlocal (ats_ptr_type, tmp71) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_char:
tmp71 = ATS_MALLOC(sizeof(anairiats_sum_11)) ;
((ats_sum_ptr_type)tmp71)->tag = 11 ;
ats_selptrset_mac(anairiats_sum_11, tmp71, atslab_0, arg2) ;
tmp70 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2edats__primval_make_node (arg0, arg1, tmp71) ;
return (tmp70) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_char] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp.dats: 6161(line=275, offs=3) -- 6221(line=276, offs=45)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_float (ats_ptr_type arg0, ats_ptr_type arg1, ats_double_type arg2) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp72) ;
ATSlocal (ats_ptr_type, tmp73) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_float:
tmp73 = ATS_MALLOC(sizeof(anairiats_sum_12)) ;
((ats_sum_ptr_type)tmp73)->tag = 12 ;
ats_selptrset_mac(anairiats_sum_12, tmp73, atslab_0, arg2) ;
tmp72 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2edats__primval_make_node (arg0, arg1, tmp73) ;
return (tmp72) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_float] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp.dats: 6276(line=281, offs=3) -- 6341(line=282, offs=48)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_string (ats_ptr_type arg0, ats_ptr_type arg1, ats_ptr_type arg2) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp74) ;
ATSlocal (ats_ptr_type, tmp75) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_string:
tmp75 = ATS_MALLOC(sizeof(anairiats_sum_4)) ;
((ats_sum_ptr_type)tmp75)->tag = 13 ;
ats_selptrset_mac(anairiats_sum_4, tmp75, atslab_0, arg2) ;
tmp74 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2edats__primval_make_node (arg0, arg1, tmp75) ;
return (tmp74) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_string] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp.dats: 6416(line=289, offs=3) -- 6475(line=290, offs=44)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_i0nt (ats_ptr_type arg0, ats_ptr_type arg1, ats_ptr_type arg2) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp76) ;
ATSlocal (ats_ptr_type, tmp77) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_i0nt:
tmp77 = ATS_MALLOC(sizeof(anairiats_sum_4)) ;
((ats_sum_ptr_type)tmp77)->tag = 14 ;
ats_selptrset_mac(anairiats_sum_4, tmp77, atslab_0, arg2) ;
tmp76 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2edats__primval_make_node (arg0, arg1, tmp77) ;
return (tmp76) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_i0nt] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp.dats: 6529(line=295, offs=3) -- 6590(line=296, offs=46)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_f0loat (ats_ptr_type arg0, ats_ptr_type arg1, ats_ptr_type arg2) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp78) ;
ATSlocal (ats_ptr_type, tmp79) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_f0loat:
tmp79 = ATS_MALLOC(sizeof(anairiats_sum_4)) ;
((ats_sum_ptr_type)tmp79)->tag = 15 ;
ats_selptrset_mac(anairiats_sum_4, tmp79, atslab_0, arg2) ;
tmp78 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2edats__primval_make_node (arg0, arg1, tmp79) ;
return (tmp78) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_f0loat] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp.dats: 6666(line=303, offs=3) -- 6734(line=304, offs=49)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_cstsp (ats_ptr_type arg0, ats_ptr_type arg1, ats_ptr_type arg2) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp80) ;
ATSlocal (ats_ptr_type, tmp81) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_cstsp:
tmp81 = ATS_MALLOC(sizeof(anairiats_sum_4)) ;
((ats_sum_ptr_type)tmp81)->tag = 16 ;
ats_selptrset_mac(anairiats_sum_4, tmp81, atslab_0, arg2) ;
tmp80 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2edats__primval_make_node (arg0, arg1, tmp81) ;
return (tmp80) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_cstsp] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp.dats: 6809(line=311, offs=3) -- 6875(line=312, offs=48)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_tyrep (ats_ptr_type arg0, ats_ptr_type arg1, ats_ptr_type arg2) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp82) ;
ATSlocal (ats_ptr_type, tmp83) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_tyrep:
tmp83 = ATS_MALLOC(sizeof(anairiats_sum_4)) ;
((ats_sum_ptr_type)tmp83)->tag = 17 ;
ats_selptrset_mac(anairiats_sum_4, tmp83, atslab_0, arg2) ;
tmp82 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2edats__primval_make_node (arg0, arg1, tmp83) ;
return (tmp82) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_tyrep] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp.dats: 6930(line=317, offs=3) -- 6997(line=318, offs=49)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_sizeof (ats_ptr_type arg0, ats_ptr_type arg1, ats_ptr_type arg2) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp84) ;
ATSlocal (ats_ptr_type, tmp85) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_sizeof:
tmp85 = ATS_MALLOC(sizeof(anairiats_sum_4)) ;
((ats_sum_ptr_type)tmp85)->tag = 18 ;
ats_selptrset_mac(anairiats_sum_4, tmp85, atslab_0, arg2) ;
tmp84 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2edats__primval_make_node (arg0, arg1, tmp85) ;
return (tmp84) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_sizeof] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp.dats: 7069(line=324, offs=13) -- 7123(line=325, offs=42)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_top (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp86) ;
ATSlocal (ats_ptr_type, tmp87) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_top:
tmp87 = (ats_sum_ptr_type)(&_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__PMVtop_19) ;
tmp86 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2edats__primval_make_node (arg0, arg1, tmp87) ;
return (tmp86) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_top] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp.dats: 7173(line=329, offs=15) -- 7229(line=330, offs=44)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_empty (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp88) ;
ATSlocal (ats_ptr_type, tmp89) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_empty:
tmp89 = (ats_sum_ptr_type)(&_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__PMVempty_20) ;
tmp88 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2edats__primval_make_node (arg0, arg1, tmp89) ;
return (tmp88) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_empty] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp.dats: 7303(line=336, offs=16) -- 7370(line=337, offs=49)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_extval (ats_ptr_type arg0, ats_ptr_type arg1, ats_ptr_type arg2) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp90) ;
ATSlocal (ats_ptr_type, tmp91) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_extval:
tmp91 = ATS_MALLOC(sizeof(anairiats_sum_4)) ;
((ats_sum_ptr_type)tmp91)->tag = 21 ;
ats_selptrset_mac(anairiats_sum_4, tmp91, atslab_0, arg2) ;
tmp90 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2edats__primval_make_node (arg0, arg1, tmp91) ;
return (tmp90) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_extval] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp.dats: 7447(line=344, offs=3) -- 7522(line=345, offs=53)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_castfn (ats_ptr_type arg0, ats_ptr_type arg1, ats_ptr_type arg2, ats_ptr_type arg3) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp92) ;
ATSlocal (ats_ptr_type, tmp93) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_castfn:
tmp93 = ATS_MALLOC(sizeof(anairiats_sum_5)) ;
((ats_sum_ptr_type)tmp93)->tag = 22 ;
ats_selptrset_mac(anairiats_sum_5, tmp93, atslab_0, arg2) ;
ats_selptrset_mac(anairiats_sum_5, tmp93, atslab_1, arg3) ;
tmp92 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2edats__primval_make_node (arg0, arg1, tmp93) ;
return (tmp92) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_castfn] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp.dats: 7599(line=352, offs=3) -- 7692(line=353, offs=62)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_selcon (ats_ptr_type arg0, ats_ptr_type arg1, ats_ptr_type arg2, ats_ptr_type arg3, ats_ptr_type arg4) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp94) ;
ATSlocal (ats_ptr_type, tmp95) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_selcon:
tmp95 = ATS_MALLOC(sizeof(anairiats_sum_6)) ;
((ats_sum_ptr_type)tmp95)->tag = 23 ;
ats_selptrset_mac(anairiats_sum_6, tmp95, atslab_0, arg2) ;
ats_selptrset_mac(anairiats_sum_6, tmp95, atslab_1, arg3) ;
ats_selptrset_mac(anairiats_sum_6, tmp95, atslab_2, arg4) ;
tmp94 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2edats__primval_make_node (arg0, arg1, tmp95) ;
return (tmp94) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_selcon] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp.dats: 7769(line=360, offs=3) -- 7860(line=361, offs=61)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_select (ats_ptr_type arg0, ats_ptr_type arg1, ats_ptr_type arg2, ats_ptr_type arg3, ats_ptr_type arg4) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp96) ;
ATSlocal (ats_ptr_type, tmp97) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_select:
tmp97 = ATS_MALLOC(sizeof(anairiats_sum_6)) ;
((ats_sum_ptr_type)tmp97)->tag = 24 ;
ats_selptrset_mac(anairiats_sum_6, tmp97, atslab_0, arg2) ;
ats_selptrset_mac(anairiats_sum_6, tmp97, atslab_1, arg3) ;
ats_selptrset_mac(anairiats_sum_6, tmp97, atslab_2, arg4) ;
tmp96 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2edats__primval_make_node (arg0, arg1, tmp97) ;
return (tmp96) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_select] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp.dats: 7917(line=366, offs=3) -- 8011(line=367, offs=63)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_select2 (ats_ptr_type arg0, ats_ptr_type arg1, ats_ptr_type arg2, ats_ptr_type arg3, ats_ptr_type arg4) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp98) ;
ATSlocal (ats_ptr_type, tmp99) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_select2:
tmp99 = ATS_MALLOC(sizeof(anairiats_sum_6)) ;
((ats_sum_ptr_type)tmp99)->tag = 25 ;
ats_selptrset_mac(anairiats_sum_6, tmp99, atslab_0, arg2) ;
ats_selptrset_mac(anairiats_sum_6, tmp99, atslab_1, arg3) ;
ats_selptrset_mac(anairiats_sum_6, tmp99, atslab_2, arg4) ;
tmp98 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2edats__primval_make_node (arg0, arg1, tmp99) ;
return (tmp98) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_select2] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp.dats: 8089(line=374, offs=3) -- 8181(line=375, offs=61)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_selptr (ats_ptr_type arg0, ats_ptr_type arg1, ats_ptr_type arg2, ats_ptr_type arg3, ats_ptr_type arg4) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp100) ;
ATSlocal (ats_ptr_type, tmp101) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_selptr:
tmp101 = ATS_MALLOC(sizeof(anairiats_sum_6)) ;
((ats_sum_ptr_type)tmp101)->tag = 26 ;
ats_selptrset_mac(anairiats_sum_6, tmp101, atslab_0, arg2) ;
ats_selptrset_mac(anairiats_sum_6, tmp101, atslab_1, arg3) ;
ats_selptrset_mac(anairiats_sum_6, tmp101, atslab_2, arg4) ;
tmp100 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2edats__primval_make_node (arg0, arg1, tmp101) ;
return (tmp100) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_selptr] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp.dats: 8257(line=382, offs=3) -- 8319(line=383, offs=45)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_ptrof (ats_ptr_type arg0, ats_ptr_type arg1, ats_ptr_type arg2) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp102) ;
ATSlocal (ats_ptr_type, tmp103) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_ptrof:
tmp103 = ATS_MALLOC(sizeof(anairiats_sum_4)) ;
((ats_sum_ptr_type)tmp103)->tag = 27 ;
ats_selptrset_mac(anairiats_sum_4, tmp103, atslab_0, arg2) ;
tmp102 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2edats__primval_make_node (arg0, arg1, tmp103) ;
return (tmp102) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_ptrof] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp.dats: 8374(line=388, offs=1) -- 8473(line=392, offs=62)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_ptrofsel (ats_ptr_type arg0, ats_ptr_type arg1, ats_ptr_type arg2, ats_ptr_type arg3, ats_ptr_type arg4) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp104) ;
ATSlocal (ats_ptr_type, tmp105) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_ptrofsel:
tmp105 = ATS_MALLOC(sizeof(anairiats_sum_6)) ;
((ats_sum_ptr_type)tmp105)->tag = 28 ;
ats_selptrset_mac(anairiats_sum_6, tmp105, atslab_0, arg2) ;
ats_selptrset_mac(anairiats_sum_6, tmp105, atslab_1, arg3) ;
ats_selptrset_mac(anairiats_sum_6, tmp105, atslab_2, arg4) ;
tmp104 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2edats__primval_make_node (arg0, arg1, tmp105) ;
return (tmp104) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_ptrofsel] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp.dats: 8554(line=399, offs=3) -- 8619(line=400, offs=47)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_vararg (ats_ptr_type arg0, ats_ptr_type arg1, ats_ptr_type arg2) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp106) ;
ATSlocal (ats_ptr_type, tmp107) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_vararg:
tmp107 = ATS_MALLOC(sizeof(anairiats_sum_4)) ;
((ats_sum_ptr_type)tmp107)->tag = 29 ;
ats_selptrset_mac(anairiats_sum_4, tmp107, atslab_0, arg2) ;
tmp106 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2edats__primval_make_node (arg0, arg1, tmp107) ;
return (tmp106) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_vararg] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp.dats: 8696(line=407, offs=3) -- 8787(line=408, offs=60)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_refarg (ats_ptr_type arg0, ats_ptr_type arg1, ats_int_type arg2, ats_int_type arg3, ats_ptr_type arg4) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp108) ;
ATSlocal (ats_ptr_type, tmp109) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_refarg:
tmp109 = ATS_MALLOC(sizeof(anairiats_sum_13)) ;
((ats_sum_ptr_type)tmp109)->tag = 30 ;
ats_selptrset_mac(anairiats_sum_13, tmp109, atslab_0, arg2) ;
ats_selptrset_mac(anairiats_sum_13, tmp109, atslab_1, arg3) ;
ats_selptrset_mac(anairiats_sum_13, tmp109, atslab_2, arg4) ;
tmp108 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2edats__primval_make_node (arg0, arg1, tmp109) ;
return (tmp108) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_refarg] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp.dats: 8864(line=415, offs=3) -- 8925(line=416, offs=45)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_funlab (ats_ptr_type arg0, ats_ptr_type arg1, ats_ptr_type arg2) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp110) ;
ATSlocal (ats_ptr_type, tmp111) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_funlab:
tmp111 = ATS_MALLOC(sizeof(anairiats_sum_4)) ;
((ats_sum_ptr_type)tmp111)->tag = 31 ;
ats_selptrset_mac(anairiats_sum_4, tmp111, atslab_0, arg2) ;
tmp110 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2edats__primval_make_node (arg0, arg1, tmp111) ;
return (tmp110) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_funlab] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp.dats: 8982(line=421, offs=3) -- 9054(line=422, offs=51)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_cfunlab (ats_ptr_type arg0, ats_ptr_type arg1, ats_int_type arg2, ats_ptr_type arg3) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp112) ;
ATSlocal (ats_ptr_type, tmp113) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_cfunlab:
tmp113 = ATS_MALLOC(sizeof(anairiats_sum_7)) ;
((ats_sum_ptr_type)tmp113)->tag = 32 ;
ats_selptrset_mac(anairiats_sum_7, tmp113, atslab_0, arg2) ;
ats_selptrset_mac(anairiats_sum_7, tmp113, atslab_1, arg3) ;
tmp112 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2edats__primval_make_node (arg0, arg1, tmp113) ;
return (tmp112) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_cfunlab] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp.dats: 9135(line=429, offs=3) -- 9209(line=430, offs=53)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_d2vfunlab (ats_ptr_type arg0, ats_ptr_type arg1, ats_ptr_type arg2, ats_ptr_type arg3) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp114) ;
ATSlocal (ats_ptr_type, tmp115) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_d2vfunlab:
tmp115 = ATS_MALLOC(sizeof(anairiats_sum_5)) ;
((ats_sum_ptr_type)tmp115)->tag = 33 ;
ats_selptrset_mac(anairiats_sum_5, tmp115, atslab_0, arg2) ;
ats_selptrset_mac(anairiats_sum_5, tmp115, atslab_1, arg3) ;
tmp114 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2edats__primval_make_node (arg0, arg1, tmp115) ;
return (tmp114) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_d2vfunlab] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp.dats: 9289(line=437, offs=3) -- 9450(line=444, offs=4)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_lamfix (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp116) ;
ATSlocal (ats_ptr_type, tmp117) ;
ATSlocal (ats_ptr_type, tmp118) ;
ATSlocal (ats_ptr_type, tmp119) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_lamfix:
tmp117 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_8, arg1), atslab_primval_loc) ;
tmp118 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_8, arg1), atslab_primval_type) ;
tmp119 = ATS_MALLOC(sizeof(anairiats_sum_5)) ;
((ats_sum_ptr_type)tmp119)->tag = 34 ;
ats_selptrset_mac(anairiats_sum_5, tmp119, atslab_0, arg0) ;
ats_selptrset_mac(anairiats_sum_5, tmp119, atslab_1, arg1) ;
tmp116 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2edats__primval_make_node (tmp117, tmp118, tmp119) ;
return (tmp116) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_lamfix] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp.dats: 9529(line=450, offs=3) -- 9608(line=451, offs=55)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_tmpltcst (ats_ptr_type arg0, ats_ptr_type arg1, ats_ptr_type arg2, ats_ptr_type arg3) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp120) ;
ATSlocal (ats_ptr_type, tmp121) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_tmpltcst:
tmp121 = ATS_MALLOC(sizeof(anairiats_sum_5)) ;
((ats_sum_ptr_type)tmp121)->tag = 35 ;
ats_selptrset_mac(anairiats_sum_5, tmp121, atslab_0, arg2) ;
ats_selptrset_mac(anairiats_sum_5, tmp121, atslab_1, arg3) ;
tmp120 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2edats__primval_make_node (arg0, arg1, tmp121) ;
return (tmp120) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_tmpltcst] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp.dats: 9667(line=455, offs=3) -- 9746(line=456, offs=55)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_tmpltvar (ats_ptr_type arg0, ats_ptr_type arg1, ats_ptr_type arg2, ats_ptr_type arg3) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp122) ;
ATSlocal (ats_ptr_type, tmp123) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_tmpltvar:
tmp123 = ATS_MALLOC(sizeof(anairiats_sum_5)) ;
((ats_sum_ptr_type)tmp123)->tag = 36 ;
ats_selptrset_mac(anairiats_sum_5, tmp123, atslab_0, arg2) ;
ats_selptrset_mac(anairiats_sum_5, tmp123, atslab_1, arg3) ;
tmp122 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2edats__primval_make_node (arg0, arg1, tmp123) ;
return (tmp122) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_tmpltvar] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp.dats: 9832(line=463, offs=3) -- 9924(line=465, offs=61)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_tmpltcstmat (ats_ptr_type arg0, ats_ptr_type arg1, ats_ptr_type arg2, ats_ptr_type arg3, ats_ptr_type arg4) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp124) ;
ATSlocal (ats_ptr_type, tmp125) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_tmpltcstmat:
tmp125 = ATS_MALLOC(sizeof(anairiats_sum_6)) ;
((ats_sum_ptr_type)tmp125)->tag = 37 ;
ats_selptrset_mac(anairiats_sum_6, tmp125, atslab_0, arg2) ;
ats_selptrset_mac(anairiats_sum_6, tmp125, atslab_1, arg3) ;
ats_selptrset_mac(anairiats_sum_6, tmp125, atslab_2, arg4) ;
tmp124 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2edats__primval_make_node (arg0, arg1, tmp125) ;
return (tmp124) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_tmpltcstmat] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp.dats: 9994(line=470, offs=3) -- 10086(line=472, offs=61)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_tmpltvarmat (ats_ptr_type arg0, ats_ptr_type arg1, ats_ptr_type arg2, ats_ptr_type arg3, ats_ptr_type arg4) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp126) ;
ATSlocal (ats_ptr_type, tmp127) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_tmpltvarmat:
tmp127 = ATS_MALLOC(sizeof(anairiats_sum_6)) ;
((ats_sum_ptr_type)tmp127)->tag = 38 ;
ats_selptrset_mac(anairiats_sum_6, tmp127, atslab_0, arg2) ;
ats_selptrset_mac(anairiats_sum_6, tmp127, atslab_1, arg3) ;
ats_selptrset_mac(anairiats_sum_6, tmp127, atslab_2, arg4) ;
tmp126 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2edats__primval_make_node (arg0, arg1, tmp127) ;
return (tmp126) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_tmpltvarmat] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp.dats: 10302(line=488, offs=3) -- 10366(line=489, offs=52)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_error (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp128) ;
ATSlocal (ats_ptr_type, tmp129) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_error:
tmp129 = (ats_sum_ptr_type)(&_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__PMVerror_39) ;
tmp128 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2edats__primval_make_node (arg0, arg1, tmp129) ;
return (tmp128) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_error] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp.dats: 10447(line=496, offs=3) -- 10538(line=501, offs=4)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_make_sizeof (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp130) ;
ATSlocal (ats_ptr_type, tmp131) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_make_sizeof:
tmp131 = _2tmp_2ATS_2dPostiats_2src_2pats_histaexp_2esats__hisexp_size_t0ype () ;
tmp130 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_sizeof (arg0, tmp131, arg1) ;
return (tmp130) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_make_sizeof] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp.dats: 10622(line=507, offs=3) -- 10707(line=509, offs=4)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_make_tmp (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp132) ;
ATSlocal (ats_ptr_type, tmp133) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_make_tmp:
tmp133 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__tmpvar_get_type (arg1) ;
tmp132 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_tmp (arg0, tmp133, arg1) ;
return (tmp132) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_make_tmp] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp.dats: 10770(line=513, offs=3) -- 10858(line=515, offs=4)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_make_tmpref (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp134) ;
ATSlocal (ats_ptr_type, tmp135) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_make_tmpref:
tmp135 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__tmpvar_get_type (arg1) ;
tmp134 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_tmpref (arg0, tmp135, arg1) ;
return (tmp134) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_make_tmpref] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp.dats: 10947(line=521, offs=1) -- 11181(line=529, offs=4)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_make_ptrofsel (ats_ptr_type arg0, ats_ptr_type arg1, ats_ptr_type arg2, ats_ptr_type arg3) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp136) ;
ATSlocal (ats_ptr_type, tmp137) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_make_ptrofsel:
tmp137 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_selptr (arg0, _2tmp_2ATS_2dPostiats_2src_2pats_histaexp_2esats__hisexp_undefined, arg1, arg2, arg3) ;
tmp136 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_ptrof (arg0, _2tmp_2ATS_2dPostiats_2src_2pats_histaexp_2esats__hisexp_typtr, tmp137) ;
return (tmp136) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_make_ptrofsel] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp.dats: 11263(line=535, offs=3) -- 11322(line=537, offs=2)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__ibranch_make (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp138) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__ibranch_make:
tmp138 = ATS_MALLOC(sizeof(anairiats_rec_14)) ;
ats_selptrset_mac(anairiats_rec_14, tmp138, atslab_ibranch_loc, arg0) ;
ats_selptrset_mac(anairiats_rec_14, tmp138, atslab_ibranch_inslst, arg1) ;

return (tmp138) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__ibranch_make] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp.dats: 11395(line=542, offs=16) -- 11471(line=544, offs=41)
*/
ATSglobaldec()
ats_bool_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primlab_is_lab (ats_ptr_type arg0) {
/* local vardec */
ATSlocal (ats_bool_type, tmp139) ;
ATSlocal (ats_ptr_type, tmp140) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primlab_is_lab:
tmp140 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_15, arg0), atslab_primlab_node) ;
do {
/* branch: __ats_lab_0 */
__ats_lab_0_0:
if (((ats_sum_ptr_type)tmp140)->tag != 0) { goto __ats_lab_1_0 ; }
__ats_lab_0_1:
tmp139 = ats_true_bool ;
break ;

/* branch: __ats_lab_1 */
__ats_lab_1_0:
// if (((ats_sum_ptr_type)tmp140)->tag != 1) { ats_deadcode_failure_handle () ; }
__ats_lab_1_1:
tmp139 = ats_false_bool ;
break ;
} while (0) ;
return (tmp139) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primlab_is_lab] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp.dats: 11525(line=548, offs=16) -- 11601(line=550, offs=41)
*/
ATSglobaldec()
ats_bool_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primlab_is_ind (ats_ptr_type arg0) {
/* local vardec */
ATSlocal (ats_bool_type, tmp141) ;
ATSlocal (ats_ptr_type, tmp142) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primlab_is_ind:
tmp142 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_15, arg0), atslab_primlab_node) ;
do {
/* branch: __ats_lab_2 */
__ats_lab_2_0:
if (((ats_sum_ptr_type)tmp142)->tag != 0) { goto __ats_lab_3_0 ; }
__ats_lab_2_1:
tmp141 = ats_false_bool ;
break ;

/* branch: __ats_lab_3 */
__ats_lab_3_0:
// if (((ats_sum_ptr_type)tmp142)->tag != 1) { ats_deadcode_failure_handle () ; }
__ats_lab_3_1:
tmp141 = ats_true_bool ;
break ;
} while (0) ;
return (tmp141) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primlab_is_ind] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp.dats: 11673(line=556, offs=13) -- 11737(line=558, offs=2)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primlab_lab (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp143) ;
ATSlocal (ats_ptr_type, tmp144) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primlab_lab:
tmp144 = ATS_MALLOC(sizeof(anairiats_sum_4)) ;
((ats_sum_ptr_type)tmp144)->tag = 0 ;
ats_selptrset_mac(anairiats_sum_4, tmp144, atslab_0, arg1) ;
tmp143 = ATS_MALLOC(sizeof(anairiats_rec_15)) ;
ats_selptrset_mac(anairiats_rec_15, tmp143, atslab_primlab_loc, arg0) ;
ats_selptrset_mac(anairiats_rec_15, tmp143, atslab_primlab_node, tmp144) ;

return (tmp143) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primlab_lab] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp.dats: 11785(line=561, offs=13) -- 11849(line=563, offs=2)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primlab_ind (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp145) ;
ATSlocal (ats_ptr_type, tmp146) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primlab_ind:
tmp146 = ATS_MALLOC(sizeof(anairiats_sum_4)) ;
((ats_sum_ptr_type)tmp146)->tag = 1 ;
ats_selptrset_mac(anairiats_sum_4, tmp146, atslab_0, arg1) ;
tmp145 = ATS_MALLOC(sizeof(anairiats_rec_15)) ;
ats_selptrset_mac(anairiats_rec_15, tmp145, atslab_primlab_loc, arg0) ;
ats_selptrset_mac(anairiats_rec_15, tmp145, atslab_primlab_node, tmp146) ;

return (tmp145) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primlab_ind] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp.dats: 12013(line=575, offs=3) -- 12066(line=577, offs=2)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2edats__instr_make_node (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp147) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2edats__instr_make_node:
tmp147 = ATS_MALLOC(sizeof(anairiats_rec_16)) ;
ats_selptrset_mac(anairiats_rec_16, tmp147, atslab_instr_loc, arg0) ;
ats_selptrset_mac(anairiats_rec_16, tmp147, atslab_instr_node, arg1) ;

return (tmp147) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2edats__instr_make_node] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp.dats: 12140(line=582, offs=14) -- 12191(line=583, offs=40)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_funlab (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp148) ;
ATSlocal (ats_ptr_type, tmp149) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_funlab:
tmp149 = ATS_MALLOC(sizeof(anairiats_sum_4)) ;
((ats_sum_ptr_type)tmp149)->tag = 0 ;
ats_selptrset_mac(anairiats_sum_4, tmp149, atslab_0, arg1) ;
tmp148 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2edats__instr_make_node (arg0, tmp149) ;
return (tmp148) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_funlab] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp.dats: 12262(line=589, offs=14) -- 12313(line=590, offs=40)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_tmplab (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp150) ;
ATSlocal (ats_ptr_type, tmp151) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_tmplab:
tmp151 = ATS_MALLOC(sizeof(anairiats_sum_4)) ;
((ats_sum_ptr_type)tmp151)->tag = 1 ;
ats_selptrset_mac(anairiats_sum_4, tmp151, atslab_0, arg1) ;
tmp150 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2edats__instr_make_node (arg0, tmp151) ;
return (tmp150) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_tmplab] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp.dats: 12385(line=596, offs=15) -- 12439(line=597, offs=42)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_comment (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp152) ;
ATSlocal (ats_ptr_type, tmp153) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_comment:
tmp153 = ATS_MALLOC(sizeof(anairiats_sum_4)) ;
((ats_sum_ptr_type)tmp153)->tag = 2 ;
ats_selptrset_mac(anairiats_sum_4, tmp153, atslab_0, arg1) ;
tmp152 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2edats__instr_make_node (arg0, tmp153) ;
return (tmp152) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_comment] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp.dats: 12513(line=603, offs=16) -- 12578(line=604, offs=48)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_move_val (ats_ptr_type arg0, ats_ptr_type arg1, ats_ptr_type arg2) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp154) ;
ATSlocal (ats_ptr_type, tmp155) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_move_val:
tmp155 = ATS_MALLOC(sizeof(anairiats_sum_5)) ;
((ats_sum_ptr_type)tmp155)->tag = 3 ;
ats_selptrset_mac(anairiats_sum_5, tmp155, atslab_0, arg1) ;
ats_selptrset_mac(anairiats_sum_5, tmp155, atslab_1, arg2) ;
tmp154 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2edats__instr_make_node (arg0, tmp155) ;
return (tmp154) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_move_val] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp.dats: 12633(line=608, offs=17) -- 12699(line=609, offs=49)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_pmove_val (ats_ptr_type arg0, ats_ptr_type arg1, ats_ptr_type arg2) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp156) ;
ATSlocal (ats_ptr_type, tmp157) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_pmove_val:
tmp157 = ATS_MALLOC(sizeof(anairiats_sum_5)) ;
((ats_sum_ptr_type)tmp157)->tag = 4 ;
ats_selptrset_mac(anairiats_sum_5, tmp157, atslab_0, arg1) ;
ats_selptrset_mac(anairiats_sum_5, tmp157, atslab_1, arg2) ;
tmp156 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2edats__instr_make_node (arg0, tmp157) ;
return (tmp156) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_pmove_val] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp.dats: 12779(line=615, offs=20) -- 12848(line=616, offs=52)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_move_arg_val (ats_ptr_type arg0, ats_int_type arg1, ats_ptr_type arg2) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp158) ;
ATSlocal (ats_ptr_type, tmp159) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_move_arg_val:
tmp159 = ATS_MALLOC(sizeof(anairiats_sum_7)) ;
((ats_sum_ptr_type)tmp159)->tag = 5 ;
ats_selptrset_mac(anairiats_sum_7, tmp159, atslab_0, arg1) ;
ats_selptrset_mac(anairiats_sum_7, tmp159, atslab_1, arg2) ;
tmp158 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2edats__instr_make_node (arg0, tmp159) ;
return (tmp158) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_move_arg_val] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp.dats: 12924(line=623, offs=1) -- 13042(line=626, offs=55)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_fcall (ats_ptr_type arg0, ats_ptr_type arg1, ats_ptr_type arg2, ats_ptr_type arg3, ats_ptr_type arg4) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp160) ;
ATSlocal (ats_ptr_type, tmp161) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_fcall:
tmp161 = ATS_MALLOC(sizeof(anairiats_sum_17)) ;
((ats_sum_ptr_type)tmp161)->tag = 6 ;
ats_selptrset_mac(anairiats_sum_17, tmp161, atslab_0, arg1) ;
ats_selptrset_mac(anairiats_sum_17, tmp161, atslab_1, arg2) ;
ats_selptrset_mac(anairiats_sum_17, tmp161, atslab_2, arg3) ;
ats_selptrset_mac(anairiats_sum_17, tmp161, atslab_3, arg4) ;
tmp160 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2edats__instr_make_node (arg0, tmp161) ;
return (tmp160) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_fcall] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp.dats: 13091(line=631, offs=1) -- 13214(line=634, offs=58)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_fcall2 (ats_ptr_type arg0, ats_ptr_type arg1, ats_ptr_type arg2, ats_int_type arg3, ats_ptr_type arg4, ats_ptr_type arg5) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp162) ;
ATSlocal (ats_ptr_type, tmp163) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_fcall2:
tmp163 = ATS_MALLOC(sizeof(anairiats_sum_18)) ;
((ats_sum_ptr_type)tmp163)->tag = 7 ;
ats_selptrset_mac(anairiats_sum_18, tmp163, atslab_0, arg1) ;
ats_selptrset_mac(anairiats_sum_18, tmp163, atslab_1, arg2) ;
ats_selptrset_mac(anairiats_sum_18, tmp163, atslab_2, arg3) ;
ats_selptrset_mac(anairiats_sum_18, tmp163, atslab_3, arg4) ;
ats_selptrset_mac(anairiats_sum_18, tmp163, atslab_4, arg5) ;
tmp162 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2edats__instr_make_node (arg0, tmp163) ;
return (tmp162) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_fcall2] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp.dats: 13289(line=641, offs=3) -- 13373(line=642, offs=57)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_extfcall (ats_ptr_type arg0, ats_ptr_type arg1, ats_ptr_type arg2, ats_ptr_type arg3) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp164) ;
ATSlocal (ats_ptr_type, tmp165) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_extfcall:
tmp165 = ATS_MALLOC(sizeof(anairiats_sum_6)) ;
((ats_sum_ptr_type)tmp165)->tag = 8 ;
ats_selptrset_mac(anairiats_sum_6, tmp165, atslab_0, arg1) ;
ats_selptrset_mac(anairiats_sum_6, tmp165, atslab_1, arg2) ;
ats_selptrset_mac(anairiats_sum_6, tmp165, atslab_2, arg3) ;
tmp164 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2edats__instr_make_node (arg0, tmp165) ;
return (tmp164) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_extfcall] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp.dats: 13429(line=647, offs=3) -- 13525(line=648, offs=63)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_extmcall (ats_ptr_type arg0, ats_ptr_type arg1, ats_ptr_type arg2, ats_ptr_type arg3, ats_ptr_type arg4) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp166) ;
ATSlocal (ats_ptr_type, tmp167) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_extmcall:
tmp167 = ATS_MALLOC(sizeof(anairiats_sum_17)) ;
((ats_sum_ptr_type)tmp167)->tag = 9 ;
ats_selptrset_mac(anairiats_sum_17, tmp167, atslab_0, arg1) ;
ats_selptrset_mac(anairiats_sum_17, tmp167, atslab_1, arg2) ;
ats_selptrset_mac(anairiats_sum_17, tmp167, atslab_2, arg3) ;
ats_selptrset_mac(anairiats_sum_17, tmp167, atslab_3, arg4) ;
tmp166 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2edats__instr_make_node (arg0, tmp167) ;
return (tmp166) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_extmcall] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp.dats: 13598(line=655, offs=3) -- 13681(line=656, offs=55)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_cond (ats_ptr_type arg0, ats_ptr_type arg1, ats_ptr_type arg2, ats_ptr_type arg3) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp168) ;
ATSlocal (ats_ptr_type, tmp169) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_cond:
tmp169 = ATS_MALLOC(sizeof(anairiats_sum_6)) ;
((ats_sum_ptr_type)tmp169)->tag = 10 ;
ats_selptrset_mac(anairiats_sum_6, tmp169, atslab_0, arg1) ;
ats_selptrset_mac(anairiats_sum_6, tmp169, atslab_1, arg2) ;
ats_selptrset_mac(anairiats_sum_6, tmp169, atslab_2, arg3) ;
tmp168 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2edats__instr_make_node (arg0, tmp169) ;
return (tmp168) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_cond] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp.dats: 13753(line=663, offs=3) -- 13805(line=663, offs=55)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_freecon (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp170) ;
ATSlocal (ats_ptr_type, tmp171) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_freecon:
tmp171 = ATS_MALLOC(sizeof(anairiats_sum_4)) ;
((ats_sum_ptr_type)tmp171)->tag = 11 ;
ats_selptrset_mac(anairiats_sum_4, tmp171, atslab_0, arg1) ;
tmp170 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2edats__instr_make_node (arg0, tmp171) ;
return (tmp170) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_freecon] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp.dats: 13875(line=670, offs=1) -- 14133(line=683, offs=4)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_loop (ats_ptr_type arg0, ats_ptr_type arg1, ats_ptr_type arg2, ats_ptr_type arg3, ats_ptr_type arg4, ats_ptr_type arg5, ats_ptr_type arg6, ats_ptr_type arg7, ats_ptr_type arg8) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp172) ;
ATSlocal (ats_ptr_type, tmp173) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_loop:
tmp173 = ATS_MALLOC(sizeof(anairiats_sum_19)) ;
((ats_sum_ptr_type)tmp173)->tag = 12 ;
ats_selptrset_mac(anairiats_sum_19, tmp173, atslab_0, arg1) ;
ats_selptrset_mac(anairiats_sum_19, tmp173, atslab_1, arg2) ;
ats_selptrset_mac(anairiats_sum_19, tmp173, atslab_2, arg3) ;
ats_selptrset_mac(anairiats_sum_19, tmp173, atslab_3, arg4) ;
ats_selptrset_mac(anairiats_sum_19, tmp173, atslab_4, arg5) ;
ats_selptrset_mac(anairiats_sum_19, tmp173, atslab_5, arg6) ;
ats_selptrset_mac(anairiats_sum_19, tmp173, atslab_6, arg7) ;
ats_selptrset_mac(anairiats_sum_19, tmp173, atslab_7, arg8) ;
tmp172 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2edats__instr_make_node (arg0, tmp173) ;
return (tmp172) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_loop] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp.dats: 14184(line=686, offs=15) -- 14252(line=688, offs=50)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_loopexn (ats_ptr_type arg0, ats_int_type arg1, ats_ptr_type arg2) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp174) ;
ATSlocal (ats_ptr_type, tmp175) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_loopexn:
tmp175 = ATS_MALLOC(sizeof(anairiats_sum_7)) ;
((ats_sum_ptr_type)tmp175)->tag = 13 ;
ats_selptrset_mac(anairiats_sum_7, tmp175, atslab_0, arg1) ;
ats_selptrset_mac(anairiats_sum_7, tmp175, atslab_1, arg2) ;
tmp174 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2edats__instr_make_node (arg0, tmp175) ;
return (tmp174) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_loopexn] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp.dats: 14300(line=694, offs=3) -- 14349(line=694, offs=52)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_caseof (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp176) ;
ATSlocal (ats_ptr_type, tmp177) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_caseof:
tmp177 = ATS_MALLOC(sizeof(anairiats_sum_4)) ;
((ats_sum_ptr_type)tmp177)->tag = 14 ;
ats_selptrset_mac(anairiats_sum_4, tmp177, atslab_0, arg1) ;
tmp176 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2edats__instr_make_node (arg0, tmp177) ;
return (tmp176) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_caseof] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp.dats: 14422(line=701, offs=3) -- 14465(line=701, offs=46)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_letpop (ats_ptr_type arg0) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp178) ;
ATSlocal (ats_ptr_type, tmp179) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_letpop:
tmp179 = (ats_sum_ptr_type)(&_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__INSletpop_15) ;
tmp178 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2edats__instr_make_node (arg0, tmp179) ;
return (tmp178) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_letpop] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp.dats: 14518(line=706, offs=3) -- 14572(line=706, offs=57)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_letpush (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp180) ;
ATSlocal (ats_ptr_type, tmp181) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_letpush:
tmp181 = ATS_MALLOC(sizeof(anairiats_sum_4)) ;
((ats_sum_ptr_type)tmp181)->tag = 16 ;
ats_selptrset_mac(anairiats_sum_4, tmp181, atslab_0, arg1) ;
tmp180 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2edats__instr_make_node (arg0, tmp181) ;
return (tmp180) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_letpush] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp.dats: 14646(line=712, offs=16) -- 14751(line=715, offs=50)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_move_con (ats_ptr_type arg0, ats_ptr_type arg1, ats_ptr_type arg2, ats_ptr_type arg3, ats_ptr_type arg4) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp182) ;
ATSlocal (ats_ptr_type, tmp183) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_move_con:
tmp183 = ATS_MALLOC(sizeof(anairiats_sum_17)) ;
((ats_sum_ptr_type)tmp183)->tag = 17 ;
ats_selptrset_mac(anairiats_sum_17, tmp183, atslab_0, arg1) ;
ats_selptrset_mac(anairiats_sum_17, tmp183, atslab_1, arg2) ;
ats_selptrset_mac(anairiats_sum_17, tmp183, atslab_2, arg3) ;
ats_selptrset_mac(anairiats_sum_17, tmp183, atslab_3, arg4) ;
tmp182 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2edats__instr_make_node (arg0, tmp183) ;
return (tmp182) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_move_con] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp.dats: 14828(line=722, offs=3) -- 14899(line=723, offs=51)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_move_ref (ats_ptr_type arg0, ats_ptr_type arg1, ats_ptr_type arg2) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp184) ;
ATSlocal (ats_ptr_type, tmp185) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_move_ref:
tmp185 = ATS_MALLOC(sizeof(anairiats_sum_5)) ;
((ats_sum_ptr_type)tmp185)->tag = 18 ;
ats_selptrset_mac(anairiats_sum_5, tmp185, atslab_0, arg1) ;
ats_selptrset_mac(anairiats_sum_5, tmp185, atslab_1, arg2) ;
tmp184 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2edats__instr_make_node (arg0, tmp185) ;
return (tmp184) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_move_ref] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp.dats: 14977(line=730, offs=1) -- 15077(line=733, offs=49)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_move_boxrec (ats_ptr_type arg0, ats_ptr_type arg1, ats_ptr_type arg2, ats_ptr_type arg3) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp186) ;
ATSlocal (ats_ptr_type, tmp187) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_move_boxrec:
tmp187 = ATS_MALLOC(sizeof(anairiats_sum_6)) ;
((ats_sum_ptr_type)tmp187)->tag = 19 ;
ats_selptrset_mac(anairiats_sum_6, tmp187, atslab_0, arg1) ;
ats_selptrset_mac(anairiats_sum_6, tmp187, atslab_1, arg2) ;
ats_selptrset_mac(anairiats_sum_6, tmp187, atslab_2, arg3) ;
tmp186 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2edats__instr_make_node (arg0, tmp187) ;
return (tmp186) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_move_boxrec] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp.dats: 15137(line=738, offs=1) -- 15237(line=741, offs=49)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_move_fltrec (ats_ptr_type arg0, ats_ptr_type arg1, ats_ptr_type arg2, ats_ptr_type arg3) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp188) ;
ATSlocal (ats_ptr_type, tmp189) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_move_fltrec:
tmp189 = ATS_MALLOC(sizeof(anairiats_sum_6)) ;
((ats_sum_ptr_type)tmp189)->tag = 20 ;
ats_selptrset_mac(anairiats_sum_6, tmp189, atslab_0, arg1) ;
ats_selptrset_mac(anairiats_sum_6, tmp189, atslab_1, arg2) ;
ats_selptrset_mac(anairiats_sum_6, tmp189, atslab_2, arg3) ;
tmp188 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2edats__instr_make_node (arg0, tmp189) ;
return (tmp188) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_move_fltrec] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp.dats: 15298(line=746, offs=1) -- 15610(line=761, offs=4)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_move_fltrec2 (ats_ptr_type arg0, ats_ptr_type arg1, ats_ptr_type arg2, ats_ptr_type arg3) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp190) ;
ATSlocal (ats_ptr_type, tmp191) ;
ATSlocal (ats_ptr_type, tmp192) ;
ATSlocal (ats_ptr_type, tmp193) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_move_fltrec2:
tmp191 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_0, arg3), atslab_hisexp_node) ;
do {
/* branch: __ats_lab_4 */
__ats_lab_4_0:
if (((ats_sum_ptr_type)tmp191)->tag != 9) { goto __ats_lab_5_0 ; }
__ats_lab_4_1:
if (arg2 == (ats_sum_ptr_type)0) { ats_caseof_failure_handle ("/tmp/ATS-Postiats/src/pats_ccomp.dats: 15411(line=754, offs=9) -- 15438(line=754, offs=36)") ; }
tmp192 = ats_caselptrlab_mac(anairiats_sum_20, arg2, atslab_0) ;
// 
tmp193 = ats_caselptrlab_mac(anairiats_sum_20, tmp192, atslab_1) ;
tmp190 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_move_val (arg0, arg1, tmp193) ;
break ;

/* branch: __ats_lab_5 */
__ats_lab_5_0:
__ats_lab_5_1:
tmp190 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_move_fltrec (arg0, arg1, arg2, arg3) ;
break ;
} while (0) ;
return (tmp190) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_move_fltrec2] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp.dats: 15688(line=767, offs=3) -- 15768(line=768, offs=54)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_patck (ats_ptr_type arg0, ats_ptr_type arg1, ats_ptr_type arg2, ats_ptr_type arg3) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp194) ;
ATSlocal (ats_ptr_type, tmp195) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_patck:
tmp195 = ATS_MALLOC(sizeof(anairiats_sum_6)) ;
((ats_sum_ptr_type)tmp195)->tag = 21 ;
ats_selptrset_mac(anairiats_sum_6, tmp195, atslab_0, arg1) ;
ats_selptrset_mac(anairiats_sum_6, tmp195, atslab_1, arg2) ;
ats_selptrset_mac(anairiats_sum_6, tmp195, atslab_2, arg3) ;
tmp194 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2edats__instr_make_node (arg0, tmp195) ;
return (tmp194) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_patck] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp.dats: 15843(line=774, offs=19) -- 15992(line=780, offs=4)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_move_selcon (ats_ptr_type arg0, ats_ptr_type arg1, ats_ptr_type arg2, ats_ptr_type arg3, ats_ptr_type arg4, ats_ptr_type arg5) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp196) ;
ATSlocal (ats_ptr_type, tmp197) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_move_selcon:
tmp197 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_selcon (arg0, arg2, arg3, arg4, arg5) ;
tmp196 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_move_val (arg0, arg1, tmp197) ;
return (tmp196) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_move_selcon] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp.dats: 16047(line=783, offs=19) -- 16194(line=789, offs=4)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_move_select (ats_ptr_type arg0, ats_ptr_type arg1, ats_ptr_type arg2, ats_ptr_type arg3, ats_ptr_type arg4, ats_ptr_type arg5) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp198) ;
ATSlocal (ats_ptr_type, tmp199) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_move_select:
tmp199 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_select (arg0, arg2, arg3, arg4, arg5) ;
tmp198 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_move_val (arg0, arg1, tmp199) ;
return (tmp198) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_move_select] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp.dats: 16250(line=792, offs=20) -- 16400(line=798, offs=4)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_move_select2 (ats_ptr_type arg0, ats_ptr_type arg1, ats_ptr_type arg2, ats_ptr_type arg3, ats_ptr_type arg4, ats_ptr_type arg5) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp200) ;
ATSlocal (ats_ptr_type, tmp201) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_move_select2:
tmp201 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primval_select2 (arg0, arg2, arg3, arg4, arg5) ;
tmp200 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_move_val (arg0, arg1, tmp201) ;
return (tmp200) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_move_select2] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp.dats: 16479(line=804, offs=1) -- 16612(line=812, offs=4)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_move_ptrofsel (ats_ptr_type arg0, ats_ptr_type arg1, ats_ptr_type arg2, ats_ptr_type arg3, ats_ptr_type arg4) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp202) ;
ATSlocal (ats_ptr_type, tmp203) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_move_ptrofsel:
tmp203 = ATS_MALLOC(sizeof(anairiats_sum_17)) ;
((ats_sum_ptr_type)tmp203)->tag = 22 ;
ats_selptrset_mac(anairiats_sum_17, tmp203, atslab_0, arg1) ;
ats_selptrset_mac(anairiats_sum_17, tmp203, atslab_1, arg2) ;
ats_selptrset_mac(anairiats_sum_17, tmp203, atslab_2, arg3) ;
ats_selptrset_mac(anairiats_sum_17, tmp203, atslab_3, arg4) ;
tmp202 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2edats__instr_make_node (arg0, tmp203) ;
return (tmp202) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_move_ptrofsel] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp.dats: 16881(line=828, offs=1) -- 17019(line=837, offs=4)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_store_ptrofs (ats_ptr_type arg0, ats_ptr_type arg1, ats_ptr_type arg2, ats_ptr_type arg3, ats_ptr_type arg4) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp204) ;
ATSlocal (ats_ptr_type, tmp205) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_store_ptrofs:
tmp205 = ATS_MALLOC(sizeof(anairiats_sum_17)) ;
((ats_sum_ptr_type)tmp205)->tag = 23 ;
ats_selptrset_mac(anairiats_sum_17, tmp205, atslab_0, arg1) ;
ats_selptrset_mac(anairiats_sum_17, tmp205, atslab_1, arg2) ;
ats_selptrset_mac(anairiats_sum_17, tmp205, atslab_2, arg3) ;
ats_selptrset_mac(anairiats_sum_17, tmp205, atslab_3, arg4) ;
tmp204 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2edats__instr_make_node (arg0, tmp205) ;
return (tmp204) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_store_ptrofs] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp.dats: 17082(line=841, offs=1) -- 17230(line=850, offs=4)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_xstore_ptrofs (ats_ptr_type arg0, ats_ptr_type arg1, ats_ptr_type arg2, ats_ptr_type arg3, ats_ptr_type arg4, ats_ptr_type arg5) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp206) ;
ATSlocal (ats_ptr_type, tmp207) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_xstore_ptrofs:
tmp207 = ATS_MALLOC(sizeof(anairiats_sum_21)) ;
((ats_sum_ptr_type)tmp207)->tag = 24 ;
ats_selptrset_mac(anairiats_sum_21, tmp207, atslab_0, arg1) ;
ats_selptrset_mac(anairiats_sum_21, tmp207, atslab_1, arg2) ;
ats_selptrset_mac(anairiats_sum_21, tmp207, atslab_2, arg3) ;
ats_selptrset_mac(anairiats_sum_21, tmp207, atslab_3, arg4) ;
ats_selptrset_mac(anairiats_sum_21, tmp207, atslab_4, arg5) ;
tmp206 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2edats__instr_make_node (arg0, tmp207) ;
return (tmp206) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_xstore_ptrofs] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp.dats: 17309(line=856, offs=3) -- 17379(line=857, offs=49)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_raise (ats_ptr_type arg0, ats_ptr_type arg1, ats_ptr_type arg2) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp208) ;
ATSlocal (ats_ptr_type, tmp209) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_raise:
tmp209 = ATS_MALLOC(sizeof(anairiats_sum_5)) ;
((ats_sum_ptr_type)tmp209)->tag = 25 ;
ats_selptrset_mac(anairiats_sum_5, tmp209, atslab_0, arg1) ;
ats_selptrset_mac(anairiats_sum_5, tmp209, atslab_1, arg2) ;
tmp208 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2edats__instr_make_node (arg0, tmp209) ;
return (tmp208) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_raise] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp.dats: 17455(line=864, offs=3) -- 17582(line=871, offs=4)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_move_delay (ats_ptr_type arg0, ats_ptr_type arg1, ats_int_type arg2, ats_ptr_type arg3, ats_ptr_type arg4) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp210) ;
ATSlocal (ats_ptr_type, tmp211) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_move_delay:
tmp211 = ATS_MALLOC(sizeof(anairiats_sum_22)) ;
((ats_sum_ptr_type)tmp211)->tag = 26 ;
ats_selptrset_mac(anairiats_sum_22, tmp211, atslab_0, arg1) ;
ats_selptrset_mac(anairiats_sum_22, tmp211, atslab_1, arg2) ;
ats_selptrset_mac(anairiats_sum_22, tmp211, atslab_2, arg3) ;
ats_selptrset_mac(anairiats_sum_22, tmp211, atslab_3, arg4) ;
tmp210 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2edats__instr_make_node (arg0, tmp211) ;
return (tmp210) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_move_delay] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp.dats: 17645(line=875, offs=3) -- 17778(line=881, offs=4)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_move_lazyeval (ats_ptr_type arg0, ats_ptr_type arg1, ats_int_type arg2, ats_ptr_type arg3, ats_ptr_type arg4) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp212) ;
ATSlocal (ats_ptr_type, tmp213) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_move_lazyeval:
tmp213 = ATS_MALLOC(sizeof(anairiats_sum_22)) ;
((ats_sum_ptr_type)tmp213)->tag = 27 ;
ats_selptrset_mac(anairiats_sum_22, tmp213, atslab_0, arg1) ;
ats_selptrset_mac(anairiats_sum_22, tmp213, atslab_1, arg2) ;
ats_selptrset_mac(anairiats_sum_22, tmp213, atslab_2, arg3) ;
ats_selptrset_mac(anairiats_sum_22, tmp213, atslab_3, arg4) ;
tmp212 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2edats__instr_make_node (arg0, tmp213) ;
return (tmp212) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_move_lazyeval] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp.dats: 17859(line=887, offs=3) -- 17950(line=890, offs=4)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_trywith (ats_ptr_type arg0, ats_ptr_type arg1, ats_ptr_type arg2, ats_ptr_type arg3) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp214) ;
ATSlocal (ats_ptr_type, tmp215) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_trywith:
tmp215 = ATS_MALLOC(sizeof(anairiats_sum_6)) ;
((ats_sum_ptr_type)tmp215)->tag = 28 ;
ats_selptrset_mac(anairiats_sum_6, tmp215, atslab_0, arg1) ;
ats_selptrset_mac(anairiats_sum_6, tmp215, atslab_1, arg2) ;
ats_selptrset_mac(anairiats_sum_6, tmp215, atslab_2, arg3) ;
tmp214 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2edats__instr_make_node (arg0, tmp215) ;
return (tmp214) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_trywith] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp.dats: 18031(line=896, offs=3) -- 18091(line=897, offs=48)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_move_list_nil (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp216) ;
ATSlocal (ats_ptr_type, tmp217) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_move_list_nil:
tmp217 = ATS_MALLOC(sizeof(anairiats_sum_4)) ;
((ats_sum_ptr_type)tmp217)->tag = 29 ;
ats_selptrset_mac(anairiats_sum_4, tmp217, atslab_0, arg1) ;
tmp216 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2edats__instr_make_node (arg0, tmp217) ;
return (tmp216) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_move_list_nil] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp.dats: 18157(line=901, offs=3) -- 18218(line=902, offs=49)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_pmove_list_nil (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp218) ;
ATSlocal (ats_ptr_type, tmp219) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_pmove_list_nil:
tmp219 = ATS_MALLOC(sizeof(anairiats_sum_4)) ;
((ats_sum_ptr_type)tmp219)->tag = 30 ;
ats_selptrset_mac(anairiats_sum_4, tmp219, atslab_0, arg1) ;
tmp218 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2edats__instr_make_node (arg0, tmp219) ;
return (tmp218) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_pmove_list_nil] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp.dats: 18286(line=906, offs=3) -- 18366(line=907, offs=59)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_pmove_list_cons (ats_ptr_type arg0, ats_ptr_type arg1, ats_ptr_type arg2) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp220) ;
ATSlocal (ats_ptr_type, tmp221) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_pmove_list_cons:
tmp221 = ATS_MALLOC(sizeof(anairiats_sum_5)) ;
((ats_sum_ptr_type)tmp221)->tag = 31 ;
ats_selptrset_mac(anairiats_sum_5, tmp221, atslab_0, arg1) ;
ats_selptrset_mac(anairiats_sum_5, tmp221, atslab_1, arg2) ;
tmp220 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2edats__instr_make_node (arg0, tmp221) ;
return (tmp220) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_pmove_list_cons] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp.dats: 18457(line=914, offs=3) -- 18557(line=916, offs=52)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_move_list_phead (ats_ptr_type arg0, ats_ptr_type arg1, ats_ptr_type arg2, ats_ptr_type arg3) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp222) ;
ATSlocal (ats_ptr_type, tmp223) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_move_list_phead:
tmp223 = ATS_MALLOC(sizeof(anairiats_sum_6)) ;
((ats_sum_ptr_type)tmp223)->tag = 32 ;
ats_selptrset_mac(anairiats_sum_6, tmp223, atslab_0, arg1) ;
ats_selptrset_mac(anairiats_sum_6, tmp223, atslab_1, arg2) ;
ats_selptrset_mac(anairiats_sum_6, tmp223, atslab_2, arg3) ;
tmp222 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2edats__instr_make_node (arg0, tmp223) ;
return (tmp222) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_move_list_phead] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp.dats: 18627(line=921, offs=3) -- 18731(line=923, offs=54)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_move_list_ptail (ats_ptr_type arg0, ats_ptr_type arg1, ats_ptr_type arg2, ats_ptr_type arg3) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp224) ;
ATSlocal (ats_ptr_type, tmp225) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_move_list_ptail:
tmp225 = ATS_MALLOC(sizeof(anairiats_sum_6)) ;
((ats_sum_ptr_type)tmp225)->tag = 33 ;
ats_selptrset_mac(anairiats_sum_6, tmp225, atslab_0, arg1) ;
ats_selptrset_mac(anairiats_sum_6, tmp225, atslab_1, arg2) ;
ats_selptrset_mac(anairiats_sum_6, tmp225, atslab_2, arg3) ;
tmp224 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2edats__instr_make_node (arg0, tmp225) ;
return (tmp224) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_move_list_ptail] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp.dats: 18822(line=930, offs=3) -- 18896(line=932, offs=39)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_move_arrpsz_ptr (ats_ptr_type arg0, ats_ptr_type arg1, ats_ptr_type arg2) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp226) ;
ATSlocal (ats_ptr_type, tmp227) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_move_arrpsz_ptr:
tmp227 = ATS_MALLOC(sizeof(anairiats_sum_5)) ;
((ats_sum_ptr_type)tmp227)->tag = 34 ;
ats_selptrset_mac(anairiats_sum_5, tmp227, atslab_0, arg1) ;
ats_selptrset_mac(anairiats_sum_5, tmp227, atslab_1, arg2) ;
tmp226 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2edats__instr_make_node (arg0, tmp227) ;
return (tmp226) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_move_arrpsz_ptr] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp.dats: 18988(line=939, offs=3) -- 19063(line=941, offs=40)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_store_arrpsz_asz (ats_ptr_type arg0, ats_ptr_type arg1, ats_int_type arg2) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp228) ;
ATSlocal (ats_ptr_type, tmp229) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_store_arrpsz_asz:
tmp229 = ATS_MALLOC(sizeof(anairiats_sum_23)) ;
((ats_sum_ptr_type)tmp229)->tag = 35 ;
ats_selptrset_mac(anairiats_sum_23, tmp229, atslab_0, arg1) ;
ats_selptrset_mac(anairiats_sum_23, tmp229, atslab_1, arg2) ;
tmp228 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2edats__instr_make_node (arg0, tmp229) ;
return (tmp228) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_store_arrpsz_asz] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp.dats: 19135(line=946, offs=3) -- 19227(line=951, offs=2)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_store_arrpsz_ptr (ats_ptr_type arg0, ats_ptr_type arg1, ats_ptr_type arg2, ats_int_type arg3) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp230) ;
ATSlocal (ats_ptr_type, tmp231) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_store_arrpsz_ptr:
tmp231 = ATS_MALLOC(sizeof(anairiats_sum_24)) ;
((ats_sum_ptr_type)tmp231)->tag = 36 ;
ats_selptrset_mac(anairiats_sum_24, tmp231, atslab_0, arg1) ;
ats_selptrset_mac(anairiats_sum_24, tmp231, atslab_1, arg2) ;
ats_selptrset_mac(anairiats_sum_24, tmp231, atslab_2, arg3) ;
tmp230 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2edats__instr_make_node (arg0, tmp231) ;
return (tmp230) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_store_arrpsz_ptr] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp.dats: 19319(line=958, offs=3) -- 19405(line=960, offs=44)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_update_ptrinc (ats_ptr_type arg0, ats_ptr_type arg1, ats_ptr_type arg2) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp232) ;
ATSlocal (ats_ptr_type, tmp233) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_update_ptrinc:
tmp233 = ATS_MALLOC(sizeof(anairiats_sum_5)) ;
((ats_sum_ptr_type)tmp233)->tag = 37 ;
ats_selptrset_mac(anairiats_sum_5, tmp233, atslab_0, arg1) ;
ats_selptrset_mac(anairiats_sum_5, tmp233, atslab_1, arg2) ;
tmp232 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2edats__instr_make_node (arg0, tmp233) ;
return (tmp232) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_update_ptrinc] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp.dats: 19471(line=965, offs=3) -- 19557(line=967, offs=44)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_update_ptrdec (ats_ptr_type arg0, ats_ptr_type arg1, ats_ptr_type arg2) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp234) ;
ATSlocal (ats_ptr_type, tmp235) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_update_ptrdec:
tmp235 = ATS_MALLOC(sizeof(anairiats_sum_5)) ;
((ats_sum_ptr_type)tmp235)->tag = 38 ;
ats_selptrset_mac(anairiats_sum_5, tmp235, atslab_0, arg1) ;
ats_selptrset_mac(anairiats_sum_5, tmp235, atslab_1, arg2) ;
tmp234 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2edats__instr_make_node (arg0, tmp235) ;
return (tmp234) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_update_ptrdec] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp.dats: 19648(line=974, offs=3) -- 19739(line=976, offs=47)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_closure_initize (ats_ptr_type arg0, ats_ptr_type arg1, ats_ptr_type arg2, ats_ptr_type arg3) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp236) ;
ATSlocal (ats_ptr_type, tmp237) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_closure_initize:
tmp237 = ATS_MALLOC(sizeof(anairiats_sum_6)) ;
((ats_sum_ptr_type)tmp237)->tag = 39 ;
ats_selptrset_mac(anairiats_sum_6, tmp237, atslab_0, arg1) ;
ats_selptrset_mac(anairiats_sum_6, tmp237, atslab_1, arg2) ;
ats_selptrset_mac(anairiats_sum_6, tmp237, atslab_2, arg3) ;
tmp236 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2edats__instr_make_node (arg0, tmp237) ;
return (tmp236) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_closure_initize] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp.dats: 19789(line=982, offs=3) -- 19840(line=983, offs=39)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_tmpdec (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp238) ;
ATSlocal (ats_ptr_type, tmp239) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_tmpdec:
tmp239 = ATS_MALLOC(sizeof(anairiats_sum_4)) ;
((ats_sum_ptr_type)tmp239)->tag = 40 ;
ats_selptrset_mac(anairiats_sum_4, tmp239, atslab_0, arg1) ;
tmp238 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2edats__instr_make_node (arg0, tmp239) ;
return (tmp238) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_tmpdec] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp.dats: 19913(line=990, offs=3) -- 19974(line=991, offs=44)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_extvar (ats_ptr_type arg0, ats_ptr_type arg1, ats_ptr_type arg2) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp240) ;
ATSlocal (ats_ptr_type, tmp241) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_extvar:
tmp241 = ATS_MALLOC(sizeof(anairiats_sum_5)) ;
((ats_sum_ptr_type)tmp241)->tag = 41 ;
ats_selptrset_mac(anairiats_sum_5, tmp241, atslab_0, arg1) ;
ats_selptrset_mac(anairiats_sum_5, tmp241, atslab_1, arg2) ;
tmp240 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2edats__instr_make_node (arg0, tmp241) ;
return (tmp240) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_extvar] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp.dats: 20048(line=998, offs=3) -- 20110(line=999, offs=45)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_dcstdef (ats_ptr_type arg0, ats_ptr_type arg1, ats_ptr_type arg2) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp242) ;
ATSlocal (ats_ptr_type, tmp243) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_dcstdef:
tmp243 = ATS_MALLOC(sizeof(anairiats_sum_5)) ;
((ats_sum_ptr_type)tmp243)->tag = 42 ;
ats_selptrset_mac(anairiats_sum_5, tmp243, atslab_0, arg1) ;
ats_selptrset_mac(anairiats_sum_5, tmp243, atslab_1, arg2) ;
tmp242 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2edats__instr_make_node (arg0, tmp243) ;
return (tmp242) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_dcstdef] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp.dats: 20187(line=1006, offs=3) -- 20245(line=1007, offs=45)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_tempenver (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp244) ;
ATSlocal (ats_ptr_type, tmp245) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_tempenver:
tmp245 = ATS_MALLOC(sizeof(anairiats_sum_4)) ;
((ats_sum_ptr_type)tmp245)->tag = 43 ;
ats_selptrset_mac(anairiats_sum_4, tmp245, atslab_0, arg1) ;
tmp244 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2edats__instr_make_node (arg0, tmp245) ;
return (tmp244) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__instr_tempenver] */

/* static load function */

// extern ats_void_type ATS_2d0_2e2_2e12_2prelude_2SATS_2unsafe_2esats__staload (void) ;
extern ats_void_type ATS_2d0_2e2_2e12_2prelude_2DATS_2unsafe_2edats__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) ;
extern ats_void_type _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__staload (void) ;

ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2edats__staload () {
static int _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2edats__staload_flag = 0 ;
if (_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2edats__staload_flag) return ;
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2edats__staload_flag = 1 ;

// ATS_2d0_2e2_2e12_2prelude_2SATS_2unsafe_2esats__staload () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2unsafe_2edats__staload () ;
_2tmp_2ATS_2dPostiats_2src_2pats_histaexp_2esats__staload () ;
_2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__staload () ;
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__staload () ;

return ;
} /* staload function */

/* dynamic load function */

// dynload flag declaration
extern ats_int_type _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2edats__dynload_flag ;

ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2edats__dynload () {
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2edats__dynload_flag = 1 ;
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2edats__staload () ;

#ifdef _ATS_PROOFCHECK
#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_ccomp_dats.c] */
