ats_void_type _2home_2hwxi_2research_2Postiats_2git_2src_2pats_location_2edats__dynload () { _2home_2hwxi_2research_2Postiats_2git_2src_2pats_location_2edats__dynload_flag = 1 ; _2home_2hwxi_2research_2Postiats_2git_2src_2pats_location_2edats__staload () ; #ifdef _ATS_PROOFCHECK #endif /* _ATS_PROOFCHECK */ /* marking static variables for GC */ ATS_GC_MARKROOT(&statmp78, sizeof(ats_ptr_type)) ; /* marking external values for GC */ /* code for dynamic loading */ statmp78 = ATS_MALLOC(sizeof(anairiats_rec_0)) ; ats_selptrset_mac(anairiats_rec_0, statmp78, atslab_filename, _2home_2hwxi_2research_2Postiats_2git_2src_2pats_filename_2esats__filename_dummy) ; ats_selptrset_mac(anairiats_rec_0, statmp78, atslab_beg_ntot, -1L) ; ats_selptrset_mac(anairiats_rec_0, statmp78, atslab_beg_nrow, -1) ; ats_selptrset_mac(anairiats_rec_0, statmp78, atslab_beg_ncol, -1) ; ats_selptrset_mac(anairiats_rec_0, statmp78, atslab_end_ntot, -1L) ; ats_selptrset_mac(anairiats_rec_0, statmp78, atslab_end_nrow, -1) ; ats_selptrset_mac(anairiats_rec_0, statmp78, atslab_end_ncol, -1) ; ATS_GC_MARKROOT(&_2home_2hwxi_2research_2Postiats_2git_2src_2pats_location_2esats__location_dummy, sizeof(ats_ptr_type)) ; _2home_2hwxi_2research_2Postiats_2git_2src_2pats_location_2esats__location_dummy = statmp78 ; return ; } /* end of [dynload function] */
ats_void_type ATS_2d0_2e2_2e10_2ccomp_2runtime_2GCATS1_2gcats1_marking_2edats__dynload () { ATS_2d0_2e2_2e10_2ccomp_2runtime_2GCATS1_2gcats1_marking_2edats__dynload_flag = 1 ; ATS_2d0_2e2_2e10_2ccomp_2runtime_2GCATS1_2gcats1_marking_2edats__staload () ; #ifdef _ATS_PROOFCHECK #endif /* _ATS_PROOFCHECK */ /* marking static variables for GC */ ATS_GC_MARKROOT(&gcats1_marking_statmp43, sizeof(ats_ptr_type)) ; /* marking external values for GC */ /* code for dynamic loading */ #line 195 "gcats1_marking.dats" ATS_GC_MARKROOT(&the_markstackpagecnt, sizeof(ats_int_type)) ; the_markstackpagecnt = 0 ; #line 196 "gcats1_marking.dats" gcats1_marking_statmp43 = markstackpagelst_nil () ; #line 196 "gcats1_marking.dats" ATS_GC_MARKROOT(&the_markstackpagelst_fst, sizeof(ats_ptr_type)) ; the_markstackpagelst_fst = gcats1_marking_statmp43 ; #line 197 "gcats1_marking.dats" ATS_GC_MARKROOT(&the_markstackpagelst_cur, sizeof(ats_ptr_type)) ; the_markstackpagelst_cur = the_markstackpagelst_fst ; #line 198 "gcats1_marking.dats" ATS_GC_MARKROOT(&the_markstackposition, sizeof(ats_int_type)) ; the_markstackposition = 0 ; return ; } /* end of [dynload function] */
ats_void_type _2opt_2ats_2d0_2e2_2e9_2src_2ats_set_fun_2edats__dynload () { _2opt_2ats_2d0_2e2_2e9_2src_2ats_set_fun_2edats__dynload_flag = 1 ; _2opt_2ats_2d0_2e2_2e9_2src_2ats_set_fun_2edats__staload () ; #ifdef _ATS_PROOFCHECK #endif /* _ATS_PROOFCHECK */ /* marking static variables for GC */ ATS_GC_MARKROOT(&statmp0, sizeof(ats_ptr_type)) ; /* marking external values for GC */ /* code for dynamic loading */ statmp0 = (ats_sum_ptr_type)(&_2opt_2ats_2d0_2e2_2e9_2src_2ats_set_fun_2edats__E_0) ; ATS_GC_MARKROOT(&_2opt_2ats_2d0_2e2_2e9_2src_2ats_set_fun_2esats__set_nil, sizeof(ats_ptr_type)) ; _2opt_2ats_2d0_2e2_2e9_2src_2ats_set_fun_2esats__set_nil = statmp0 ; return ; } /* end of [dynload function] */
ats_void_type _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_basics_2edats__dynload () { _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_basics_2edats__dynload_flag = 1 ; _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_basics_2edats__staload () ; #ifdef _ATS_PROOFCHECK #endif /* _ATS_PROOFCHECK */ /* marking static variables for GC */ ATS_GC_MARKROOT(&statmp62, sizeof(ats_int_type)) ; /* marking external values for GC */ /* code for dynamic loading */ ATS_GC_MARKROOT(&_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_basics_2esats__VIEWT0YPE_knd, sizeof(ats_int_type)) ; _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_basics_2esats__VIEWT0YPE_knd = 3 ; /* ats_int_type statmp62 ; */ statmp62 = 0 ; /* statmp63 = */ atspre_vbox_make_view_ptr ((&statmp62)) ; /* statmp64 = ats_selsin_mac(statmp63, atslab_1) */ ; return ; } /* end of [dynload function] */
ats_void_type _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_trans1_effect_2edats__dynload () { _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_trans1_effect_2edats__dynload_flag = 1 ; _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_trans1_effect_2edats__staload () ; #ifdef _ATS_PROOFCHECK #endif /* _ATS_PROOFCHECK */ /* marking static variables for GC */ ATS_GC_MARKROOT(&statmp18, sizeof(ats_ptr_type)) ; /* marking external values for GC */ /* code for dynamic loading */ statmp18 = (ats_sum_ptr_type)0 ; return ; } /* end of [dynload function] */
ats_void_type ATS_2d0_2e2_2e10_2ccomp_2runtime_2GCATS1_2gcats1_top_2edats__dynload () { // ATS_2d0_2e2_2e10_2ccomp_2runtime_2GCATS1_2gcats1_top_2edats__dynload_flag = 1 ; ATS_2d0_2e2_2e10_2ccomp_2runtime_2GCATS1_2gcats1_top_2edats__staload () ; #ifdef _ATS_PROOFCHECK ATS_2d0_2e2_2e10_2prelude_2basics_dyn_2esats__file_mode_lte_w_w_prfck () ; #endif /* _ATS_PROOFCHECK */ /* marking static variables for GC */ ATS_GC_MARKROOT(&gcats1_top_statmp21, sizeof(ats_int_type)) ; /* marking external values for GC */ /* code for dynamic loading */ #line 244 "gcats1_top.dats" ATS_2d0_2e2_2e10_2ccomp_2runtime_2GCATS1_2gcats1_misc_2edats__dynload () ; #line 245 "gcats1_top.dats" ATS_2d0_2e2_2e10_2ccomp_2runtime_2GCATS1_2gcats1_freeitmlst_2edats__dynload () ; #line 246 "gcats1_top.dats" ATS_2d0_2e2_2e10_2ccomp_2runtime_2GCATS1_2gcats1_chunk_2edats__dynload () ; #line 247 "gcats1_top.dats" ATS_2d0_2e2_2e10_2ccomp_2runtime_2GCATS1_2gcats1_globalentry_2edats__dynload () ; #line 251 "gcats1_top.dats" ATS_2d0_2e2_2e10_2ccomp_2runtime_2GCATS1_2gcats1_marking_2edats__dynload () ; #line 252 "gcats1_top.dats" ATS_2d0_2e2_2e10_2ccomp_2runtime_2GCATS1_2gcats1_collecting_2edats__dynload () ; #line 253 "gcats1_top.dats" ATS_2d0_2e2_2e10_2ccomp_2runtime_2GCATS1_2gcats1_autops_2edats__dynload () ; #line 254 "gcats1_top.dats" ATS_2d0_2e2_2e10_2ccomp_2runtime_2GCATS1_2gcats1_manops_2edats__dynload () ; #line 263 "gcats1_top.dats" gcats1_top_statmp21 = gc_stack_dir_get () ; #line 264 "gcats1_top.dats" /* gcats1_top_statmp22 = */ gc_stack_beg_set (gcats1_top_statmp21) ; #line 281 "gcats1_top.dats" /* gcats1_top_statmp23 = */ the_markstack_extend (1) ; return ; } /* end of [dynload function] */
ats_void_type _2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_prec_2edats__dynload () { _2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_prec_2edats__dynload_flag = 1 ; _2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_prec_2edats__staload () ; #ifdef _ATS_PROOFCHECK #endif /* _ATS_PROOFCHECK */ /* marking static variables for GC */ ATS_GC_MARKROOT(&statmp1, sizeof(ats_int_type)) ; ATS_GC_MARKROOT(&statmp2, sizeof(ats_int_type)) ; ATS_GC_MARKROOT(&statmp3, sizeof(ats_int_type)) ; ATS_GC_MARKROOT(&statmp4, sizeof(ats_int_type)) ; ATS_GC_MARKROOT(&statmp5, sizeof(ats_int_type)) ; ATS_GC_MARKROOT(&statmp6, sizeof(ats_int_type)) ; ATS_GC_MARKROOT(&statmp7, sizeof(ats_int_type)) ; /* marking external values for GC */ /* code for dynamic loading */ ATS_GC_MARKROOT(&_2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__neginf_prec, sizeof(ats_int_type)) ; _2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__neginf_prec = -1000000 ; ATS_GC_MARKROOT(&_2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__posinf_prec, sizeof(ats_int_type)) ; _2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__posinf_prec = 1000000 ; ATS_GC_MARKROOT(&_2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__app_prec, sizeof(ats_int_type)) ; _2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__app_prec = 70 ; ATS_GC_MARKROOT(&_2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__select_prec, sizeof(ats_int_type)) ; _2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__select_prec = 80 ; statmp1 = atspre_add_int_int (_2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__app_prec, 1) ; ATS_GC_MARKROOT(&_2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__backslash_prec, sizeof(ats_int_type)) ; _2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__backslash_prec = statmp1 ; ATS_GC_MARKROOT(&_2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__infixtemp_prec, sizeof(ats_int_type)) ; _2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__infixtemp_prec = 0 ; ATS_GC_MARKROOT(&_2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__exi_prec_sta, sizeof(ats_int_type)) ; _2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__exi_prec_sta = 0 ; ATS_GC_MARKROOT(&_2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__uni_prec_sta, sizeof(ats_int_type)) ; _2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__uni_prec_sta = 0 ; ATS_GC_MARKROOT(&_2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__delay_prec_dyn, sizeof(ats_int_type)) ; _2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__delay_prec_dyn = 0 ; ATS_GC_MARKROOT(&_2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__exist_prec_dyn, sizeof(ats_int_type)) ; _2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__exist_prec_dyn = 0 ; statmp2 = atspre_sub_int_int (_2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__select_prec, 1) ; ATS_GC_MARKROOT(&_2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__ptrof_prec_dyn, sizeof(ats_int_type)) ; _2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__ptrof_prec_dyn = statmp2 ; ATS_GC_MARKROOT(&_2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__addrat_prec_dyn, sizeof(ats_int_type)) ; _2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__addrat_prec_dyn = _2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__ptrof_prec_dyn ; statmp3 = atspre_sub_int_int (_2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__app_prec, 1) ; ATS_GC_MARKROOT(&_2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__foldat_prec_dyn, sizeof(ats_int_type)) ; _2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__foldat_prec_dyn = statmp3 ; statmp4 = atspre_sub_int_int (_2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__app_prec, 1) ; ATS_GC_MARKROOT(&_2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__freeat_prec_dyn, sizeof(ats_int_type)) ; _2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__freeat_prec_dyn = statmp4 ; statmp5 = atspre_sub_int_int (_2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__app_prec, 1) ; ATS_GC_MARKROOT(&_2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__viewat_prec_dyn, sizeof(ats_int_type)) ; _2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__viewat_prec_dyn = statmp5 ; ATS_GC_MARKROOT(&_2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__invar_prec_sta, sizeof(ats_int_type)) ; _2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__invar_prec_sta = 1 ; statmp6 = atspre_sub_int_int (_2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__app_prec, 1) ; ATS_GC_MARKROOT(&_2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__qmark_prec_sta, sizeof(ats_int_type)) ; _2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__qmark_prec_sta = statmp6 ; statmp7 = atspre_sub_int_int (_2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__app_prec, 1) ; ATS_GC_MARKROOT(&_2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__qmarkbang_prec_sta, sizeof(ats_int_type)) ; _2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__qmarkbang_prec_sta = statmp7 ; ATS_GC_MARKROOT(&_2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__trans_prec_sta, sizeof(ats_int_type)) ; _2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__trans_prec_sta = 0 ; ATS_GC_MARKROOT(&_2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__deref_prec_dyn, sizeof(ats_int_type)) ; _2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__deref_prec_dyn = 100 ; return ; } /* end of [dynload function] */
ats_void_type _2home_2hwxi_2research_2Postiats_2git_2src_2pats_stamp_2edats__dynload () { _2home_2hwxi_2research_2Postiats_2git_2src_2pats_stamp_2edats__dynload_flag = 1 ; _2home_2hwxi_2research_2Postiats_2git_2src_2pats_stamp_2edats__staload () ; #ifdef _ATS_PROOFCHECK #endif /* _ATS_PROOFCHECK */ /* marking static variables for GC */ ATS_GC_MARKROOT(&statmp9, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp11, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp13, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp15, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp17, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp19, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp21, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp23, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp25, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp27, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp29, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp31, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp33, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp36, sizeof(ats_ptr_type)) ; /* marking external values for GC */ /* code for dynamic loading */ statmp9 = _2home_2hwxi_2research_2Postiats_2git_2src_2pats_counter_2esats__counter_make () ; statmp11 = _2home_2hwxi_2research_2Postiats_2git_2src_2pats_counter_2esats__counter_make () ; statmp13 = _2home_2hwxi_2research_2Postiats_2git_2src_2pats_counter_2esats__counter_make () ; statmp15 = _2home_2hwxi_2research_2Postiats_2git_2src_2pats_counter_2esats__counter_make () ; statmp17 = _2home_2hwxi_2research_2Postiats_2git_2src_2pats_counter_2esats__counter_make () ; statmp19 = _2home_2hwxi_2research_2Postiats_2git_2src_2pats_counter_2esats__counter_make () ; statmp21 = _2home_2hwxi_2research_2Postiats_2git_2src_2pats_counter_2esats__counter_make () ; statmp23 = _2home_2hwxi_2research_2Postiats_2git_2src_2pats_counter_2esats__counter_make () ; statmp25 = _2home_2hwxi_2research_2Postiats_2git_2src_2pats_counter_2esats__counter_make () ; statmp27 = _2home_2hwxi_2research_2Postiats_2git_2src_2pats_counter_2esats__counter_make () ; statmp29 = _2home_2hwxi_2research_2Postiats_2git_2src_2pats_counter_2esats__counter_make () ; statmp31 = _2home_2hwxi_2research_2Postiats_2git_2src_2pats_counter_2esats__counter_make () ; statmp33 = _2home_2hwxi_2research_2Postiats_2git_2src_2pats_counter_2esats__counter_make () ; statmp36 = __ats_fun_22_closure_make () ; return ; } /* end of [dynload function] */
ats_void_type _2home_2hwxi_2research_2Postiats_2git_2src_2pats_namespace_2edats__dynload () { _2home_2hwxi_2research_2Postiats_2git_2src_2pats_namespace_2edats__dynload_flag = 1 ; _2home_2hwxi_2research_2Postiats_2git_2src_2pats_namespace_2edats__staload () ; #ifdef _ATS_PROOFCHECK ATS_2d0_2e2_2e12_2prelude_2SATS_2list_2esats__list_length_is_nonnegative_prfck () ; ATS_2d0_2e2_2e12_2prelude_2SATS_2list_vt_2esats__list_vt_length_is_nonnegative_prfck () ; ATS_2d0_2e2_2e12_2prelude_2SATS_2array_2esats__array_v_takeout2_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_vt_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_vt_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_vt_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_vt_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_vt_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_vt_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2array_2edats____copy_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2array_2edats____free_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2array_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2array_2edats____assert_prfck () ; #endif /* _ATS_PROOFCHECK */ /* marking static variables for GC */ ATS_GC_MARKROOT(&statmp8, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp11, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp12, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp13, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp14, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp15, sizeof(ats_ptr_type)) ; /* marking external values for GC */ /* code for dynamic loading */ statmp11 = (ats_sum_ptr_type)0 ; statmp8 = ref_01088_ats_ptr_type (statmp11) ; statmp13 = (ats_sum_ptr_type)0 ; statmp12 = ref_01088_ats_ptr_type (statmp13) ; statmp15 = (ats_sum_ptr_type)0 ; statmp14 = ref_01088_ats_ptr_type (statmp15) ; return ; } /* end of [dynload function] */
ats_void_type _2home_2hwxi_2research_2Postiats_2git_2src_2pats_global_2edats__dynload () { _2home_2hwxi_2research_2Postiats_2git_2src_2pats_global_2edats__dynload_flag = 1 ; _2home_2hwxi_2research_2Postiats_2git_2src_2pats_global_2edats__staload () ; #ifdef _ATS_PROOFCHECK ATS_2d0_2e2_2e12_2prelude_2SATS_2list_2esats__list_length_is_nonnegative_prfck () ; ATS_2d0_2e2_2e12_2prelude_2SATS_2list_vt_2esats__list_vt_length_is_nonnegative_prfck () ; ATS_2d0_2e2_2e12_2prelude_2SATS_2array_2esats__array_v_takeout2_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_vt_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_vt_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_vt_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_vt_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_vt_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_vt_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2array_2edats____copy_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2array_2edats____free_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2array_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2array_2edats____assert_prfck () ; #endif /* _ATS_PROOFCHECK */ /* marking static variables for GC */ ATS_GC_MARKROOT(&statmp0, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp7, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp10, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp16, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp19, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp22, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp25, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp28, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp29, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp34, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp37, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp40, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp43, sizeof(ats_ptr_type)) ; /* marking external values for GC */ /* code for dynamic loading */ statmp0 = ref_01088_ats_ptr_type (atspre_stropt_none) ; statmp7 = ref_01088_ats_int_type (0) ; statmp10 = ref_01088_ats_ptr_type (atspre_null_ptr) ; statmp16 = ref_01088_ats_int_type (0) ; statmp19 = ref_01088_ats_ptr_type (atspre_stropt_none) ; statmp22 = ref_01088_ats_int_type (0) ; statmp25 = ref_01088_ats_ptr_type (atspre_stropt_none) ; statmp29 = (ats_sum_ptr_type)0 ; statmp28 = ref_01088_ats_ptr_type (statmp29) ; statmp34 = ref_01088_ats_int_type (0) ; statmp37 = ref_01088_ats_int_type (0) ; statmp40 = ref_01088_ats_int_type (1) ; statmp43 = ref_01088_ats_int_type (100) ; return ; } /* end of [dynload function] */
ats_void_type _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_trans3_env_lamlp_2edats__dynload () { _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_trans3_env_lamlp_2edats__dynload_flag = 1 ; _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_trans3_env_lamlp_2edats__staload () ; #ifdef _ATS_PROOFCHECK ATS_2d0_2e2_2e12_2prelude_2basics_dyn_2esats__unit_v_elim_prfck () ; ATS_2d0_2e2_2e12_2prelude_2SATS_2list_2esats__list_length_is_nonnegative_prfck () ; ATS_2d0_2e2_2e12_2prelude_2SATS_2list_vt_2esats__list_vt_length_is_nonnegative_prfck () ; ATS_2d0_2e2_2e12_2prelude_2SATS_2array_2esats__array_v_takeout2_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_vt_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_vt_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_vt_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_vt_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_vt_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_vt_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2array_2edats____copy_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2array_2edats____free_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2array_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2array_2edats____assert_prfck () ; #endif /* _ATS_PROOFCHECK */ /* marking static variables for GC */ ATS_GC_MARKROOT(&statmp1, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp4, sizeof(ats_ptr_type)) ; /* marking external values for GC */ /* code for dynamic loading */ statmp4 = (ats_sum_ptr_type)0 ; statmp1 = ref_01088_ats_ptr_type (statmp4) ; return ; } /* end of [dynload function] */
ats_void_type _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_trans3_env_svar_2edats__dynload () { _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_trans3_env_svar_2edats__dynload_flag = 1 ; _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_trans3_env_svar_2edats__staload () ; #ifdef _ATS_PROOFCHECK ATS_2d0_2e2_2e12_2prelude_2SATS_2list_2esats__list_length_is_nonnegative_prfck () ; ATS_2d0_2e2_2e12_2prelude_2SATS_2list_vt_2esats__list_vt_length_is_nonnegative_prfck () ; ATS_2d0_2e2_2e12_2prelude_2SATS_2array_2esats__array_v_takeout2_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_vt_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_vt_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_vt_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_vt_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_vt_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_vt_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2array_2edats____copy_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2array_2edats____free_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2array_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2array_2edats____assert_prfck () ; #endif /* _ATS_PROOFCHECK */ /* marking static variables for GC */ ATS_GC_MARKROOT(&statmp0, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp4, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp5, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp6, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp7, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp8, sizeof(ats_ptr_type)) ; /* marking external values for GC */ /* code for dynamic loading */ statmp4 = _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_staexp2_2esats__s2varbindmap_make_nil () ; statmp0 = ref_make_elt_01089_ats_ptr_type (statmp4) ; statmp6 = (ats_sum_ptr_type)0 ; statmp5 = ref_make_elt_01089_ats_ptr_type (statmp6) ; statmp8 = (ats_sum_ptr_type)0 ; statmp7 = ref_make_elt_01089_ats_ptr_type (statmp8) ; return ; } /* end of [dynload function] */