ats_void_type _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_trans2_sort_2edats__dynload () { _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_trans2_sort_2edats__dynload_flag = 1 ; _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_trans2_sort_2edats__staload () ; #ifdef _ATS_PROOFCHECK ATS_2d0_2e2_2e12_2prelude_2SATS_2list_2esats__list_length_is_nonnegative_prfck () ; ATS_2d0_2e2_2e12_2prelude_2SATS_2list_vt_2esats__list_vt_length_is_nonnegative_prfck () ; ATS_2d0_2e2_2e12_2prelude_2SATS_2array_2esats__array_v_takeout2_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_vt_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_vt_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_vt_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_vt_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_vt_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_vt_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2array_2edats____copy_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2array_2edats____free_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2array_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2array_2edats____assert_prfck () ; #endif /* _ATS_PROOFCHECK */ /* marking static variables for GC */ /* marking external values for GC */ /* code for dynamic loading */ return ; } /* end of [dynload function] */
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_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_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_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] */