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

#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"

#include "libc/CATS/fcntl.cats"

#include "libc/sys/CATS/types.cats"

#include "libc/CATS/stdio.cats"

#include "libc/sys/CATS/types.cats"

#include "libc/CATS/stdlib.cats"

#include "libc/CATS/fcntl.cats"

#include "libc/sys/CATS/types.cats"

#include "libc/CATS/unistd.cats"

#include "libc/sys/CATS/types.cats"

#include "libc/CATS/fcntl.cats"

#include "libc/sys/CATS/types.cats"
/* external codes at top */
/* type definitions */
typedef
struct {
ats_ptr_type atslab_3 ;
ats_ptr_type atslab_4 ;
} anairiats_rec_0 ;

typedef struct {
ats_ptr_type atslab_0 ;
} anairiats_sum_1 ;

typedef struct {
ats_ptr_type atslab_0 ;
ats_ptr_type atslab_1 ;
} anairiats_sum_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 {
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_5 ;

typedef struct {
int tag ;
ats_ptr_type atslab_0 ;
ats_ptr_type atslab_1 ;
} 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_hidecl_loc ;
ats_ptr_type atslab_hidecl_node ;
} anairiats_rec_8 ;

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

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

/* external typedefs */
/* external dynamic constructor declarations */
ATSextern_val(ats_sum_type, ATS_2d0_2e2_2e12_2prelude_2basics_sta_2esats__list_cons_0) ;
ATSextern_val(ats_sum_type, ATS_2d0_2e2_2e12_2prelude_2basics_sta_2esats__list_nil_1) ;
ATSextern_val(ats_sum_type, ATS_2d0_2e2_2e12_2prelude_2basics_sta_2esats__None_0) ;
ATSextern_val(ats_sum_type, ATS_2d0_2e2_2e12_2prelude_2basics_sta_2esats__Some_1) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__HIDextcode_6) ;
ATSextern_val(ats_sum_type, _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__HIDdynload_18) ;
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__PMDlocal_15) ;

/* external dynamic constant declarations */
ATSextern_fun(ats_void_type, atspre_vbox_make_view_ptr) (ats_ptr_type) ;
ATSextern_fun(ats_bool_type, atspre_neg_bool) (ats_bool_type) ;
ATSextern_fun(ats_bool_type, atspre_lt_char_char) (ats_char_type, ats_char_type) ;
ATSextern_fun(ats_bool_type, atspre_gt_char_char) (ats_char_type, ats_char_type) ;
ATSextern_fun(ats_bool_type, atspre_eq_char_char) (ats_char_type, ats_char_type) ;
ATSextern_fun(ats_bool_type, atspre_neq_char_char) (ats_char_type, ats_char_type) ;
ATSextern_fun(ats_int_type, atspre_compare_char_char) (ats_char_type, ats_char_type) ;
ATSextern_fun(ats_void_type, atspre_fprint_char) (ats_ptr_type, ats_char_type) ;
ATSextern_fun(ats_bool_type, atspre_char_isdigit) (ats_char_type) ;
ATSextern_fun(ats_char_type, atspre_char_toupper) (ats_char_type) ;
ATSextern_fun(ats_bool_type, atspre_eq_char_char) (ats_char_type, ats_char_type) ;
ATSextern_fun(ats_int_type, atspre_add_int_int) (ats_int_type, ats_int_type) ;
ATSextern_fun(ats_bool_type, atspre_lt_int_int) (ats_int_type, ats_int_type) ;
ATSextern_fun(ats_bool_type, atspre_lte_int_int) (ats_int_type, ats_int_type) ;
ATSextern_fun(ats_bool_type, atspre_gt_int_int) (ats_int_type, ats_int_type) ;
ATSextern_fun(ats_bool_type, atspre_gte_int_int) (ats_int_type, ats_int_type) ;
ATSextern_fun(ats_bool_type, atspre_eq_int_int) (ats_int_type, ats_int_type) ;
ATSextern_fun(ats_uint_type, atspre_add_uint_uint) (ats_uint_type, ats_uint_type) ;
ATSextern_fun(ats_int_type, atspre_isucc) (ats_int_type) ;
ATSextern_fun(ats_int_type, atspre_iadd) (ats_int_type, ats_int_type) ;
ATSextern_fun(ats_int_type, atspre_isub) (ats_int_type, ats_int_type) ;
ATSextern_fun(ats_int_type, atspre_idiv) (ats_int_type, ats_int_type) ;
ATSextern_fun(ats_bool_type, atspre_ilt) (ats_int_type, ats_int_type) ;
ATSextern_fun(ats_bool_type, atspre_igt) (ats_int_type, ats_int_type) ;
ATSextern_fun(ats_bool_type, atspre_igte) (ats_int_type, ats_int_type) ;
ATSextern_fun(ats_llint_type, atspre_llint_of_int) (ats_int_type) ;
ATSextern_fun(ats_llint_type, atspre_mul_llint_llint) (ats_llint_type, ats_llint_type) ;
ATSextern_fun(ats_size_type, atspre_sub_size_size) (ats_size_type, ats_size_type) ;
ATSextern_fun(ats_bool_type, atspre_gte_size_size) (ats_size_type, ats_size_type) ;
ATSextern_fun(ats_size_type, atspre_size1_of_int1) (ats_int_type) ;
ATSextern_fun(ats_size_type, atspre_add_size1_int1) (ats_size_type, ats_int_type) ;
ATSextern_fun(ats_size_type, atspre_sub_size1_int1) (ats_size_type, ats_int_type) ;
ATSextern_fun(ats_size_type, atspre_sub_size1_size1) (ats_size_type, ats_size_type) ;
ATSextern_fun(ats_size_type, atspre_mul_size1_size1) (ats_size_type, ats_size_type) ;
ATSextern_fun(ats_size_type, atspre_mul2_size1_size1) (ats_size_type, ats_size_type) ;
ATSextern_fun(ats_bool_type, atspre_lt_size1_size1) (ats_size_type, ats_size_type) ;
ATSextern_fun(ats_bool_type, atspre_gt_size1_int1) (ats_size_type, ats_int_type) ;
ATSextern_fun(ats_bool_type, atspre_gt_size1_size1) (ats_size_type, ats_size_type) ;
ATSextern_fun(ats_bool_type, atspre_eq_size1_int1) (ats_size_type, ats_int_type) ;
ATSextern_fun(ats_bool_type, atspre_eq_size1_size1) (ats_size_type, ats_size_type) ;
ATSextern_fun(ats_bool_type, atspre_neq_size1_size1) (ats_size_type, ats_size_type) ;
ATSextern_fun(ats_ptr_type, ats_malloc_gc) (ats_size_type) ;
ATSextern_fun(ats_ptr_type, atspre_ptr_alloc_tsz) (ats_size_type) ;
ATSextern_fun(ats_void_type, atspre_ptr_zero_tsz) (ats_ref_type, ats_size_type) ;
ATSextern_fun(ats_ptr_type, atspre_ref_make_elt_tsz) (ats_ref_type, ats_size_type) ;
ATSextern_fun(ats_void_type, atspre_bytes_strbuf_trans) (ats_ptr_type, ats_size_type) ;
ATSextern_fun(ats_bool_type, atspre_eq_string_string) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, atspre_fprint_string) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_char_type, atspre_string_get_char_at) (ats_ptr_type, ats_size_type) ;
ATSextern_fun(ats_char_type, atspre_string_get_char_at__intsz) (ats_ptr_type, ats_int_type) ;
ATSextern_fun(ats_ptr_type, atspre_string_copy) (ats_ptr_type) ;
ATSextern_fun(ats_bool_type, atspre_string_contains) (ats_ptr_type, ats_char_type) ;
ATSextern_fun(ats_size_type, atspre_string_length) (ats_ptr_type) ;
ATSextern_fun(ats_size_type, atspre_string_length) (ats_ptr_type) ;
ATSextern_fun(ats_bool_type, atspre_string_isnot_empty) (ats_ptr_type) ;
ATSextern_fun(ats_bool_type, atspre_string_isnot_atend) (ats_ptr_type, ats_size_type) ;
ATSextern_val(ats_ptr_type, atspre_stropt_none) ;
ATSextern_fun(ats_bool_type, atspre_stropt_is_some) (ats_ptr_type) ;
ATSextern_fun(ats_void_type, atspre_strptr_free) (ats_ptr_type) ;
ATSextern_fun(ats_void_type, atspre_fprint_strptr) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, atspre_tostringf) (ats_ptr_type, ...) ;
ATSextern_fun(ats_ptr_type, ListSubscriptException_make) () ;
ATSextern_fun(ats_ptr_type, atspre_array_ptr_alloc_tsz) (ats_size_type, ats_size_type) ;
ATSextern_fun(ats_void_type, atspre_array_ptr_free) (ats_ptr_type) ;
ATSextern_fun(ats_void_type, atspre_array_ptr_initialize_funenv_tsz) (ats_ref_type, ats_size_type, ats_ptr_type, ats_size_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, atspre_array_ptr_initialize_cloenv_tsz) (ats_ref_type, ats_size_type, ats_ref_type, ats_size_type, ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, atspre_array_ptr_split_tsz) (ats_ptr_type, ats_size_type, ats_size_type) ;
ATSextern_fun(ats_ptr_type, atspre_array_ptr_takeout_tsz) (ats_ptr_type, ats_size_type, ats_size_type) ;
ATSextern_fun(anairiats_rec_0, atspre_array_ptr_takeout2_tsz) (ats_ptr_type, ats_size_type, ats_size_type, ats_size_type) ;
ATSextern_fun(ats_void_type, atspre_array_ptr_foreach_funenv_tsz) (ats_ref_type, ats_ptr_type, ats_size_type, ats_size_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, atspre_array_ptr_iforeach_funenv_tsz) (ats_ref_type, ats_ptr_type, ats_size_type, ats_size_type, ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, atspre_array2_ptr_takeout_tsz) (ats_ptr_type, ats_size_type, ats_size_type, ats_size_type) ;
ATSextern_fun(ats_void_type, atslib_qsort) (ats_ref_type, ats_size_type, ats_size_type, ats_ptr_type) ;
ATSextern_fun(ats_bool_type, _2tmp_2ATS_2dPostiats_2src_2pats_basics_2esats__funclo_is_clo) (ats_ptr_type) ;
ATSextern_fun(ats_int_type, _2tmp_2ATS_2dPostiats_2src_2pats_global_2esats__the_DYNLOADFLAG_get) () ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_global_2esats__the_DYNLOADNAME_get) () ;
ATSextern_fun(ats_int_type, _2tmp_2ATS_2dPostiats_2src_2pats_global_2esats__the_MAINATSFLAG_get) () ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_utils_2esats__fprint_stropt) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_utils_2esats__charset_listize) (ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, patsopt_file2strptr) (ats_int_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__d2cst_get_artylst) (ats_ptr_type) ;
ATSextern_fun(ats_bool_type, _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__d2cst_is_mainats) (ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__d2cst_get2_hisexp) (ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__the_exndeclst_get) () ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__the_saspdeclst_get) () ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__the_extypelst_get) () ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__the_extcodelst_get) () ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__the_staloadlst_get) () ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__the_dynloadlst_get) () ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__the_dynconlst_get) () ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__the_dyncstlst_get) () ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__tmpvarset_vt_listize_free) (ats_ptr_type) ;
ATSextern_fun(ats_int_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__funlab_get_tmpknd) (ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__funlab_get_d2copt) (ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__funlab_get_funclo) (ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__funlab_get_funent) (ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__the_funlablst_get) () ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primdeclst_get_tmpvarset) (ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__hiimpdec_get_instrlstopt) (ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__hideclist_ccomp0) (ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_LPAREN) (ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_RPAREN) (ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_newline) (ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_time_stamp) (ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_ats_ccomp_header) (ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_ats_ccomp_prelude) (ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_filename) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_d2cst) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_exndec) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_saspdec) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_extype) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_extcode) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_staload) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_d2conlst_extdec) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_d2conlst_initize) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_d2cstlst_extdec) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_tmpdeclst) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_hisexp) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_the_tmpdeclst) (ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_the_funlablst) (ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_the_primdeclst) (ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_the_typedeflst) (ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_the_dynconlst_extdec) (ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_the_dyncstlst_extdec) (ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_the_primdeclst_valimp) (ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_funent_ptype) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_funent_closure) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_funent_implmnt) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_primdeclst) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__the_toplevel_getref_tmpvarlst) () ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__the_toplevel_getref_primdeclst) () ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_main_2edats__the_dynconlst_get2) () ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_main_2edats__the_dynconlst_set2) (ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_main_2edats__the_dynconlst_initset2) () ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_main_2edats__emit_funlablst_ptype) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_main_2edats__emit_funlablst_closure) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_main_2edats__emit_funlablst_implmnt) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, patsopt_tmpvar_set_topknd) (ats_ptr_type, ats_int_type) ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_main_2edats__the_dyncstlst_get2) () ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_main_2edats__the_dyncstlst_set2) (ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_main_2edats__the_dyncstlst_initset2) () ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_main_2edats__the_extcodelst_get2) () ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_main_2edats__the_extcodelst_set2) (ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_main_2edats__the_extcodelst_initset2) () ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_main_2edats__the_funlablst_get2) () ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_main_2edats__the_funlablst_set2) (ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_main_2edats__the_funlablst_initset2) () ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_main_2edats__the_mainats_initize) () ;
ATSextern_fun(ats_ptr_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_main_2edats__the_mainats_d2copt_get) () ;
ATSextern_fun(ats_int_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_main_2edats__the_dynloadflag_get) () ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_main_2edats__emit_main_arglst_err) (ats_ptr_type, ats_int_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_main_2edats__emit_dynload) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_main_2edats__emit_dynloadflag) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_size_type, ATS_2d0_2e2_2e12_2libats_2ngc_2SATS_2deque_arr_2esats__deque_cap) (ats_ref_type) ;
ATSextern_fun(ats_size_type, ATS_2d0_2e2_2e12_2libats_2ngc_2SATS_2deque_arr_2esats__deque_size) (ats_ref_type) ;
ATSextern_fun(ats_bool_type, ATS_2d0_2e2_2e12_2libats_2ngc_2SATS_2deque_arr_2esats__deque_is_empty) (ats_ref_type) ;
ATSextern_fun(ats_bool_type, ATS_2d0_2e2_2e12_2libats_2ngc_2SATS_2deque_arr_2esats__deque_isnot_empty) (ats_ref_type) ;
ATSextern_fun(ats_bool_type, ATS_2d0_2e2_2e12_2libats_2ngc_2SATS_2deque_arr_2esats__deque_is_full) (ats_ref_type) ;
ATSextern_fun(ats_bool_type, ATS_2d0_2e2_2e12_2libats_2ngc_2SATS_2deque_arr_2esats__deque_isnot_full) (ats_ref_type) ;
ATSextern_fun(ats_void_type, atslib_ngc_deque_arr_deque_initialize_tsz) (ats_ref_type, ats_size_type, ats_ptr_type, ats_size_type) ;
ATSextern_fun(ats_ptr_type, atslib_ngc_deque_arr_deque_uninitialize) (ats_ref_type) ;
ATSextern_fun(ats_ptr_type, ATS_2d0_2e2_2e12_2libats_2ngc_2SATS_2deque_arr_2esats__deque_uninitialize_vt) (ats_ref_type) ;
ATSextern_fun(ats_ptr_type, atslib_ngc_deque_arr_deque_takeout_tsz) (ats_ref_type, ats_size_type, ats_size_type) ;
ATSextern_fun(ats_void_type, atslib_ngc_deque_arr_deque_insert_end_many_tsz) (ats_ref_type, ats_size_type, ats_ref_type, ats_size_type) ;
ATSextern_fun(ats_void_type, atslib_ngc_deque_arr_deque_remove_beg_many_tsz) (ats_ref_type, ats_size_type, ats_ref_type, ats_size_type) ;
ATSextern_fun(ats_void_type, ATS_2d0_2e2_2e12_2libats_2ngc_2SATS_2deque_arr_2esats__deque_clear_all) (ats_ref_type) ;
ATSextern_fun(ats_void_type, atslib_ngc_deque_arr_deque_copyout_tsz) (ats_ref_type, ats_size_type, ats_size_type, ats_ref_type, ats_size_type) ;
ATSextern_fun(ats_ptr_type, atslib_ngc_deque_arr_deque_update_capacity_tsz) (ats_ref_type, ats_size_type, ats_ptr_type, ats_size_type) ;

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

/* assuming abstract types */
/* sum constructor declarations */
/* exn constructor declarations */
/* global dynamic (non-functional) constant declarations */
/* internal function declarations */
static
ats_ptr_type ref_01088_ats_ptr_type (ats_ptr_type arg0) ;
static
ats_void_type loop_7 (ats_ptr_type arg0, ats_ptr_type arg1, ats_int_type arg2) ;
static
ats_void_type loop_9 (ats_ptr_type arg0, ats_ptr_type arg1, ats_int_type arg2) ;
static
ats_void_type loop_11 (ats_ptr_type arg0, ats_ptr_type arg1, ats_int_type arg2) ;
static
ats_void_type auxlst_staticize_12 (ats_ptr_type arg0) ;
static
ats_ptr_type ptr0_get_01759_ats_ptr_type (ats_ptr_type arg0) ;
static
ats_ptr_type ptrget_01763_ats_ptr_type (ats_ptr_type arg0) ;
static
ats_void_type aux_29 (ats_ptr_type arg0, ats_ptr_type arg1) ;
static
ats_void_type auxlst_30 (ats_ptr_type arg0, ats_ptr_type arg1) ;
static
ats_void_type loop_33 (ats_ptr_type arg0) ;
static
ats_ptr_type tostring_fprint_03425_ats_int_type (ats_ptr_type arg0, ats_ptr_type arg1, ats_int_type arg2) ;
static
ats_void_type __ats_fun_41 (ats_ptr_type arg0, ats_int_type arg1) ;
static
ats_ptr_type the_tmpdeclst_stringize_39 () ;
static
ats_void_type __ats_fun_43 (ats_ptr_type arg0, ats_int_type arg1) ;
static
ats_ptr_type the_primdeclst_stringize_42 () ;
static
ats_void_type __ats_fun_45 (ats_ptr_type arg0, ats_int_type arg1) ;
static
ats_ptr_type the_funlablst_stringize_44 () ;
static
ats_void_type loop_47 (ats_ptr_type arg0, ats_ptr_type arg1) ;
static
ats_void_type aux_staload_46 (ats_ptr_type arg0) ;
static
ats_void_type loop_49 (ats_ptr_type arg0, ats_ptr_type arg1) ;
static
ats_void_type aux_dynload_ext_48 (ats_ptr_type arg0) ;
static
ats_void_type aux_dynload_ias_50 (ats_ptr_type arg0, ats_ptr_type arg1) ;
static
ats_void_type aux_dynload_def_51 (ats_ptr_type arg0, ats_ptr_type arg1, ats_ptr_type arg2) ;
static
ats_void_type aux_main_52 (ats_ptr_type arg0, ats_ptr_type arg1, ats_ptr_type arg2) ;
static
ats_void_type aux_main_ifopt_53 (ats_ptr_type arg0, ats_ptr_type arg1) ;
static
ats_ptr_type loop_55 (ats_ptr_type arg0, ats_ptr_type arg1, ats_ptr_type arg2) ;
static
ats_void_type aux_extcodelst_if_54 (ats_ptr_type arg0, ats_ptr_type arg1) ;
static
ats_void_type loop_57 (ats_ptr_type arg0, ats_ptr_type arg1) ;
static
ats_void_type aux_exndeclst_56 (ats_ptr_type arg0) ;
static
ats_void_type loop_59 (ats_ptr_type arg0, ats_ptr_type arg1) ;
static
ats_void_type aux_saspdeclst_58 (ats_ptr_type arg0) ;
static
ats_void_type loop_61 (ats_ptr_type arg0, ats_ptr_type arg1) ;
static
ats_void_type aux_extypelst_60 (ats_ptr_type arg0) ;
static
ats_void_type ptr0_set_01760_ats_ptr_type (ats_ptr_type arg0, ats_ptr_type arg1) ;
static
ats_void_type ptrset_01764_ats_ptr_type (ats_ptr_type arg0, ats_ptr_type arg1) ;
static
ats_bool_type __ats_fun_65 (ats_int_type arg0) ;
static
ats_bool_type __ats_fun_66 (ats_int_type arg0) ;
static
ats_bool_type __ats_fun_67 (ats_int_type arg0) ;
static
ats_bool_type __ats_fun_68 (ats_int_type arg0) ;

/* partial value template declarations */
/* static temporary variable declarations */
ATSstatic (ats_ptr_type, statmp66) ;
ATSstatic (ats_ptr_type, statmp69) ;
ATSstatic (ats_ptr_type, statmp132) ;
ATSstatic (ats_ptr_type, statmp133) ;
ATSstatic (ats_ptr_type, statmp151) ;
ATSstatic (ats_ptr_type, statmp152) ;
ATSstatic (ats_ptr_type, statmp162) ;
ATSstatic (ats_ptr_type, statmp163) ;
ATSstatic (ats_ptr_type, statmp210) ;
ATSstatic (ats_ptr_type, statmp211) ;

/* external value variable declarations */

/* function implementations */

/*
// /tmp/ATS-Postiats/src/pats_ccomp_main.dats: 2193(line=87, offs=3) -- 3156(line=110, offs=4)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_ats_ccomp_header (ats_ptr_type arg0) {
/* local vardec */
// ATSlocal_void (tmp0) ;
// ATSlocal_void (tmp1) ;
// ATSlocal_void (tmp2) ;
// ATSlocal_void (tmp3) ;
// ATSlocal_void (tmp4) ;
// ATSlocal_void (tmp5) ;
// ATSlocal_void (tmp6) ;
// ATSlocal_void (tmp7) ;
// ATSlocal_void (tmp8) ;
// ATSlocal_void (tmp9) ;
// ATSlocal_void (tmp10) ;
// ATSlocal_void (tmp11) ;
// ATSlocal_void (tmp12) ;
// ATSlocal_void (tmp13) ;
// ATSlocal_void (tmp14) ;
// ATSlocal_void (tmp15) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_ats_ccomp_header:
/* tmp1 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("/*\n")) ;
/* tmp2 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("** include runtime header files\n")) ;
/* tmp3 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("*/\n")) ;
/* tmp4 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("#ifndef _ATS_CCOMP_HEADER_NONE_\n")) ;
/* tmp5 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("#include \"pats_ccomp_config.h\"\n")) ;
/* tmp6 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("#include \"pats_ccomp_basics.h\"\n")) ;
/* tmp7 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("#include \"pats_ccomp_typedefs.h\"\n")) ;
/* tmp8 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("#include \"pats_ccomp_instrset.h\"\n")) ;
/* tmp9 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("#include \"pats_ccomp_memalloc.h\"\n")) ;
/* tmp10 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("#ifndef _ATS_CCOMP_EXCEPTION_NONE_\n")) ;
/* tmp11 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("#include \"pats_ccomp_memalloca.h\"\n")) ;
/* tmp12 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("#include \"pats_ccomp_exception.h\"\n")) ;
/* tmp13 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("#endif // end of [_ATS_CCOMP_EXCEPTION_NONE_]\n")) ;
/* tmp14 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("#endif /* _ATS_CCOMP_HEADER_NONE_ */\n")) ;
/* tmp15 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_newline (arg0) ;
/* tmp0 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_newline (arg0) ;
return /* (tmp0) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_ats_ccomp_header] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp_main.dats: 3248(line=116, offs=3) -- 6202(line=187, offs=4)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_ats_ccomp_prelude (ats_ptr_type arg0) {
/* local vardec */
// ATSlocal_void (tmp16) ;
// ATSlocal_void (tmp17) ;
// ATSlocal_void (tmp18) ;
// ATSlocal_void (tmp19) ;
// ATSlocal_void (tmp20) ;
// ATSlocal_void (tmp21) ;
// ATSlocal_void (tmp22) ;
// ATSlocal_void (tmp23) ;
// ATSlocal_void (tmp24) ;
// ATSlocal_void (tmp25) ;
// ATSlocal_void (tmp26) ;
// ATSlocal_void (tmp27) ;
// ATSlocal_void (tmp28) ;
// ATSlocal_void (tmp29) ;
// ATSlocal_void (tmp30) ;
// ATSlocal_void (tmp31) ;
// ATSlocal_void (tmp32) ;
// ATSlocal_void (tmp33) ;
// ATSlocal_void (tmp34) ;
// ATSlocal_void (tmp35) ;
// ATSlocal_void (tmp36) ;
// ATSlocal_void (tmp37) ;
// ATSlocal_void (tmp38) ;
// ATSlocal_void (tmp39) ;
// ATSlocal_void (tmp40) ;
// ATSlocal_void (tmp41) ;
// ATSlocal_void (tmp42) ;
// ATSlocal_void (tmp43) ;
// ATSlocal_void (tmp44) ;
// ATSlocal_void (tmp45) ;
// ATSlocal_void (tmp46) ;
// ATSlocal_void (tmp47) ;
// ATSlocal_void (tmp48) ;
// ATSlocal_void (tmp49) ;
// ATSlocal_void (tmp50) ;
// ATSlocal_void (tmp51) ;
// ATSlocal_void (tmp52) ;
// ATSlocal_void (tmp53) ;
// ATSlocal_void (tmp54) ;
// ATSlocal_void (tmp55) ;
// ATSlocal_void (tmp56) ;
// ATSlocal_void (tmp57) ;
// ATSlocal_void (tmp58) ;
// ATSlocal_void (tmp59) ;
// ATSlocal_void (tmp60) ;
// ATSlocal_void (tmp61) ;
// ATSlocal_void (tmp62) ;
// ATSlocal_void (tmp63) ;
// ATSlocal_void (tmp64) ;
// ATSlocal_void (tmp65) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_ats_ccomp_prelude:
/* tmp17 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("/*\n")) ;
/* tmp18 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("** include prelude cats files\n")) ;
/* tmp19 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("*/\n")) ;
/* tmp20 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("#ifndef _ATS_CCOMP_PRELUDE_NONE_\n")) ;
/* tmp21 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("//\n")) ;
/* tmp22 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("#include \"prelude/CATS/basics.cats\"\n")) ;
/* tmp23 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("#include \"prelude/CATS/integer.cats\"\n")) ;
/* tmp24 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("#include \"prelude/CATS/pointer.cats\"\n")) ;
/* tmp25 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("#include \"prelude/CATS/integer_long.cats\"\n")) ;
/* tmp26 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("#include \"prelude/CATS/integer_size.cats\"\n")) ;
/* tmp27 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("#include \"prelude/CATS/integer_short.cats\"\n")) ;
/* tmp28 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("#include \"prelude/CATS/bool.cats\"\n")) ;
/* tmp29 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("#include \"prelude/CATS/char.cats\"\n")) ;
/* tmp30 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("#include \"prelude/CATS/float.cats\"\n")) ;
/* tmp31 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("#include \"prelude/CATS/integer_ptr.cats\"\n")) ;
/* tmp32 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("#include \"prelude/CATS/integer_fixed.cats\"\n")) ;
/* tmp33 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("#include \"prelude/CATS/memory.cats\"\n")) ;
/* tmp34 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("#include \"prelude/CATS/string.cats\"\n")) ;
/* tmp35 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("#include \"prelude/CATS/strptr.cats\"\n")) ;
/* tmp36 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("//\n")) ;
/* tmp37 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("#include \"prelude/CATS/fprintf.cats\"\n")) ;
/* tmp38 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("//\n")) ;
/* tmp39 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("#include \"prelude/CATS/filebas.cats\"\n")) ;
/* tmp40 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("//\n")) ;
/* tmp41 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("#include \"prelude/CATS/list.cats\"\n")) ;
/* tmp42 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("#include \"prelude/CATS/option.cats\"\n")) ;
/* tmp43 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("#include \"prelude/CATS/array.cats\"\n")) ;
/* tmp44 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("#include \"prelude/CATS/arrayptr.cats\"\n")) ;
/* tmp45 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("#include \"prelude/CATS/arrayref.cats\"\n")) ;
/* tmp46 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("#include \"prelude/CATS/matrix.cats\"\n")) ;
/* tmp47 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("#include \"prelude/CATS/matrixptr.cats\"\n")) ;
/* tmp48 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("//\n")) ;
/* tmp49 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("#endif /* _ATS_CCOMP_PRELUDE_NONE_ */\n")) ;
/* tmp50 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("/*\n")) ;
/* tmp51 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("** for user-supplied prelude\n")) ;
/* tmp52 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("*/\n")) ;
/* tmp53 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("#ifdef _ATS_CCOMP_PRELUDE_USER_\n")) ;
/* tmp54 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("//\n")) ;
/* tmp55 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("#include _ATS_CCOMP_PRELUDE_USER_\n")) ;
/* tmp56 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("//\n")) ;
/* tmp57 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("#endif /* _ATS_CCOMP_PRELUDE_USER_ */\n")) ;
/* tmp58 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("/*\n")) ;
/* tmp59 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("** for user2-supplied prelude\n")) ;
/* tmp60 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("*/\n")) ;
/* tmp61 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("#ifdef _ATS_CCOMP_PRELUDE_USER2_\n")) ;
/* tmp62 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("//\n")) ;
/* tmp63 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("#include _ATS_CCOMP_PRELUDE_USER2_\n")) ;
/* tmp64 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("//\n")) ;
/* tmp65 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("#endif /* _ATS_CCOMP_PRELUDE_USER2_ */\n")) ;
/* tmp16 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_newline (arg0) ;
return /* (tmp16) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_ats_ccomp_prelude] */

/*
// /nix/store/rfja8ixrs5wb4kj3kiwlch1apnh7qgvy-ats-0.2.12/lib/ats-anairiats-0.2.12/prelude/DATS/reference.dats: 1828(line=57, offs=18) -- 1902(line=59, offs=4)
*/
ATSstaticdec()
ats_ptr_type
ref_01088_ats_ptr_type (ats_ptr_type arg0) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp67) ;
ATSlocal (ats_ptr_type, tmp68) ;

__ats_lab_ref_01088_ats_ptr_type:
/* ats_ptr_type tmp68 ; */
tmp68 = arg0 ;
tmp67 = atspre_ref_make_elt_tsz ((&tmp68), sizeof(ats_ptr_type)) ;
return (tmp67) ;
} /* end of [ref_01088_ats_ptr_type] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp_main.dats: 6499(line=208, offs=3) -- 6709(line=222, offs=4)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_main_2edats__the_dynconlst_get2 () {
/* local vardec */
ATSlocal (ats_ptr_type, tmp70) ;
ATSlocal (ats_ptr_type, tmp71) ;
ATSlocal (ats_ptr_type, tmp72) ;
ATSlocal (ats_ptr_type, tmp73) ;
ATSlocal (ats_ptr_type, tmp74) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_main_2edats__the_dynconlst_get2:
tmp71 = ats_ptrget_mac(ats_ptr_type, statmp66) ;
do {
/* branch: __ats_lab_0 */
__ats_lab_0_0:
if (tmp71 == (ats_sum_ptr_type)0) { goto __ats_lab_1_0 ; }
__ats_lab_0_1:
tmp72 = ats_caselptrlab_mac(anairiats_sum_1, tmp71, atslab_0) ;
tmp70 = tmp72 ;
break ;

/* branch: __ats_lab_1 */
__ats_lab_1_0:
// if (tmp71 != (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; }
__ats_lab_1_1:
tmp73 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__the_dynconlst_get () ;
tmp74 = ATS_MALLOC(sizeof(anairiats_sum_1)) ;
ats_selptrset_mac(anairiats_sum_1, tmp74, atslab_0, tmp73) ;
ats_ptrget_mac(ats_ptr_type, statmp66) = tmp74 ;
tmp70 = tmp73 ;
break ;
} while (0) ;
return (tmp70) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_main_2edats__the_dynconlst_get2] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp_main.dats: 6770(line=225, offs=19) -- 6801(line=225, offs=50)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_main_2edats__the_dynconlst_set2 (ats_ptr_type arg0) {
/* local vardec */
// ATSlocal_void (tmp75) ;
ATSlocal (ats_ptr_type, tmp76) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_main_2edats__the_dynconlst_set2:
tmp76 = ATS_MALLOC(sizeof(anairiats_sum_1)) ;
ats_selptrset_mac(anairiats_sum_1, tmp76, atslab_0, arg0) ;
ats_ptrget_mac(ats_ptr_type, statmp66) = tmp76 ;
return /* (tmp75) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_main_2edats__the_dynconlst_set2] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp_main.dats: 6835(line=227, offs=23) -- 6861(line=227, offs=49)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_main_2edats__the_dynconlst_initset2 () {
/* local vardec */
// ATSlocal_void (tmp77) ;
ATSlocal (ats_ptr_type, tmp78) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_main_2edats__the_dynconlst_initset2:
tmp78 = (ats_sum_ptr_type)0 ;
ats_ptrget_mac(ats_ptr_type, statmp66) = tmp78 ;
return /* (tmp77) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_main_2edats__the_dynconlst_initset2] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp_main.dats: 7048(line=241, offs=5) -- 7359(line=259, offs=4)
*/
ATSstaticdec()
ats_void_type
loop_7 (ats_ptr_type arg0, ats_ptr_type arg1, ats_int_type arg2) {
/* local vardec */
// ATSlocal_void (tmp80) ;
ATSlocal (ats_ptr_type, tmp81) ;
ATSlocal (ats_ptr_type, tmp82) ;
ATSlocal (ats_ptr_type, tmp83) ;
ATSlocal (ats_ptr_type, tmp84) ;
// ATSlocal_void (tmp85) ;
ATSlocal (ats_int_type, tmp86) ;

__ats_lab_loop_7:
do {
/* branch: __ats_lab_2 */
__ats_lab_2_0:
if (arg1 == (ats_sum_ptr_type)0) { goto __ats_lab_3_0 ; }
__ats_lab_2_1:
tmp81 = ats_caselptrlab_mac(anairiats_sum_2, arg1, atslab_0) ;
tmp82 = ats_caselptrlab_mac(anairiats_sum_2, arg1, atslab_1) ;
tmp83 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__funlab_get_funent (tmp81) ;
if (tmp83 == (ats_sum_ptr_type)0) { ats_caseof_failure_handle ("/tmp/ATS-Postiats/src/pats_ccomp_main.dats: 7169(line=250, offs=9) -- 7211(line=251, offs=29)") ; }
tmp84 = ats_caselptrlab_mac(anairiats_sum_1, tmp83, atslab_0) ;
/* tmp85 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_funent_ptype (arg0, tmp84) ;
tmp86 = atspre_add_int_int (arg2, 1) ;
arg0 = arg0 ;
arg1 = tmp82 ;
arg2 = tmp86 ;
goto __ats_lab_loop_7 ; // tail call
break ;

/* branch: __ats_lab_3 */
__ats_lab_3_0:
// if (arg1 != (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; }
__ats_lab_3_1:
break ;
} while (0) ;
return /* (tmp80) */ ;
} /* end of [loop_7] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp_main.dats: 7024(line=239, offs=22) -- 7407(line=263, offs=4)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_main_2edats__emit_funlablst_ptype (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp79) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_main_2edats__emit_funlablst_ptype:
/* tmp79 = */ loop_7 (arg0, arg1, 0) ;
return /* (tmp79) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_main_2edats__emit_funlablst_ptype] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp_main.dats: 7602(line=276, offs=5) -- 8237(line=304, offs=4)
*/
ATSstaticdec()
ats_void_type
loop_9 (ats_ptr_type arg0, ats_ptr_type arg1, ats_int_type arg2) {
/* local vardec */
// ATSlocal_void (tmp88) ;
ATSlocal (ats_ptr_type, tmp89) ;
ATSlocal (ats_ptr_type, tmp90) ;
ATSlocal (ats_int_type, tmp91) ;
ATSlocal (ats_bool_type, tmp92) ;
ATSlocal (ats_bool_type, tmp93) ;
ATSlocal (ats_bool_type, tmp94) ;
ATSlocal (ats_ptr_type, tmp95) ;
ATSlocal (ats_ptr_type, tmp96) ;
ATSlocal (ats_ptr_type, tmp97) ;
// ATSlocal_void (tmp98) ;
ATSlocal (ats_int_type, tmp99) ;

__ats_lab_loop_9:
do {
/* branch: __ats_lab_4 */
__ats_lab_4_0:
if (arg1 != (ats_sum_ptr_type)0) { goto __ats_lab_5_0 ; }
__ats_lab_4_1:
break ;

/* branch: __ats_lab_5 */
__ats_lab_5_0:
// if (arg1 == (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; }
__ats_lab_5_1:
tmp89 = ats_caselptrlab_mac(anairiats_sum_2, arg1, atslab_0) ;
tmp90 = ats_caselptrlab_mac(anairiats_sum_2, arg1, atslab_1) ;
tmp91 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__funlab_get_tmpknd (tmp89) ;
tmp93 = atspre_gt_int_int (tmp91, 0) ;
if (tmp93) {
tmp92 = ats_true_bool ;
} else {
tmp92 = ats_false_bool ;
} /* end of [if] */
if (tmp92) {
tmp94 = ats_false_bool ;
} else {
tmp95 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__funlab_get_funclo (tmp89) ;
tmp94 = _2tmp_2ATS_2dPostiats_2src_2pats_basics_2esats__funclo_is_clo (tmp95) ;
} /* end of [if] */
tmp96 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__funlab_get_funent (tmp89) ;
if (tmp96 == (ats_sum_ptr_type)0) { ats_caseof_failure_handle ("/tmp/ATS-Postiats/src/pats_ccomp_main.dats: 8055(line=296, offs=9) -- 8089(line=296, offs=43)") ; }
tmp97 = ats_caselptrlab_mac(anairiats_sum_1, tmp96, atslab_0) ;
if (tmp94) {
/* tmp98 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_funent_closure (arg0, tmp97) ;
} else {
/* empty */
} /* end of [if] */
tmp99 = atspre_add_int_int (arg2, 1) ;
arg0 = arg0 ;
arg1 = tmp90 ;
arg2 = tmp99 ;
goto __ats_lab_loop_9 ; // tail call
break ;
} while (0) ;
return /* (tmp88) */ ;
} /* end of [loop_9] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp_main.dats: 7578(line=274, offs=3) -- 8285(line=308, offs=4)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_main_2edats__emit_funlablst_closure (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp87) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_main_2edats__emit_funlablst_closure:
/* tmp87 = */ loop_9 (arg0, arg1, 0) ;
return /* (tmp87) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_main_2edats__emit_funlablst_closure] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp_main.dats: 8482(line=321, offs=5) -- 9108(line=351, offs=4)
*/
ATSstaticdec()
ats_void_type
loop_11 (ats_ptr_type arg0, ats_ptr_type arg1, ats_int_type arg2) {
/* local vardec */
// ATSlocal_void (tmp101) ;
ATSlocal (ats_ptr_type, tmp102) ;
ATSlocal (ats_ptr_type, tmp103) ;
ATSlocal (ats_int_type, tmp104) ;
ATSlocal (ats_ptr_type, tmp105) ;
ATSlocal (ats_ptr_type, tmp106) ;
// ATSlocal_void (tmp107) ;
ATSlocal (ats_bool_type, tmp108) ;
// ATSlocal_void (tmp109) ;
// ATSlocal_void (tmp110) ;
ATSlocal (ats_bool_type, tmp111) ;
// ATSlocal_void (tmp112) ;
ATSlocal (ats_int_type, tmp113) ;

__ats_lab_loop_11:
do {
/* branch: __ats_lab_6 */
__ats_lab_6_0:
if (arg1 != (ats_sum_ptr_type)0) { goto __ats_lab_7_0 ; }
__ats_lab_6_1:
break ;

/* branch: __ats_lab_7 */
__ats_lab_7_0:
// if (arg1 == (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; }
__ats_lab_7_1:
tmp102 = ats_caselptrlab_mac(anairiats_sum_2, arg1, atslab_0) ;
tmp103 = ats_caselptrlab_mac(anairiats_sum_2, arg1, atslab_1) ;
tmp104 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__funlab_get_tmpknd (tmp102) ;
tmp105 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__funlab_get_funent (tmp102) ;
if (tmp105 == (ats_sum_ptr_type)0) { ats_caseof_failure_handle ("/tmp/ATS-Postiats/src/pats_ccomp_main.dats: 8667(line=334, offs=9) -- 8701(line=334, offs=43)") ; }
tmp106 = ats_caselptrlab_mac(anairiats_sum_1, tmp105, atslab_0) ;
tmp108 = atspre_gt_int_int (tmp104, 0) ;
if (tmp108) {
/* tmp107 = */ atspre_fprint_string (arg0, ATSstrcst("#if(0)\n")) ;
} else {
/* empty */
} /* end of [if] */
/* tmp109 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_funent_implmnt (arg0, tmp106) ;
tmp111 = atspre_gt_int_int (tmp104, 0) ;
if (tmp111) {
/* tmp110 = */ atspre_fprint_string (arg0, ATSstrcst("#endif // end of [TEMPLATE]\n")) ;
} else {
/* empty */
} /* end of [if] */
/* tmp112 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_newline (arg0) ;
tmp113 = atspre_add_int_int (arg2, 1) ;
arg0 = arg0 ;
arg1 = tmp103 ;
arg2 = tmp113 ;
goto __ats_lab_loop_11 ; // tail call
break ;
} while (0) ;
return /* (tmp101) */ ;
} /* end of [loop_11] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp_main.dats: 8458(line=319, offs=3) -- 9156(line=355, offs=4)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_main_2edats__emit_funlablst_implmnt (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp100) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_main_2edats__emit_funlablst_implmnt:
/* tmp100 = */ loop_11 (arg0, arg1, 0) ;
return /* (tmp100) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_main_2edats__emit_funlablst_implmnt] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp_main.dats: 9324(line=369, offs=1) -- 9545(line=381, offs=4)
*/
ATSstaticdec()
ats_void_type
auxlst_staticize_12 (ats_ptr_type arg0) {
/* local vardec */
// ATSlocal_void (tmp114) ;
ATSlocal (ats_ptr_type, tmp115) ;
ATSlocal (ats_ptr_type, tmp116) ;
// ATSlocal_void (tmp117) ;

__ats_lab_auxlst_staticize_12:
do {
/* branch: __ats_lab_8 */
__ats_lab_8_0:
if (arg0 != (ats_sum_ptr_type)0) { goto __ats_lab_9_0 ; }
__ats_lab_8_1:
break ;

/* branch: __ats_lab_9 */
__ats_lab_9_0:
// if (arg0 == (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; }
__ats_lab_9_1:
tmp115 = ats_caselptrlab_mac(anairiats_sum_2, arg0, atslab_0) ;
tmp116 = ats_caselptrlab_mac(anairiats_sum_2, arg0, atslab_1) ;
/* tmp117 = */ patsopt_tmpvar_set_topknd (tmp115, 1) ;
arg0 = tmp116 ;
goto __ats_lab_auxlst_staticize_12 ; // tail call
break ;
} while (0) ;
return /* (tmp114) */ ;
} /* end of [auxlst_staticize_12] */

/*
// /nix/store/rfja8ixrs5wb4kj3kiwlch1apnh7qgvy-ats-0.2.12/lib/ats-anairiats-0.2.12/prelude/DATS/unsafe.dats: 1763(line=50, offs=10) -- 1979(line=60, offs=2)
*/
ATSstaticdec()
ats_ptr_type
ptr0_get_01759_ats_ptr_type (ats_ptr_type arg0) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp122) ;

__ats_lab_ptr0_get_01759_ats_ptr_type:
tmp122 = ats_ptrget_mac(ats_ptr_type, ats_castfn_mac(ats_ptr_type, arg0)) ;
return (tmp122) ;
} /* end of [ptr0_get_01759_ats_ptr_type] */

/*
// /nix/store/rfja8ixrs5wb4kj3kiwlch1apnh7qgvy-ats-0.2.12/lib/ats-anairiats-0.2.12/prelude/DATS/unsafe.dats: 2430(line=82, offs=21) -- 2450(line=82, offs=41)
*/
ATSstaticdec()
ats_ptr_type
ptrget_01763_ats_ptr_type (ats_ptr_type arg0) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp121) ;

__ats_lab_ptrget_01763_ats_ptr_type:
tmp121 = ptr0_get_01759_ats_ptr_type (arg0) ;
return (tmp121) ;
} /* end of [ptrget_01763_ats_ptr_type] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp_main.dats: 9617(line=387, offs=3) -- 9789(line=396, offs=4)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_the_tmpdeclst (ats_ptr_type arg0) {
/* local vardec */
// ATSlocal_void (tmp118) ;
ATSlocal (ats_ptr_type, tmp119) ;
ATSlocal (ats_ptr_type, tmp120) ;
// ATSlocal_void (tmp123) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_the_tmpdeclst:
tmp119 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__the_toplevel_getref_tmpvarlst () ;
tmp120 = ptrget_01763_ats_ptr_type (tmp119) ;
/* tmp123 = */ auxlst_staticize_12 (tmp120) ;
/* tmp118 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_tmpdeclst (arg0, tmp120) ;
return /* (tmp118) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_the_tmpdeclst] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp_main.dats: 9904(line=404, offs=3) -- 10268(line=419, offs=4)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_the_dynconlst_extdec (ats_ptr_type arg0) {
/* local vardec */
// ATSlocal_void (tmp124) ;
// ATSlocal_void (tmp125) ;
// ATSlocal_void (tmp126) ;
// ATSlocal_void (tmp127) ;
ATSlocal (ats_ptr_type, tmp128) ;
// ATSlocal_void (tmp129) ;
// ATSlocal_void (tmp130) ;
// ATSlocal_void (tmp131) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_the_dynconlst_extdec:
/* tmp125 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("/*\n")) ;
/* tmp126 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("dynconlst-declaration(beg)\n")) ;
/* tmp127 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("*/\n")) ;
tmp128 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_main_2edats__the_dynconlst_get2 () ;
/* tmp129 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_d2conlst_extdec (arg0, tmp128) ;
/* tmp130 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("/*\n")) ;
/* tmp131 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("dynconlst-declaration(end)\n")) ;
/* tmp124 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("*/\n")) ;
return /* (tmp124) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_the_dynconlst_extdec] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp_main.dats: 10569(line=439, offs=3) -- 10785(line=454, offs=4)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_main_2edats__the_dyncstlst_get2 () {
/* local vardec */
ATSlocal (ats_ptr_type, tmp134) ;
ATSlocal (ats_ptr_type, tmp135) ;
ATSlocal (ats_ptr_type, tmp136) ;
ATSlocal (ats_ptr_type, tmp137) ;
ATSlocal (ats_ptr_type, tmp138) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_main_2edats__the_dyncstlst_get2:
tmp135 = ats_ptrget_mac(ats_ptr_type, statmp132) ;
do {
/* branch: __ats_lab_10 */
__ats_lab_10_0:
if (tmp135 == (ats_sum_ptr_type)0) { goto __ats_lab_11_0 ; }
__ats_lab_10_1:
tmp136 = ats_caselptrlab_mac(anairiats_sum_1, tmp135, atslab_0) ;
tmp134 = tmp136 ;
break ;

/* branch: __ats_lab_11 */
__ats_lab_11_0:
// if (tmp135 != (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; }
__ats_lab_11_1:
tmp137 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__the_dyncstlst_get () ;
tmp138 = ATS_MALLOC(sizeof(anairiats_sum_1)) ;
ats_selptrset_mac(anairiats_sum_1, tmp138, atslab_0, tmp137) ;
ats_ptrget_mac(ats_ptr_type, statmp132) = tmp138 ;
tmp134 = tmp137 ;
break ;
} while (0) ;
return (tmp134) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_main_2edats__the_dyncstlst_get2] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp_main.dats: 10846(line=457, offs=19) -- 10877(line=457, offs=50)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_main_2edats__the_dyncstlst_set2 (ats_ptr_type arg0) {
/* local vardec */
// ATSlocal_void (tmp139) ;
ATSlocal (ats_ptr_type, tmp140) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_main_2edats__the_dyncstlst_set2:
tmp140 = ATS_MALLOC(sizeof(anairiats_sum_1)) ;
ats_selptrset_mac(anairiats_sum_1, tmp140, atslab_0, arg0) ;
ats_ptrget_mac(ats_ptr_type, statmp132) = tmp140 ;
return /* (tmp139) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_main_2edats__the_dyncstlst_set2] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp_main.dats: 10911(line=459, offs=23) -- 10937(line=459, offs=49)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_main_2edats__the_dyncstlst_initset2 () {
/* local vardec */
// ATSlocal_void (tmp141) ;
ATSlocal (ats_ptr_type, tmp142) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_main_2edats__the_dyncstlst_initset2:
tmp142 = (ats_sum_ptr_type)0 ;
ats_ptrget_mac(ats_ptr_type, statmp132) = tmp142 ;
return /* (tmp141) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_main_2edats__the_dyncstlst_initset2] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp_main.dats: 11031(line=467, offs=3) -- 11395(line=482, offs=4)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_the_dyncstlst_extdec (ats_ptr_type arg0) {
/* local vardec */
// ATSlocal_void (tmp143) ;
// ATSlocal_void (tmp144) ;
// ATSlocal_void (tmp145) ;
// ATSlocal_void (tmp146) ;
ATSlocal (ats_ptr_type, tmp147) ;
// ATSlocal_void (tmp148) ;
// ATSlocal_void (tmp149) ;
// ATSlocal_void (tmp150) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_the_dyncstlst_extdec:
/* tmp144 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("/*\n")) ;
/* tmp145 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("dyncstlst-declaration(beg)\n")) ;
/* tmp146 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("*/\n")) ;
tmp147 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_main_2edats__the_dyncstlst_get2 () ;
/* tmp148 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_d2cstlst_extdec (arg0, tmp147) ;
/* tmp149 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("/*\n")) ;
/* tmp150 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("dyncstlst-declaration(end)\n")) ;
/* tmp143 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("*/\n")) ;
return /* (tmp143) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_the_dyncstlst_extdec] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp_main.dats: 11702(line=503, offs=3) -- 11911(line=518, offs=4)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_main_2edats__the_extcodelst_get2 () {
/* local vardec */
ATSlocal (ats_ptr_type, tmp153) ;
ATSlocal (ats_ptr_type, tmp154) ;
ATSlocal (ats_ptr_type, tmp155) ;
ATSlocal (ats_ptr_type, tmp156) ;
ATSlocal (ats_ptr_type, tmp157) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_main_2edats__the_extcodelst_get2:
tmp154 = ats_ptrget_mac(ats_ptr_type, statmp151) ;
do {
/* branch: __ats_lab_12 */
__ats_lab_12_0:
if (tmp154 == (ats_sum_ptr_type)0) { goto __ats_lab_13_0 ; }
__ats_lab_12_1:
tmp155 = ats_caselptrlab_mac(anairiats_sum_1, tmp154, atslab_0) ;
tmp153 = tmp155 ;
break ;

/* branch: __ats_lab_13 */
__ats_lab_13_0:
// if (tmp154 != (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; }
__ats_lab_13_1:
tmp156 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__the_extcodelst_get () ;
tmp157 = ATS_MALLOC(sizeof(anairiats_sum_1)) ;
ats_selptrset_mac(anairiats_sum_1, tmp157, atslab_0, tmp156) ;
ats_ptrget_mac(ats_ptr_type, statmp151) = tmp157 ;
tmp153 = tmp156 ;
break ;
} while (0) ;
return (tmp153) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_main_2edats__the_extcodelst_get2] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp_main.dats: 11974(line=521, offs=20) -- 12003(line=521, offs=49)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_main_2edats__the_extcodelst_set2 (ats_ptr_type arg0) {
/* local vardec */
// ATSlocal_void (tmp158) ;
ATSlocal (ats_ptr_type, tmp159) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_main_2edats__the_extcodelst_set2:
tmp159 = ATS_MALLOC(sizeof(anairiats_sum_1)) ;
ats_selptrset_mac(anairiats_sum_1, tmp159, atslab_0, arg0) ;
ats_ptrget_mac(ats_ptr_type, statmp151) = tmp159 ;
return /* (tmp158) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_main_2edats__the_extcodelst_set2] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp_main.dats: 12038(line=523, offs=24) -- 12062(line=523, offs=48)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_main_2edats__the_extcodelst_initset2 () {
/* local vardec */
// ATSlocal_void (tmp160) ;
ATSlocal (ats_ptr_type, tmp161) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_main_2edats__the_extcodelst_initset2:
tmp161 = (ats_sum_ptr_type)0 ;
ats_ptrget_mac(ats_ptr_type, statmp151) = tmp161 ;
return /* (tmp160) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_main_2edats__the_extcodelst_initset2] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp_main.dats: 12376(line=549, offs=3) -- 12584(line=563, offs=4)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_main_2edats__the_funlablst_get2 () {
/* local vardec */
ATSlocal (ats_ptr_type, tmp164) ;
ATSlocal (ats_ptr_type, tmp165) ;
ATSlocal (ats_ptr_type, tmp166) ;
ATSlocal (ats_ptr_type, tmp167) ;
ATSlocal (ats_ptr_type, tmp168) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_main_2edats__the_funlablst_get2:
tmp165 = ats_ptrget_mac(ats_ptr_type, statmp162) ;
do {
/* branch: __ats_lab_14 */
__ats_lab_14_0:
if (tmp165 == (ats_sum_ptr_type)0) { goto __ats_lab_15_0 ; }
__ats_lab_14_1:
tmp166 = ats_caselptrlab_mac(anairiats_sum_1, tmp165, atslab_0) ;
tmp164 = tmp166 ;
break ;

/* branch: __ats_lab_15 */
__ats_lab_15_0:
// if (tmp165 != (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; }
__ats_lab_15_1:
tmp167 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__the_funlablst_get () ;
tmp168 = ATS_MALLOC(sizeof(anairiats_sum_1)) ;
ats_selptrset_mac(anairiats_sum_1, tmp168, atslab_0, tmp167) ;
ats_ptrget_mac(ats_ptr_type, statmp162) = tmp168 ;
tmp164 = tmp167 ;
break ;
} while (0) ;
return (tmp164) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_main_2edats__the_funlablst_get2] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp_main.dats: 12645(line=566, offs=19) -- 12677(line=566, offs=51)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_main_2edats__the_funlablst_set2 (ats_ptr_type arg0) {
/* local vardec */
// ATSlocal_void (tmp169) ;
ATSlocal (ats_ptr_type, tmp170) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_main_2edats__the_funlablst_set2:
tmp170 = ATS_MALLOC(sizeof(anairiats_sum_1)) ;
ats_selptrset_mac(anairiats_sum_1, tmp170, atslab_0, arg0) ;
ats_ptrget_mac(ats_ptr_type, statmp162) = tmp170 ;
return /* (tmp169) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_main_2edats__the_funlablst_set2] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp_main.dats: 12711(line=568, offs=23) -- 12736(line=568, offs=48)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_main_2edats__the_funlablst_initset2 () {
/* local vardec */
// ATSlocal_void (tmp171) ;
ATSlocal (ats_ptr_type, tmp172) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_main_2edats__the_funlablst_initset2:
tmp172 = (ats_sum_ptr_type)0 ;
ats_ptrget_mac(ats_ptr_type, statmp162) = tmp172 ;
return /* (tmp171) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_main_2edats__the_funlablst_initset2] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp_main.dats: 12823(line=576, offs=3) -- 13018(line=587, offs=4)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_the_funlablst (ats_ptr_type arg0) {
/* local vardec */
// ATSlocal_void (tmp173) ;
ATSlocal (ats_ptr_type, tmp174) ;
// ATSlocal_void (tmp175) ;
// ATSlocal_void (tmp176) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_the_funlablst:
tmp174 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_main_2edats__the_funlablst_get2 () ;
/* tmp175 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_main_2edats__emit_funlablst_ptype (arg0, tmp174) ;
/* tmp176 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_main_2edats__emit_funlablst_closure (arg0, tmp174) ;
/* tmp173 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_main_2edats__emit_funlablst_implmnt (arg0, tmp174) ;
return /* (tmp173) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_the_funlablst] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp_main.dats: 13104(line=593, offs=3) -- 13247(line=602, offs=4)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_the_primdeclst (ats_ptr_type arg0) {
/* local vardec */
// ATSlocal_void (tmp177) ;
ATSlocal (ats_ptr_type, tmp178) ;
ATSlocal (ats_ptr_type, tmp179) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_the_primdeclst:
tmp178 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__the_toplevel_getref_primdeclst () ;
tmp179 = ptrget_01763_ats_ptr_type (tmp178) ;
/* tmp177 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_primdeclst (arg0, tmp179) ;
return /* (tmp177) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_the_primdeclst] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp_main.dats: 13313(line=609, offs=1) -- 14259(line=657, offs=4)
*/
ATSstaticdec()
ats_void_type
aux_29 (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp180) ;
ATSlocal (ats_ptr_type, tmp181) ;
ATSlocal (ats_ptr_type, tmp182) ;
ATSlocal (ats_ptr_type, tmp183) ;
ATSlocal (ats_ptr_type, tmp184) ;
ATSlocal (ats_ptr_type, tmp185) ;
ATSlocal (ats_ptr_type, tmp186) ;
// ATSlocal_void (tmp187) ;
// ATSlocal_void (tmp188) ;
// ATSlocal_void (tmp189) ;
// ATSlocal_void (tmp190) ;
ATSlocal (ats_ptr_type, tmp191) ;
ATSlocal (ats_ptr_type, tmp192) ;
// ATSlocal_void (tmp193) ;
ATSlocal (ats_int_type, tmp194) ;
ATSlocal (ats_ptr_type, tmp195) ;
ATSlocal (ats_bool_type, tmp196) ;

__ats_lab_aux_29:
tmp181 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_3, arg1), atslab_primdec_node) ;
do {
/* branch: __ats_lab_16 */
__ats_lab_16_0:
if (((ats_sum_ptr_type)tmp181)->tag != 10) { goto __ats_lab_19_0 ; }
__ats_lab_16_1:
tmp182 = ats_caselptrlab_mac(anairiats_sum_4, tmp181, atslab_0) ;
tmp183 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__hiimpdec_get_instrlstopt (tmp182) ;
do {
/* branch: __ats_lab_17 */
__ats_lab_17_0:
if (tmp183 != (ats_sum_ptr_type)0) { goto __ats_lab_18_0 ; }
__ats_lab_17_1:
break ;

/* branch: __ats_lab_18 */
__ats_lab_18_0:
// if (tmp183 == (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; }
__ats_lab_18_1:
tmp184 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_5, tmp182), atslab_hiimpdec_cst) ;
tmp185 = _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__d2cst_get2_hisexp (tmp184) ;
if (tmp185 == (ats_sum_ptr_type)0) { ats_caseof_failure_handle ("/tmp/ATS-Postiats/src/pats_ccomp_main.dats: 13618(line=630, offs=13) -- 13663(line=631, offs=34)") ; }
tmp186 = ats_caselptrlab_mac(anairiats_sum_1, tmp185, atslab_0) ;
/* tmp187 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("ATSdyncst_valimp(")) ;
/* tmp188 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_d2cst (arg0, tmp184) ;
/* tmp189 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst(", ")) ;
/* tmp190 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_hisexp (arg0, tmp186) ;
/* tmp180 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst(") ;\n")) ;
break ;
} while (0) ;
break ;

/* branch: __ats_lab_19 */
__ats_lab_19_0:
if (((ats_sum_ptr_type)tmp181)->tag != 15) { goto __ats_lab_20_0 ; }
__ats_lab_19_1:
tmp191 = ats_caselptrlab_mac(anairiats_sum_6, tmp181, atslab_0) ;
tmp192 = ats_caselptrlab_mac(anairiats_sum_6, tmp181, atslab_1) ;
/* tmp193 = */ auxlst_30 (arg0, tmp191) ;
/* tmp180 = */ auxlst_30 (arg0, tmp192) ;
break ;

/* branch: __ats_lab_20 */
__ats_lab_20_0:
if (((ats_sum_ptr_type)tmp181)->tag != 11) { goto __ats_lab_21_0 ; }
__ats_lab_20_1:
tmp194 = ats_caselptrlab_mac(anairiats_sum_7, tmp181, atslab_0) ;
tmp195 = ats_caselptrlab_mac(anairiats_sum_7, tmp181, atslab_1) ;
tmp196 = atspre_gt_int_int (tmp194, 0) ;
if (tmp196) {
/* tmp180 = */ auxlst_30 (arg0, tmp195) ;
} else {
/* empty */
} /* end of [if] */
break ;

/* branch: __ats_lab_21 */
__ats_lab_21_0:
__ats_lab_21_1:
break ;
} while (0) ;
return /* (tmp180) */ ;
} /* end of [aux_29] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp_main.dats: 14281(line=660, offs=1) -- 14480(line=672, offs=4)
*/
ATSstaticdec()
ats_void_type
auxlst_30 (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp197) ;
ATSlocal (ats_ptr_type, tmp198) ;
ATSlocal (ats_ptr_type, tmp199) ;
// ATSlocal_void (tmp200) ;

__ats_lab_auxlst_30:
do {
/* branch: __ats_lab_22 */
__ats_lab_22_0:
if (arg1 != (ats_sum_ptr_type)0) { goto __ats_lab_23_0 ; }
__ats_lab_22_1:
break ;

/* branch: __ats_lab_23 */
__ats_lab_23_0:
// if (arg1 == (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; }
__ats_lab_23_1:
tmp198 = ats_caselptrlab_mac(anairiats_sum_2, arg1, atslab_0) ;
tmp199 = ats_caselptrlab_mac(anairiats_sum_2, arg1, atslab_1) ;
/* tmp200 = */ aux_29 (arg0, tmp198) ;
arg0 = arg0 ;
arg1 = tmp199 ;
goto __ats_lab_auxlst_30 ; // tail call
break ;
} while (0) ;
return /* (tmp197) */ ;
} /* end of [auxlst_30] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp_main.dats: 14564(line=678, offs=3) -- 14992(line=697, offs=4)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_the_primdeclst_valimp (ats_ptr_type arg0) {
/* local vardec */
// ATSlocal_void (tmp201) ;
ATSlocal (ats_ptr_type, tmp202) ;
ATSlocal (ats_ptr_type, tmp203) ;
// ATSlocal_void (tmp204) ;
// ATSlocal_void (tmp205) ;
// ATSlocal_void (tmp206) ;
// ATSlocal_void (tmp207) ;
// ATSlocal_void (tmp208) ;
// ATSlocal_void (tmp209) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_the_primdeclst_valimp:
tmp202 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__the_toplevel_getref_primdeclst () ;
tmp203 = ptrget_01763_ats_ptr_type (tmp202) ;
/* tmp204 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("/*\n")) ;
/* tmp205 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("dynvalist-implementation(beg)\n")) ;
/* tmp206 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("*/\n")) ;
/* tmp207 = */ auxlst_30 (arg0, tmp203) ;
/* tmp208 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("/*\n")) ;
/* tmp209 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("dynvalist-implementation(end)\n")) ;
/* tmp201 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("*/\n")) ;
return /* (tmp201) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_the_primdeclst_valimp] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp_main.dats: 15567(line=740, offs=1) -- 16113(line=772, offs=4)
*/
ATSstaticdec()
ats_void_type
loop_33 (ats_ptr_type arg0) {
/* local vardec */
// ATSlocal_void (tmp213) ;
ATSlocal (ats_ptr_type, tmp214) ;
ATSlocal (ats_ptr_type, tmp215) ;
ATSlocal (ats_ptr_type, tmp216) ;
ATSlocal (ats_ptr_type, tmp218) ;
ATSlocal (ats_bool_type, tmp219) ;

__ats_lab_loop_33:
do {
/* branch: __ats_lab_24 */
__ats_lab_24_0:
if (arg0 != (ats_sum_ptr_type)0) { goto __ats_lab_25_0 ; }
__ats_lab_24_1:
break ;

/* branch: __ats_lab_25 */
__ats_lab_25_0:
// if (arg0 == (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; }
__ats_lab_25_1:
tmp214 = ats_caselptrlab_mac(anairiats_sum_2, arg0, atslab_0) ;
tmp215 = ats_caselptrlab_mac(anairiats_sum_2, arg0, atslab_1) ;
tmp216 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__funlab_get_d2copt (tmp214) ;
do {
/* branch: __ats_lab_26 */
__ats_lab_26_0:
if (tmp216 != (ats_sum_ptr_type)0) { goto __ats_lab_27_0 ; }
__ats_lab_26_1:
break ;

/* branch: __ats_lab_27 */
__ats_lab_27_0:
// if (tmp216 == (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; }
__ats_lab_27_1:
tmp218 = ats_caselptrlab_mac(anairiats_sum_1, tmp216, atslab_0) ;
tmp219 = _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__d2cst_is_mainats (tmp218) ;
if (tmp219) {
ats_ptrget_mac(ats_ptr_type, statmp210) = tmp216 ;
} else {
/* empty */
} /* end of [if] */
break ;
} while (0) ;
arg0 = tmp215 ;
goto __ats_lab_loop_33 ; // tail call
break ;
} while (0) ;
return /* (tmp213) */ ;
} /* end of [loop_33] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp_main.dats: 15490(line=731, offs=3) -- 16219(line=779, offs=4)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_main_2edats__the_mainats_initize () {
/* local vardec */
// ATSlocal_void (tmp212) ;
ATSlocal (ats_ptr_type, tmp220) ;
ATSlocal (ats_ptr_type, tmp221) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_main_2edats__the_mainats_initize:
tmp220 = (ats_sum_ptr_type)0 ;
ats_ptrget_mac(ats_ptr_type, statmp210) = tmp220 ;
tmp221 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_main_2edats__the_funlablst_get2 () ;
/* tmp212 = */ loop_33 (tmp221) ;
return /* (tmp212) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_main_2edats__the_mainats_initize] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp_main.dats: 16285(line=782, offs=23) -- 16309(line=782, offs=47)
*/
ATSglobaldec()
ats_ptr_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_main_2edats__the_mainats_d2copt_get () {
/* local vardec */
ATSlocal (ats_ptr_type, tmp222) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_main_2edats__the_mainats_d2copt_get:
tmp222 = ats_ptrget_mac(ats_ptr_type, statmp210) ;
return (tmp222) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_main_2edats__the_mainats_d2copt_get] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp_main.dats: 16423(line=793, offs=20) -- 16723(line=814, offs=4)
*/
ATSglobaldec()
ats_int_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_main_2edats__the_dynloadflag_get () {
/* local vardec */
ATSlocal (ats_int_type, tmp223) ;
ATSlocal (ats_int_type, tmp224) ;
ATSlocal (ats_bool_type, tmp225) ;
ATSlocal (ats_ptr_type, tmp226) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_main_2edats__the_dynloadflag_get:
tmp224 = _2tmp_2ATS_2dPostiats_2src_2pats_global_2esats__the_MAINATSFLAG_get () ;
tmp225 = atspre_eq_int_int (tmp224, 0) ;
if (tmp225) {
tmp226 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_main_2edats__the_mainats_d2copt_get () ;
do {
/* branch: __ats_lab_28 */
__ats_lab_28_0:
if (tmp226 == (ats_sum_ptr_type)0) { goto __ats_lab_29_0 ; }
__ats_lab_28_1:
tmp223 = -1 ;
break ;

/* branch: __ats_lab_29 */
__ats_lab_29_0:
// if (tmp226 != (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; }
__ats_lab_29_1:
tmp223 = _2tmp_2ATS_2dPostiats_2src_2pats_global_2esats__the_DYNLOADFLAG_get () ;
break ;
} while (0) ;
} else {
tmp223 = -1 ;
} /* end of [if] */
return (tmp223) ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_main_2edats__the_dynloadflag_get] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp_main.dats: 16877(line=824, offs=3) -- 17213(line=840, offs=4)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_main_2edats__emit_main_arglst_err (ats_ptr_type arg0, ats_int_type arg1) {
/* local vardec */
// ATSlocal_void (tmp227) ;
// ATSlocal_void (tmp228) ;
ATSlocal (ats_bool_type, tmp229) ;
// ATSlocal_void (tmp230) ;
ATSlocal (ats_bool_type, tmp231) ;
// ATSlocal_void (tmp232) ;
ATSlocal (ats_bool_type, tmp233) ;
ATSlocal (ats_bool_type, tmp234) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_main_2edats__emit_main_arglst_err:
tmp229 = atspre_gte_int_int (arg1, 1) ;
if (tmp229) {
/* tmp228 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("argc")) ;
} else {
/* empty */
} /* end of [if] */
tmp231 = atspre_gte_int_int (arg1, 2) ;
if (tmp231) {
/* tmp230 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst(", argv")) ;
} else {
/* empty */
} /* end of [if] */
tmp233 = atspre_gte_int_int (arg1, 3) ;
if (tmp233) {
/* tmp232 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst(", envp")) ;
} else {
/* empty */
} /* end of [if] */
tmp234 = atspre_lte_int_int (arg1, 0) ;
if (tmp234) {
/* tmp227 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("err")) ;
} else {
/* tmp227 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst(", err")) ;
} /* end of [if] */
return /* (tmp227) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_main_2edats__emit_main_arglst_err] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp_main.dats: 17358(line=850, offs=3) -- 17452(line=854, offs=2)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_main_2edats__emit_dynload (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp235) ;
// ATSlocal_void (tmp236) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_main_2edats__emit_dynload:
/* tmp236 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_filename (arg0, arg1) ;
/* tmp235 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("__dynload")) ;
return /* (tmp235) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_main_2edats__emit_dynload] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp_main.dats: 17551(line=862, offs=3) -- 17649(line=866, offs=2)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_main_2edats__emit_dynloadflag (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp237) ;
// ATSlocal_void (tmp238) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_main_2edats__emit_dynloadflag:
/* tmp238 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_filename (arg0, arg1) ;
/* tmp237 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("__dynloadflag")) ;
return /* (tmp237) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_main_2edats__emit_dynloadflag] */

/*
// /tmp/ATS-Postiats/src/pats_utils.dats: 15785(line=864, offs=3) -- 16991(line=932, offs=4)
*/
ATSstaticdec()
ats_ptr_type
tostring_fprint_03425_ats_int_type (ats_ptr_type arg0, ats_ptr_type arg1, ats_int_type arg2) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp240) ;
ATSlocal (ats_ptr_type, tmp241) ;
ATSlocal (ats_int_type, tmp242) ;
ATSlocal (ats_ptr_type, tmp243) ;
ATSlocal (ats_int_type, tmp244) ;
ATSlocal (ats_bool_type, tmp245) ;
ATSlocal (ats_ptr_type, tmp246) ;
ATSlocal (ats_ptr_type, tmp247) ;
// ATSlocal_void (tmp248) ;
ATSlocal (ats_int_type, tmp249) ;
ATSlocal (ats_int_type, tmp250) ;
ATSlocal (ats_ptr_type, tmp251) ;
ATSlocal (ats_int_type, tmp252) ;
ATSlocal (ats_int_type, tmp253) ;
// ATSlocal_void (tmp254) ;
// ATSlocal_void (tmp255) ;

__ats_lab_tostring_fprint_03425_ats_int_type:
tmp241 = atspre_tostringf (ATSstrcst("%sXXXXXX"), arg0) ;
tmp243 = ats_varget_mac(ats_ptr_type, ats_castfn_mac(ats_ptr_type, tmp241)) ;
tmp242 = atslib_mkstemp (tmp243) ;
tmp244 = ats_selsin_mac(tmp242, atslab_1) ;
tmp245 = atspre_igte (tmp244, 0) ;
if (tmp245) {
tmp246 = fdopen (tmp244, "w") ;
tmp247 = ats_selsin_mac(tmp246, atslab_1) ;
/* tmp248 = */ ((ats_void_type(*)(ats_ptr_type, ats_int_type))arg1) (tmp247, arg2) ;
tmp249 = atslib_fflush_err (tmp247) ;
tmp250 = atslib_fseek_err (tmp247, 0L, SEEK_SET) ;
tmp251 = patsopt_file2strptr (tmp244) ;
tmp252 = atslib_fclose_err (tmp247) ;
tmp253 = atslib_unlink (ats_castfn_mac(ats_ptr_type, ats_castfn_mac(ats_ptr_type, ats_castfn_mac(ats_ptr_type, tmp241)))) ;
/* tmp254 = */ atspre_strptr_free (ats_castfn_mac(ats_ptr_type, ats_castfn_mac(ats_ptr_type, tmp241))) ;
tmp240 = tmp251 ;
} else {
/* tmp255 = */ atspre_strptr_free (ats_castfn_mac(ats_ptr_type, ats_castfn_mac(ats_ptr_type, tmp241))) ;
tmp240 = atspre_strptr_null () ;
} /* end of [if] */
return (tmp240) ;
} /* end of [tostring_fprint_03425_ats_int_type] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp_main.dats: 18045(line=892, offs=3) -- 18084(line=892, offs=42)
*/
ATSstaticdec()
ats_void_type
__ats_fun_41 (ats_ptr_type arg0, ats_int_type arg1) {
/* local vardec */
// ATSlocal_void (tmp256) ;

__ats_lab___ats_fun_41:
/* tmp256 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_the_tmpdeclst (arg0) ;
return /* (tmp256) */ ;
} /* end of [__ats_fun_41] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp_main.dats: 17966(line=887, offs=1) -- 18089(line=893, offs=2)
*/
ATSstaticdec()
ats_ptr_type
the_tmpdeclst_stringize_39 () {
/* local vardec */
ATSlocal (ats_ptr_type, tmp239) ;

__ats_lab_the_tmpdeclst_stringize_39:
tmp239 = tostring_fprint_03425_ats_int_type (ATSstrcst("postiats_tmpdeclst_"), &__ats_fun_41, 0) ;
return (tmp239) ;
} /* end of [the_tmpdeclst_stringize_39] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp_main.dats: 18212(line=901, offs=3) -- 18252(line=901, offs=43)
*/
ATSstaticdec()
ats_void_type
__ats_fun_43 (ats_ptr_type arg0, ats_int_type arg1) {
/* local vardec */
// ATSlocal_void (tmp258) ;

__ats_lab___ats_fun_43:
/* tmp258 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_the_primdeclst (arg0) ;
return /* (tmp258) */ ;
} /* end of [__ats_fun_43] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp_main.dats: 18131(line=896, offs=1) -- 18257(line=902, offs=2)
*/
ATSstaticdec()
ats_ptr_type
the_primdeclst_stringize_42 () {
/* local vardec */
ATSlocal (ats_ptr_type, tmp257) ;

__ats_lab_the_primdeclst_stringize_42:
tmp257 = tostring_fprint_03425_ats_int_type (ATSstrcst("postiats_primdeclst_"), &__ats_fun_43, 0) ;
return (tmp257) ;
} /* end of [the_primdeclst_stringize_42] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp_main.dats: 18377(line=909, offs=26) -- 18416(line=909, offs=65)
*/
ATSstaticdec()
ats_void_type
__ats_fun_45 (ats_ptr_type arg0, ats_int_type arg1) {
/* local vardec */
// ATSlocal_void (tmp260) ;

__ats_lab___ats_fun_45:
/* tmp260 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_the_funlablst (arg0) ;
return /* (tmp260) */ ;
} /* end of [__ats_fun_45] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp_main.dats: 18299(line=905, offs=1) -- 18421(line=910, offs=2)
*/
ATSstaticdec()
ats_ptr_type
the_funlablst_stringize_44 () {
/* local vardec */
ATSlocal (ats_ptr_type, tmp259) ;

__ats_lab_the_funlablst_stringize_44:
tmp259 = tostring_fprint_03425_ats_int_type (ATSstrcst("postiats_funlablst_"), &__ats_fun_45, 0) ;
return (tmp259) ;
} /* end of [the_funlablst_stringize_44] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp_main.dats: 18511(line=916, offs=5) -- 18737(line=930, offs=4)
*/
ATSstaticdec()
ats_void_type
loop_47 (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp262) ;
ATSlocal (ats_ptr_type, tmp263) ;
ATSlocal (ats_ptr_type, tmp264) ;
// ATSlocal_void (tmp265) ;

__ats_lab_loop_47:
do {
/* branch: __ats_lab_30 */
__ats_lab_30_0:
if (arg1 != (ats_sum_ptr_type)0) { goto __ats_lab_31_0 ; }
__ats_lab_30_1:
break ;

/* branch: __ats_lab_31 */
__ats_lab_31_0:
// if (arg1 == (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; }
__ats_lab_31_1:
tmp263 = ats_caselptrlab_mac(anairiats_sum_2, arg1, atslab_0) ;
tmp264 = ats_caselptrlab_mac(anairiats_sum_2, arg1, atslab_1) ;
/* tmp265 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_staload (arg0, tmp263) ;
arg0 = arg0 ;
arg1 = tmp264 ;
goto __ats_lab_loop_47 ; // tail call
break ;
} while (0) ;
return /* (tmp262) */ ;
} /* end of [loop_47] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp_main.dats: 18463(line=913, offs=1) -- 19065(line=944, offs=4)
*/
ATSstaticdec()
ats_void_type
aux_staload_46 (ats_ptr_type arg0) {
/* local vardec */
// ATSlocal_void (tmp261) ;
// ATSlocal_void (tmp266) ;
// ATSlocal_void (tmp267) ;
// ATSlocal_void (tmp268) ;
// ATSlocal_void (tmp269) ;
ATSlocal (ats_ptr_type, tmp270) ;
// ATSlocal_void (tmp271) ;
// ATSlocal_void (tmp272) ;

__ats_lab_aux_staload_46:
/* tmp266 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("/*\n")) ;
/* tmp267 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("staload-prologues(beg)\n")) ;
/* tmp268 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("*/\n")) ;
tmp270 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__the_staloadlst_get () ;
/* tmp269 = */ loop_47 (arg0, tmp270) ;
/* tmp271 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("/*\n")) ;
/* tmp272 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("staload-prologues(end)\n")) ;
/* tmp261 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("*/\n")) ;
return /* (tmp261) */ ;
} /* end of [aux_staload_46] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp_main.dats: 19147(line=950, offs=5) -- 19770(line=981, offs=4)
*/
ATSstaticdec()
ats_void_type
loop_49 (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp274) ;
ATSlocal (ats_ptr_type, tmp275) ;
ATSlocal (ats_ptr_type, tmp276) ;
ATSlocal (ats_ptr_type, tmp277) ;
ATSlocal (ats_ptr_type, tmp278) ;
// ATSlocal_void (tmp279) ;
// ATSlocal_void (tmp280) ;
// ATSlocal_void (tmp281) ;
// ATSlocal_void (tmp282) ;
// ATSlocal_void (tmp283) ;
// ATSlocal_void (tmp284) ;
// ATSlocal_void (tmp285) ;

__ats_lab_loop_49:
do {
/* branch: __ats_lab_32 */
__ats_lab_32_0:
if (arg1 != (ats_sum_ptr_type)0) { goto __ats_lab_33_0 ; }
__ats_lab_32_1:
break ;

/* branch: __ats_lab_33 */
__ats_lab_33_0:
// if (arg1 == (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; }
__ats_lab_33_1:
tmp275 = ats_caselptrlab_mac(anairiats_sum_2, arg1, atslab_0) ;
tmp276 = ats_caselptrlab_mac(anairiats_sum_2, arg1, atslab_1) ;
tmp277 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_8, tmp275), atslab_hidecl_node) ;
if (((ats_sum_ptr_type)tmp277)->tag != 18) { ats_caseof_failure_handle ("/tmp/ATS-Postiats/src/pats_ccomp_main.dats: 19282(line=962, offs=9) -- 19314(line=962, offs=41)") ; }
tmp278 = ats_caselptrlab_mac(anairiats_sum_4, tmp277, atslab_0) ;
/* tmp279 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("ATSdynloadflag_init(")) ;
/* tmp280 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_filename (arg0, tmp278) ;
/* tmp281 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("__dynloadflag) ;\n")) ;
/* tmp282 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("ATSextern()\n")) ;
/* tmp283 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("atsvoid_t0ype\n")) ;
/* tmp284 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_filename (arg0, tmp278) ;
/* tmp285 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("__dynload(/*void*/) ;\n")) ;
arg0 = arg0 ;
arg1 = tmp276 ;
goto __ats_lab_loop_49 ; // tail call
break ;
} while (0) ;
return /* (tmp274) */ ;
} /* end of [loop_49] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp_main.dats: 19095(line=947, offs=1) -- 19831(line=985, offs=4)
*/
ATSstaticdec()
ats_void_type
aux_dynload_ext_48 (ats_ptr_type arg0) {
/* local vardec */
// ATSlocal_void (tmp273) ;
ATSlocal (ats_ptr_type, tmp286) ;

__ats_lab_aux_dynload_ext_48:
tmp286 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__the_dynloadlst_get () ;
/* tmp273 = */ loop_49 (arg0, tmp286) ;
return /* (tmp273) */ ;
} /* end of [aux_dynload_ext_48] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp_main.dats: 19865(line=988, offs=1) -- 20622(line=1034, offs=4)
*/
ATSstaticdec()
ats_void_type
aux_dynload_ias_50 (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp287) ;
ATSlocal (ats_ptr_type, tmp288) ;
ATSlocal (ats_bool_type, tmp289) ;
// ATSlocal_void (tmp290) ;
// ATSlocal_void (tmp291) ;
// ATSlocal_void (tmp292) ;
// ATSlocal_void (tmp293) ;
// ATSlocal_void (tmp294) ;
// ATSlocal_void (tmp295) ;
// ATSlocal_void (tmp296) ;
// ATSlocal_void (tmp297) ;
// ATSlocal_void (tmp298) ;
// ATSlocal_void (tmp299) ;

__ats_lab_aux_dynload_ias_50:
tmp288 = _2tmp_2ATS_2dPostiats_2src_2pats_global_2esats__the_DYNLOADNAME_get () ;
tmp289 = atspre_stropt_is_some (tmp288) ;
if (tmp289) {
/* tmp290 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("ATSextern()\n")) ;
/* tmp291 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("atsvoid_t0ype\n")) ;
/* tmp292 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ats_castfn_mac(ats_ptr_type, tmp288)) ;
/* tmp293 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("()\n{\n")) ;
/* tmp294 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("ATSfunbody_beg()\n")) ;
/* tmp295 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("ATSINSmove_void(tmpret_void, ")) ;
/* tmp296 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_main_2edats__emit_dynload (arg0, arg1) ;
/* tmp297 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("()) ;\n")) ;
/* tmp298 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("ATSfunbody_end()\n")) ;
/* tmp299 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("ATSreturn_void(tmpret_void) ;\n")) ;
/* tmp287 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("} // end-of-dynload-alias\n")) ;
} else {
/* empty */
} /* end of [if] */
return /* (tmp287) */ ;
} /* end of [aux_dynload_ias_50] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp_main.dats: 20656(line=1037, offs=1) -- 22810(line=1144, offs=4)
*/
ATSstaticdec()
ats_void_type
aux_dynload_def_51 (ats_ptr_type arg0, ats_ptr_type arg1, ats_ptr_type arg2) {
/* local vardec */
// ATSlocal_void (tmp300) ;
ATSlocal (ats_int_type, tmp301) ;
// ATSlocal_void (tmp302) ;
ATSlocal (ats_bool_type, tmp303) ;
// ATSlocal_void (tmp304) ;
// ATSlocal_void (tmp305) ;
// ATSlocal_void (tmp306) ;
// ATSlocal_void (tmp307) ;
ATSlocal (ats_bool_type, tmp308) ;
// ATSlocal_void (tmp309) ;
// ATSlocal_void (tmp310) ;
// ATSlocal_void (tmp311) ;
// ATSlocal_void (tmp312) ;
// ATSlocal_void (tmp313) ;
// ATSlocal_void (tmp314) ;
// ATSlocal_void (tmp315) ;
// ATSlocal_void (tmp316) ;
// ATSlocal_void (tmp317) ;
ATSlocal (ats_bool_type, tmp318) ;
// ATSlocal_void (tmp319) ;
ATSlocal (ats_bool_type, tmp320) ;
// ATSlocal_void (tmp321) ;
// ATSlocal_void (tmp322) ;
// ATSlocal_void (tmp323) ;
// ATSlocal_void (tmp324) ;
// ATSlocal_void (tmp325) ;
// ATSlocal_void (tmp326) ;
// ATSlocal_void (tmp327) ;
// ATSlocal_void (tmp328) ;
// ATSlocal_void (tmp329) ;
ATSlocal (ats_ptr_type, tmp330) ;
// ATSlocal_void (tmp331) ;
// ATSlocal_void (tmp332) ;
// ATSlocal_void (tmp333) ;
// ATSlocal_void (tmp334) ;
// ATSlocal_void (tmp335) ;
// ATSlocal_void (tmp336) ;
// ATSlocal_void (tmp337) ;
// ATSlocal_void (tmp338) ;
// ATSlocal_void (tmp339) ;
// ATSlocal_void (tmp340) ;
// ATSlocal_void (tmp341) ;
// ATSlocal_void (tmp342) ;
// ATSlocal_void (tmp343) ;
ATSlocal (ats_bool_type, tmp344) ;

__ats_lab_aux_dynload_def_51:
tmp301 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_main_2edats__the_dynloadflag_get () ;
tmp303 = atspre_eq_int_int (tmp301, 0) ;
if (tmp303) {
/* tmp302 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("#if(0)\n")) ;
} else {
/* empty */
} /* end of [if] */
/* tmp304 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("/*\n")) ;
/* tmp305 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("** for initialization(dynloading)")) ;
/* tmp306 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("\n*/\n")) ;
tmp308 = atspre_lte_int_int (tmp301, 0) ;
if (tmp308) {
/* tmp309 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("ATSdynloadflag_minit(")) ;
/* tmp310 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_main_2edats__emit_dynloadflag (arg0, arg1) ;
/* tmp307 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst(") ;\n")) ;
} else {
/* empty */
} /* end of [if] */
/* tmp311 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("ATSextern()\n")) ;
/* tmp312 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("atsvoid_t0ype\n")) ;
/* tmp313 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_main_2edats__emit_dynload (arg0, arg1) ;
/* tmp314 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("()\n{\n")) ;
/* tmp315 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("ATSfunbody_beg()\n")) ;
/* tmp316 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("ATSdynload(/*void*/)\n")) ;
tmp318 = atspre_lte_int_int (tmp301, 0) ;
if (tmp318) {
/* tmp317 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("ATSdynloadflag_sta(\n")) ;
} else {
/* empty */
} /* end of [if] */
tmp320 = atspre_gte_int_int (tmp301, 1) ;
if (tmp320) {
/* tmp319 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("ATSdynloadflag_ext(\n")) ;
} else {
/* empty */
} /* end of [if] */
/* tmp321 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_main_2edats__emit_dynloadflag (arg0, arg1) ;
/* tmp322 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("\n) ;\n")) ;
/* tmp323 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("ATSif(\n")) ;
/* tmp324 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("ATSCKiseqz(\n")) ;
/* tmp325 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_main_2edats__emit_dynloadflag (arg0, arg1) ;
/* tmp326 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("\n)\n) ATSthen() {\n")) ;
/* tmp327 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("ATSdynloadset(")) ;
/* tmp328 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_main_2edats__emit_dynloadflag (arg0, arg1) ;
/* tmp329 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst(") ;\n")) ;
tmp330 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_main_2edats__the_dynconlst_get2 () ;
/* tmp331 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("/*\n")) ;
/* tmp332 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("dynexnlst-initize(beg)\n")) ;
/* tmp333 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("*/\n")) ;
/* tmp334 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_d2conlst_initize (arg0, tmp330) ;
/* tmp335 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("/*\n")) ;
/* tmp336 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("dynexnlst-initize(end)\n")) ;
/* tmp337 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("*/\n")) ;
/* tmp338 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, arg2) ;
/* tmp339 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("} /* ATSendif */\n")) ;
/* tmp340 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("ATSfunbody_end()\n")) ;
/* tmp341 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("ATSreturn_void(tmpret_void) ;\n")) ;
/* tmp342 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("} /* end of [*_dynload] */\n")) ;
/* tmp343 = */ aux_dynload_ias_50 (arg0, arg1) ;
tmp344 = atspre_eq_int_int (tmp301, 0) ;
if (tmp344) {
/* tmp300 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("#endif // end of [#if(0)]\n")) ;
} else {
/* empty */
} /* end of [if] */
return /* (tmp300) */ ;
} /* end of [aux_dynload_def_51] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp_main.dats: 22844(line=1147, offs=1) -- 24730(line=1205, offs=4)
*/
ATSstaticdec()
ats_void_type
aux_main_52 (ats_ptr_type arg0, ats_ptr_type arg1, ats_ptr_type arg2) {
/* local vardec */
// ATSlocal_void (tmp345) ;
// ATSlocal_void (tmp346) ;
// ATSlocal_void (tmp347) ;
// ATSlocal_void (tmp348) ;
// ATSlocal_void (tmp349) ;
// ATSlocal_void (tmp350) ;
// ATSlocal_void (tmp351) ;
// ATSlocal_void (tmp352) ;
// ATSlocal_void (tmp353) ;
// ATSlocal_void (tmp354) ;
// ATSlocal_void (tmp355) ;
// ATSlocal_void (tmp356) ;
// ATSlocal_void (tmp357) ;
// ATSlocal_void (tmp358) ;
// ATSlocal_void (tmp359) ;
// ATSlocal_void (tmp360) ;
// ATSlocal_void (tmp361) ;
// ATSlocal_void (tmp362) ;
// ATSlocal_void (tmp363) ;
// ATSlocal_void (tmp364) ;
// ATSlocal_void (tmp365) ;
// ATSlocal_void (tmp366) ;
// ATSlocal_void (tmp367) ;
// ATSlocal_void (tmp368) ;
// ATSlocal_void (tmp369) ;
ATSlocal (ats_ptr_type, tmp370) ;
ATSlocal (ats_int_type, tmp371) ;
ATSlocal (ats_int_type, tmp372) ;
// ATSlocal_void (tmp373) ;
// ATSlocal_void (tmp374) ;
// ATSlocal_void (tmp375) ;
// ATSlocal_void (tmp376) ;
// ATSlocal_void (tmp377) ;
// ATSlocal_void (tmp378) ;
// ATSlocal_void (tmp379) ;
// ATSlocal_void (tmp380) ;

__ats_lab_aux_main_52:
/* tmp346 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("\n/*\n")) ;
/* tmp347 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("** the ATS runtime")) ;
/* tmp348 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("\n*/\n")) ;
/* tmp349 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("#ifndef _ATS_CCOMP_RUNTIME_NONE_\n")) ;
/* tmp350 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("#include \"pats_ccomp_runtime.c\"\n")) ;
/* tmp351 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("#include \"pats_ccomp_runtime_memalloc.c\"\n")) ;
/* tmp352 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("#ifndef _ATS_CCOMP_EXCEPTION_NONE_\n")) ;
/* tmp353 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("#include \"pats_ccomp_runtime2_dats.c\"\n")) ;
/* tmp354 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("#ifndef _ATS_CCOMP_RUNTIME_TRYWITH_NONE_\n")) ;
/* tmp355 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("#include \"pats_ccomp_runtime_trywith.c\"\n")) ;
/* tmp356 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("#endif /* _ATS_CCOMP_RUNTIME_TRYWITH_NONE_ */\n")) ;
/* tmp357 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("#endif // end of [_ATS_CCOMP_EXCEPTION_NONE_]\n")) ;
/* tmp358 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("#endif /* _ATS_CCOMP_RUNTIME_NONE_ */\n")) ;
/* tmp359 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("\n/*\n")) ;
/* tmp360 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("** the [main] implementation")) ;
/* tmp361 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("\n*/\n")) ;
/* tmp362 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("int\n")) ;
/* tmp363 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("main\n")) ;
/* tmp364 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("(\n")) ;
/* tmp365 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("int argc, char **argv, char **envp")) ;
/* tmp366 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("\n) {\n")) ;
/* tmp367 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("int err = 0 ;\n")) ;
/* tmp368 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_filename (arg0, arg1) ;
/* tmp369 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("__dynload() ;\n")) ;
tmp370 = _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__d2cst_get_artylst (arg2) ;
do {
/* branch: __ats_lab_34 */
__ats_lab_34_0:
if (tmp370 != (ats_sum_ptr_type)0) { goto __ats_lab_35_0 ; }
__ats_lab_34_1:
tmp371 = 0 ;
break ;

/* branch: __ats_lab_35 */
__ats_lab_35_0:
// if (tmp370 == (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; }
__ats_lab_35_1:
tmp372 = ats_caselptrlab_mac(anairiats_sum_9, tmp370, atslab_0) ;
tmp371 = tmp372 ;
break ;
} while (0) ;
/* tmp373 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("ATS")) ;
/* tmp374 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_d2cst (arg0, arg2) ;
/* tmp375 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_LPAREN (arg0) ;
/* tmp376 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_main_2edats__emit_main_arglst_err (arg0, tmp371) ;
/* tmp377 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_RPAREN (arg0) ;
/* tmp378 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst(" ;\n")) ;
/* tmp379 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("return (err) ;\n")) ;
/* tmp380 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("} /* end of [main] */")) ;
/* tmp345 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_newline (arg0) ;
return /* (tmp345) */ ;
} /* end of [aux_main_52] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp_main.dats: 24757(line=1208, offs=1) -- 24943(line=1221, offs=4)
*/
ATSstaticdec()
ats_void_type
aux_main_ifopt_53 (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp381) ;
ATSlocal (ats_ptr_type, tmp382) ;
ATSlocal (ats_ptr_type, tmp383) ;

__ats_lab_aux_main_ifopt_53:
tmp382 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_main_2edats__the_mainats_d2copt_get () ;
do {
/* branch: __ats_lab_36 */
__ats_lab_36_0:
if (tmp382 != (ats_sum_ptr_type)0) { goto __ats_lab_37_0 ; }
__ats_lab_36_1:
break ;

/* branch: __ats_lab_37 */
__ats_lab_37_0:
// if (tmp382 == (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; }
__ats_lab_37_1:
tmp383 = ats_caselptrlab_mac(anairiats_sum_1, tmp382, atslab_0) ;
/* tmp381 = */ aux_main_52 (arg0, arg1, tmp383) ;
break ;
} while (0) ;
return /* (tmp381) */ ;
} /* end of [aux_main_ifopt_53] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp_main.dats: 25108(line=1234, offs=1) -- 25455(line=1250, offs=4)
*/
ATSstaticdec()
ats_ptr_type
loop_55 (ats_ptr_type arg0, ats_ptr_type arg1, ats_ptr_type arg2) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp385) ;
ATSlocal (ats_ptr_type, tmp386) ;
ATSlocal (ats_ptr_type, tmp387) ;
ATSlocal (ats_ptr_type, tmp388) ;
ATSlocal (ats_int_type, tmp389) ;
ATSlocal (ats_bool_type, tmp390) ;
// ATSlocal_void (tmp391) ;

__ats_lab_loop_55:
do {
/* branch: __ats_lab_38 */
__ats_lab_38_0:
if (arg2 != (ats_sum_ptr_type)0) { goto __ats_lab_39_0 ; }
__ats_lab_38_1:
tmp385 = (ats_sum_ptr_type)0 ;
break ;

/* branch: __ats_lab_39 */
__ats_lab_39_0:
// if (arg2 == (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; }
__ats_lab_39_1:
tmp386 = ats_caselptrlab_mac(anairiats_sum_2, arg2, atslab_0) ;
tmp387 = ats_caselptrlab_mac(anairiats_sum_2, arg2, atslab_1) ;
tmp388 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_8, tmp386), atslab_hidecl_node) ;
if (((ats_sum_ptr_type)tmp388)->tag != 6) { ats_caseof_failure_handle ("/tmp/ATS-Postiats/src/pats_ccomp_main.dats: 25266(line=1243, offs=9) -- 25305(line=1243, offs=48)") ; }
tmp389 = ats_caselptrlab_mac(anairiats_sum_10, tmp388, atslab_1) ;
tmp390 = ((ats_bool_type(*)(ats_int_type))arg1) (tmp389) ;
if (tmp390) {
/* tmp391 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_extcode (arg0, tmp386) ;
arg0 = arg0 ;
arg1 = arg1 ;
arg2 = tmp387 ;
goto __ats_lab_loop_55 ; // tail call
} else {
tmp385 = arg2 ;
} /* end of [if] */
break ;
} while (0) ;
return (tmp385) ;
} /* end of [loop_55] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp_main.dats: 25030(line=1228, offs=1) -- 25600(line=1260, offs=4)
*/
ATSstaticdec()
ats_void_type
aux_extcodelst_if_54 (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp384) ;
ATSlocal (ats_ptr_type, tmp392) ;
ATSlocal (ats_ptr_type, tmp393) ;

__ats_lab_aux_extcodelst_if_54:
tmp393 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_main_2edats__the_extcodelst_get2 () ;
tmp392 = loop_55 (arg0, arg1, tmp393) ;
/* tmp384 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_main_2edats__the_extcodelst_set2 (tmp392) ;
return /* (tmp384) */ ;
} /* end of [aux_extcodelst_if_54] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp_main.dats: 25686(line=1267, offs=1) -- 25891(line=1280, offs=4)
*/
ATSstaticdec()
ats_void_type
loop_57 (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp395) ;
ATSlocal (ats_ptr_type, tmp396) ;
ATSlocal (ats_ptr_type, tmp397) ;
// ATSlocal_void (tmp398) ;

__ats_lab_loop_57:
do {
/* branch: __ats_lab_40 */
__ats_lab_40_0:
if (arg1 == (ats_sum_ptr_type)0) { goto __ats_lab_41_0 ; }
__ats_lab_40_1:
tmp396 = ats_caselptrlab_mac(anairiats_sum_2, arg1, atslab_0) ;
tmp397 = ats_caselptrlab_mac(anairiats_sum_2, arg1, atslab_1) ;
/* tmp398 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_exndec (arg0, tmp396) ;
arg0 = arg0 ;
arg1 = tmp397 ;
goto __ats_lab_loop_57 ; // tail call
break ;

/* branch: __ats_lab_41 */
__ats_lab_41_0:
// if (arg1 != (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; }
__ats_lab_41_1:
break ;
} while (0) ;
return /* (tmp395) */ ;
} /* end of [loop_57] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp_main.dats: 25636(line=1263, offs=1) -- 26590(line=1321, offs=4)
*/
ATSstaticdec()
ats_void_type
aux_exndeclst_56 (ats_ptr_type arg0) {
/* local vardec */
// ATSlocal_void (tmp394) ;
// ATSlocal_void (tmp399) ;
// ATSlocal_void (tmp400) ;
// ATSlocal_void (tmp401) ;
// ATSlocal_void (tmp402) ;
// ATSlocal_void (tmp403) ;
// ATSlocal_void (tmp404) ;
ATSlocal (ats_ptr_type, tmp405) ;
// ATSlocal_void (tmp406) ;
// ATSlocal_void (tmp407) ;
// ATSlocal_void (tmp408) ;

__ats_lab_aux_exndeclst_56:
/* tmp399 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("/*\n")) ;
/* tmp400 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("exnconlst-declaration(beg)\n")) ;
/* tmp401 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("*/\n")) ;
/* tmp402 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("#ifndef _ATS_CCOMP_EXCEPTION_NONE_\n")) ;
/* tmp403 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("ATSextern()\natsvoid_t0ype\nthe_atsexncon_initize\n(\n  atstype_exnconptr d2c, atstype_string exnmsg\n) ;\n")) ;
/* tmp404 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("#endif // end of [_ATS_CCOMP_EXCEPTION_NONE_]\n")) ;
tmp405 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__the_exndeclst_get () ;
/* tmp406 = */ loop_57 (arg0, tmp405) ;
/* tmp407 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("/*\n")) ;
/* tmp408 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("exnconlst-declaration(end)\n")) ;
/* tmp394 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("*/\n")) ;
return /* (tmp394) */ ;
} /* end of [aux_exndeclst_56] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp_main.dats: 26697(line=1332, offs=1) -- 26939(line=1350, offs=4)
*/
ATSstaticdec()
ats_void_type
loop_59 (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp410) ;
ATSlocal (ats_ptr_type, tmp411) ;
ATSlocal (ats_ptr_type, tmp412) ;
// ATSlocal_void (tmp413) ;

__ats_lab_loop_59:
do {
/* branch: __ats_lab_42 */
__ats_lab_42_0:
if (arg1 != (ats_sum_ptr_type)0) { goto __ats_lab_43_0 ; }
__ats_lab_42_1:
break ;

/* branch: __ats_lab_43 */
__ats_lab_43_0:
// if (arg1 == (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; }
__ats_lab_43_1:
tmp411 = ats_caselptrlab_mac(anairiats_sum_2, arg1, atslab_0) ;
tmp412 = ats_caselptrlab_mac(anairiats_sum_2, arg1, atslab_1) ;
/* tmp413 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_saspdec (arg0, tmp411) ;
arg0 = arg0 ;
arg1 = tmp412 ;
goto __ats_lab_loop_59 ; // tail call
break ;
} while (0) ;
return /* (tmp410) */ ;
} /* end of [loop_59] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp_main.dats: 26643(line=1326, offs=1) -- 27504(line=1380, offs=4)
*/
ATSstaticdec()
ats_void_type
aux_saspdeclst_58 (ats_ptr_type arg0) {
/* local vardec */
// ATSlocal_void (tmp409) ;
// ATSlocal_void (tmp414) ;
// ATSlocal_void (tmp415) ;
// ATSlocal_void (tmp416) ;
// ATSlocal_void (tmp417) ;
ATSlocal (ats_ptr_type, tmp418) ;
// ATSlocal_void (tmp419) ;
// ATSlocal_void (tmp420) ;
// ATSlocal_void (tmp421) ;
// ATSlocal_void (tmp422) ;

__ats_lab_aux_saspdeclst_58:
/* tmp414 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("/*\n")) ;
/* tmp415 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("assumelst-declaration(beg)\n")) ;
/* tmp416 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("*/\n")) ;
/* tmp417 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("#ifndef _ATS_CCOMP_ASSUME_CHECK_NONE_\n")) ;
tmp418 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__the_saspdeclst_get () ;
/* tmp419 = */ loop_59 (arg0, tmp418) ;
/* tmp420 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("#endif // #ifndef(_ATS_CCOMP_ASSUME_CHECK_NONE_)\n")) ;
/* tmp421 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("/*\n")) ;
/* tmp422 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("assumelst-declaration(end)\n")) ;
/* tmp409 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("*/\n")) ;
return /* (tmp409) */ ;
} /* end of [aux_saspdeclst_58] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp_main.dats: 27608(line=1388, offs=5) -- 27823(line=1401, offs=4)
*/
ATSstaticdec()
ats_void_type
loop_61 (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp424) ;
ATSlocal (ats_ptr_type, tmp425) ;
ATSlocal (ats_ptr_type, tmp426) ;
// ATSlocal_void (tmp427) ;

__ats_lab_loop_61:
do {
/* branch: __ats_lab_44 */
__ats_lab_44_0:
if (arg1 == (ats_sum_ptr_type)0) { goto __ats_lab_45_0 ; }
__ats_lab_44_1:
tmp425 = ats_caselptrlab_mac(anairiats_sum_2, arg1, atslab_0) ;
tmp426 = ats_caselptrlab_mac(anairiats_sum_2, arg1, atslab_1) ;
/* tmp427 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_extype (arg0, tmp425) ;
arg0 = arg0 ;
arg1 = tmp426 ;
goto __ats_lab_loop_61 ; // tail call
break ;

/* branch: __ats_lab_45 */
__ats_lab_45_0:
// if (arg1 != (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; }
__ats_lab_45_1:
break ;
} while (0) ;
return /* (tmp424) */ ;
} /* end of [loop_61] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp_main.dats: 27558(line=1385, offs=1) -- 28187(line=1416, offs=4)
*/
ATSstaticdec()
ats_void_type
aux_extypelst_60 (ats_ptr_type arg0) {
/* local vardec */
// ATSlocal_void (tmp423) ;
// ATSlocal_void (tmp428) ;
// ATSlocal_void (tmp429) ;
// ATSlocal_void (tmp430) ;
ATSlocal (ats_ptr_type, tmp431) ;
// ATSlocal_void (tmp432) ;
// ATSlocal_void (tmp433) ;
// ATSlocal_void (tmp434) ;

__ats_lab_aux_extypelst_60:
/* tmp428 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("/*\n")) ;
/* tmp429 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("extypelst-declaration(beg)\n")) ;
/* tmp430 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("*/\n")) ;
tmp431 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__the_extypelst_get () ;
/* tmp432 = */ loop_61 (arg0, tmp431) ;
/* tmp433 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("/*\n")) ;
/* tmp434 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("extypelst-declaration(end)\n")) ;
/* tmp423 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("*/\n")) ;
return /* (tmp423) */ ;
} /* end of [aux_extypelst_60] */

/*
// /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_01760_ats_ptr_type (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp447) ;

__ats_lab_ptr0_set_01760_ats_ptr_type:
ats_ptrget_mac(ats_ptr_type, ats_castfn_mac(ats_ptr_type, arg0)) = arg1 ;
return /* (tmp447) */ ;
} /* end of [ptr0_set_01760_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_01764_ats_ptr_type (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp446) ;

__ats_lab_ptrset_01764_ats_ptr_type:
/* tmp446 = */ ptr0_set_01760_ats_ptr_type (arg0, arg1) ;
return /* (tmp446) */ ;
} /* end of [ptrset_01764_ats_ptr_type] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp_main.dats: 29479(line=1481, offs=9) -- 29504(line=1481, offs=34)
*/
ATSstaticdec()
ats_bool_type
__ats_fun_65 (ats_int_type arg0) {
/* local vardec */
ATSlocal (ats_bool_type, tmp457) ;

__ats_lab___ats_fun_65:
tmp457 = atspre_eq_int_int (arg0, 1) ;
return (tmp457) ;
} /* end of [__ats_fun_65] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp_main.dats: 29821(line=1502, offs=9) -- 29846(line=1502, offs=34)
*/
ATSstaticdec()
ats_bool_type
__ats_fun_66 (ats_int_type arg0) {
/* local vardec */
ATSlocal (ats_bool_type, tmp466) ;

__ats_lab___ats_fun_66:
tmp466 = atspre_lt_int_int (arg0, 10) ;
return (tmp466) ;
} /* end of [__ats_fun_66] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp_main.dats: 29978(line=1510, offs=9) -- 30004(line=1510, offs=35)
*/
ATSstaticdec()
ats_bool_type
__ats_fun_67 (ats_int_type arg0) {
/* local vardec */
ATSlocal (ats_bool_type, tmp470) ;

__ats_lab___ats_fun_67:
tmp470 = atspre_lte_int_int (arg0, 10) ;
return (tmp470) ;
} /* end of [__ats_fun_67] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp_main.dats: 30488(line=1532, offs=24) -- 30514(line=1532, offs=50)
*/
ATSstaticdec()
ats_bool_type
__ats_fun_68 (ats_int_type arg0) {
/* local vardec */
ATSlocal (ats_bool_type, tmp479) ;

__ats_lab___ats_fun_68:
tmp479 = atspre_lte_int_int (arg0, 99) ;
return (tmp479) ;
} /* end of [__ats_fun_68] */

/*
// /tmp/ATS-Postiats/src/pats_ccomp_main.dats: 28260(line=1422, offs=1) -- 30704(line=1547, offs=4)
*/
ATSglobaldec()
ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__ccomp_main (ats_ptr_type arg0, ats_int_type arg1, ats_ptr_type arg2, ats_ptr_type arg3) {
/* local vardec */
// ATSlocal_void (tmp435) ;
// ATSlocal_void (tmp436) ;
// ATSlocal_void (tmp437) ;
// ATSlocal_void (tmp438) ;
// ATSlocal_void (tmp439) ;
// ATSlocal_void (tmp440) ;
// ATSlocal_void (tmp441) ;
// ATSlocal_void (tmp442) ;
ATSlocal (ats_ptr_type, tmp443) ;
ATSlocal (ats_ptr_type, tmp444) ;
// ATSlocal_void (tmp445) ;
ATSlocal (ats_ptr_type, tmp448) ;
ATSlocal (ats_ptr_type, tmp449) ;
ATSlocal (ats_ptr_type, tmp450) ;
// ATSlocal_void (tmp451) ;
ATSlocal (ats_ptr_type, tmp452) ;
ATSlocal (ats_ptr_type, tmp453) ;
ATSlocal (ats_ptr_type, tmp454) ;
// ATSlocal_void (tmp455) ;
// ATSlocal_void (tmp456) ;
// ATSlocal_void (tmp458) ;
// ATSlocal_void (tmp459) ;
// ATSlocal_void (tmp460) ;
// ATSlocal_void (tmp461) ;
// ATSlocal_void (tmp462) ;
// ATSlocal_void (tmp463) ;
// ATSlocal_void (tmp464) ;
// ATSlocal_void (tmp465) ;
// ATSlocal_void (tmp467) ;
// ATSlocal_void (tmp468) ;
// ATSlocal_void (tmp469) ;
// ATSlocal_void (tmp471) ;
// ATSlocal_void (tmp472) ;
// ATSlocal_void (tmp473) ;
// ATSlocal_void (tmp474) ;
// ATSlocal_void (tmp475) ;
// ATSlocal_void (tmp476) ;
// ATSlocal_void (tmp477) ;
// ATSlocal_void (tmp478) ;
// ATSlocal_void (tmp480) ;

__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__ccomp_main:
/* tmp436 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_main_2edats__the_dynconlst_initset2 () ;
/* tmp437 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_main_2edats__the_dyncstlst_initset2 () ;
/* tmp438 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_main_2edats__the_extcodelst_initset2 () ;
/* tmp439 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_main_2edats__the_funlablst_initset2 () ;
/* tmp440 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_time_stamp (arg0) ;
/* tmp441 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_ats_ccomp_header (arg0) ;
/* tmp442 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_ats_ccomp_prelude (arg0) ;
tmp443 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__hideclist_ccomp0 (arg3) ;
tmp444 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__the_toplevel_getref_primdeclst () ;
/* tmp445 = */ ptrset_01764_ats_ptr_type (tmp444, tmp443) ;
tmp448 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__primdeclst_get_tmpvarset (tmp443) ;
tmp449 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__tmpvarset_vt_listize_free (tmp448) ;
tmp450 = _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__the_toplevel_getref_tmpvarlst () ;
/* tmp451 = */ ptrset_01764_ats_ptr_type (tmp450, ats_castfn_mac(ats_ptr_type, tmp449)) ;
tmp452 = the_tmpdeclst_stringize_39 () ;
tmp453 = the_primdeclst_stringize_42 () ;
tmp454 = the_funlablst_stringize_44 () ;
/* tmp455 = */ aux_staload_46 (arg0) ;
/* tmp456 = */ aux_extcodelst_if_54 (arg0, &__ats_fun_65) ;
/* tmp458 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_the_typedeflst (arg0) ;
/* tmp459 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_the_dynconlst_extdec (arg0) ;
/* tmp460 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_the_dyncstlst_extdec (arg0) ;
/* tmp461 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_the_primdeclst_valimp (arg0) ;
/* tmp462 = */ aux_exndeclst_56 (arg0) ;
/* tmp463 = */ aux_extypelst_60 (arg0) ;
/* tmp464 = */ aux_saspdeclst_58 (arg0) ;
/* tmp465 = */ aux_extcodelst_if_54 (arg0, &__ats_fun_66) ;
/* tmp467 = */ atspre_fprint_strptr (arg0, tmp452) ;
/* tmp468 = */ atspre_strptr_free (tmp452) ;
/* tmp469 = */ aux_extcodelst_if_54 (arg0, &__ats_fun_67) ;
/* tmp471 = */ atspre_fprint_strptr (arg0, tmp454) ;
/* tmp472 = */ atspre_strptr_free (tmp454) ;
/* tmp473 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_main_2edats__the_mainats_initize () ;
/* tmp474 = */ aux_dynload_ext_48 (arg0) ;
/* tmp475 = */ aux_dynload_def_51 (arg0, arg2, ats_castfn_mac(ats_ptr_type, tmp453)) ;
/* tmp476 = */ atspre_strptr_free (tmp453) ;
/* tmp477 = */ aux_main_ifopt_53 (arg0, arg2) ;
/* tmp478 = */ aux_extcodelst_if_54 (arg0, &__ats_fun_68) ;
/* tmp480 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("\n/* ****** ****** */\n")) ;
/* tmp435 = */ _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__emit_text (arg0, ATSstrcst("\n/* end-of-compilation-unit */\n")) ;
return /* (tmp435) */ ;
} /* end of [_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__ccomp_main] */

/* static load function */

// extern ats_void_type _2tmp_2ATS_2dPostiats_2src_2pats_atspre_2edats__staload (void) ;
// extern ats_void_type ATS_2d0_2e2_2e12_2prelude_2SATS_2unsafe_2esats__staload (void) ;
extern ats_void_type ATS_2d0_2e2_2e12_2prelude_2DATS_2unsafe_2edats__staload (void) ;
extern ats_void_type _2tmp_2ATS_2dPostiats_2src_2pats_basics_2esats__staload (void) ;
extern ats_void_type _2tmp_2ATS_2dPostiats_2src_2pats_filename_2esats__staload (void) ;
extern ats_void_type _2tmp_2ATS_2dPostiats_2src_2pats_global_2esats__staload (void) ;
extern ats_void_type _2tmp_2ATS_2dPostiats_2src_2pats_staexp2_2esats__staload (void) ;
extern ats_void_type _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__staload (void) ;
extern ats_void_type _2tmp_2ATS_2dPostiats_2src_2pats_histaexp_2esats__staload (void) ;
extern ats_void_type _2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__staload (void) ;
extern ats_void_type _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__staload (void) ;
extern ats_void_type ATS_2d0_2e2_2e12_2libc_2SATS_2fcntl_2esats__staload (void) ;
extern ats_void_type ATS_2d0_2e2_2e12_2libc_2SATS_2stdio_2esats__staload (void) ;
extern ats_void_type ATS_2d0_2e2_2e12_2libc_2SATS_2stdlib_2esats__staload (void) ;
extern ats_void_type ATS_2d0_2e2_2e12_2libc_2SATS_2unistd_2esats__staload (void) ;
extern ats_void_type _2tmp_2ATS_2dPostiats_2src_2pats_utils_2esats__staload (void) ;
extern ats_void_type _2tmp_2ATS_2dPostiats_2src_2pats_utils_2edats__staload (void) ;

ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_main_2edats__staload () {
static int _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_main_2edats__staload_flag = 0 ;
if (_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_main_2edats__staload_flag) return ;
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_main_2edats__staload_flag = 1 ;

// _2tmp_2ATS_2dPostiats_2src_2pats_atspre_2edats__staload () ;
// ATS_2d0_2e2_2e12_2prelude_2SATS_2unsafe_2esats__staload () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2unsafe_2edats__staload () ;
_2tmp_2ATS_2dPostiats_2src_2pats_basics_2esats__staload () ;
_2tmp_2ATS_2dPostiats_2src_2pats_filename_2esats__staload () ;
_2tmp_2ATS_2dPostiats_2src_2pats_global_2esats__staload () ;
_2tmp_2ATS_2dPostiats_2src_2pats_staexp2_2esats__staload () ;
_2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__staload () ;
_2tmp_2ATS_2dPostiats_2src_2pats_histaexp_2esats__staload () ;
_2tmp_2ATS_2dPostiats_2src_2pats_hidynexp_2esats__staload () ;
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_2esats__staload () ;
ATS_2d0_2e2_2e12_2libc_2SATS_2fcntl_2esats__staload () ;
ATS_2d0_2e2_2e12_2libc_2SATS_2stdio_2esats__staload () ;
ATS_2d0_2e2_2e12_2libc_2SATS_2stdlib_2esats__staload () ;
ATS_2d0_2e2_2e12_2libc_2SATS_2unistd_2esats__staload () ;
_2tmp_2ATS_2dPostiats_2src_2pats_utils_2esats__staload () ;
_2tmp_2ATS_2dPostiats_2src_2pats_utils_2edats__staload () ;

return ;
} /* staload function */

/* dynamic load function */

// dynload flag declaration
extern ats_int_type _2tmp_2ATS_2dPostiats_2src_2pats_ccomp_main_2edats__dynload_flag ;

ats_void_type
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_main_2edats__dynload () {
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_main_2edats__dynload_flag = 1 ;
_2tmp_2ATS_2dPostiats_2src_2pats_ccomp_main_2edats__staload () ;

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

/* marking static variables for GC */
ATS_GC_MARKROOT(&statmp66, sizeof(ats_ptr_type)) ;
ATS_GC_MARKROOT(&statmp69, sizeof(ats_ptr_type)) ;
ATS_GC_MARKROOT(&statmp132, sizeof(ats_ptr_type)) ;
ATS_GC_MARKROOT(&statmp133, sizeof(ats_ptr_type)) ;
ATS_GC_MARKROOT(&statmp151, sizeof(ats_ptr_type)) ;
ATS_GC_MARKROOT(&statmp152, sizeof(ats_ptr_type)) ;
ATS_GC_MARKROOT(&statmp162, sizeof(ats_ptr_type)) ;
ATS_GC_MARKROOT(&statmp163, sizeof(ats_ptr_type)) ;
ATS_GC_MARKROOT(&statmp210, sizeof(ats_ptr_type)) ;
ATS_GC_MARKROOT(&statmp211, sizeof(ats_ptr_type)) ;

/* marking external values for GC */

/* code for dynamic loading */
statmp69 = (ats_sum_ptr_type)0 ;
statmp66 = ref_01088_ats_ptr_type (statmp69) ;
statmp133 = (ats_sum_ptr_type)0 ;
statmp132 = ref_01088_ats_ptr_type (statmp133) ;
statmp152 = (ats_sum_ptr_type)0 ;
statmp151 = ref_01088_ats_ptr_type (statmp152) ;
statmp163 = (ats_sum_ptr_type)0 ;
statmp162 = ref_01088_ats_ptr_type (statmp163) ;
statmp211 = (ats_sum_ptr_type)0 ;
statmp210 = ref_01088_ats_ptr_type (statmp211) ;
return ;
} /* end of [dynload function] */

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

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

/* end of [pats_ccomp_main_dats.c] */
