/* ** ** The C code is generated by ATS/Anairiats ** The compilation time is: 2017-1-4: 12h:54m ** */ /* 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/integer.cats" #include "prelude/CATS/sizetype.cats" #include "prelude/CATS/integer_ptr.cats" #include "prelude/CATS/integer_fixed.cats" #include "prelude/CATS/pointer.cats" #include "prelude/CATS/bool.cats" #include "prelude/CATS/char.cats" #include "prelude/CATS/byte.cats" #include "prelude/CATS/float.cats" #include "prelude/CATS/string.cats" #include "prelude/CATS/reference.cats" #include "prelude/CATS/lazy.cats" #include "prelude/CATS/lazy_vt.cats" #include "prelude/CATS/printf.cats" #include "prelude/CATS/list.cats" #include "prelude/CATS/option.cats" #include "prelude/CATS/array.cats" #include "prelude/CATS/matrix.cats" #endif /* _ATS_PRELUDE_NONE */ /* prologues from statically loaded files */ #include "pats_location.cats" #include "pats_location.cats" #include "pats_lexbuf.cats" #include "pats_location.cats" #include "pats_location.cats" #include "pats_location.cats" #include "pats_lexbuf.cats" #include "pats_location.cats" #include "pats_location.cats" #include "libc/CATS/time.cats" #include "libc/sys/CATS/types.cats" #include "libc/CATS/stdio.cats" #include "libc/sys/CATS/types.cats" #include "libc/CATS/fcntl.cats" #include "libc/sys/CATS/types.cats" #include "libc/CATS/fcntl.cats" #include "libc/sys/CATS/types.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_lexbuf.cats" #include "pats_location.cats" #include "pats_location.cats" #include "libc/CATS/fcntl.cats" #include "libc/sys/CATS/types.cats" /* external codes at top */ /* type definitions */ typedef struct { ats_ptr_type atslab_0 ; } anairiats_sum_0 ; /* external typedefs */ /* external dynamic constructor declarations */ 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) ; /* external dynamic constant declarations */ ATSextern_fun(ats_int_type, atspre_add_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_eq_int_int) (ats_int_type, ats_int_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_size_type, atspre_size1_of_int1) (ats_int_type) ; ATSextern_fun(ats_size_type, atspre_sub_size1_int1) (ats_size_type, ats_int_type) ; ATSextern_fun(ats_bool_type, atspre_gt_size1_int1) (ats_size_type, ats_int_type) ; ATSextern_fun(ats_ptr_type, atspre_ref_make_elt_tsz) (ats_ref_type, ats_size_type) ; ATSextern_fun(ats_bool_type, atspre_neq_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_ptr_type, atspre_tostringf) (ats_ptr_type, ...) ; ATSextern_fun(ats_ptr_type, atslib_fopen_exn) (ats_ptr_type, ats_ptr_type) ; ATSextern_fun(ats_void_type, atslib_fclose_exn) (ats_ptr_type) ; ATSextern_fun(ats_ptr_type, ATS_2d0_2e2_2e12_2prelude_2SATS_2filebas_2esats__char_list_vt_make_file) (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, _2home_2hwxi_2Research_2ATS_2dPostiats_2utils_2libatsynmark_2SATS_2libatsynmark_2esats__libatsynmark_filename_set_current) (ats_ptr_type) ; ATSextern_fun(ats_ptr_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2utils_2libatsynmark_2SATS_2libatsynmark_2esats__charlst_declitemize) (ats_int_type, ats_ptr_type) ; ATSextern_fun(ats_ptr_type, libatsynmark_string_pats2xhtmlize_bground) (ats_int_type, ats_ptr_type) ; ATSextern_fun(ats_time_type, atslib_time_get) () ; ATSextern_fun(ats_ptr_type, ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__atext_nil) () ; ATSextern_fun(ats_ptr_type, ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__atext_strcst) (ats_ptr_type) ; ATSextern_fun(ats_ptr_type, ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__atext_strsub) (ats_ptr_type) ; ATSextern_fun(ats_ptr_type, ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__atext_apptxt3) (ats_ptr_type, ats_ptr_type, ats_ptr_type) ; ATSextern_fun(ats_ptr_type, ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__atext_appstr3) (ats_ptr_type, ats_ptr_type, ats_ptr_type) ; ATSextern_fun(ats_ptr_type, ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__atext_strptr) (ats_ptr_type) ; ATSextern_fun(ats_ptr_type, ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__atext_filepath) (ats_ptr_type) ; ATSextern_fun(ats_void_type, ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__theAtextMap_insert_str) (ats_ptr_type, ats_ptr_type) ; ATSextern_fun(ats_void_type, ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__fprint_filsub) (ats_ptr_type, ats_ptr_type) ; ATSextern_fun(ats_ptr_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2share_2DOCUGEN_2declatext_2esats__theDecltitle_get) () ; ATSextern_fun(ats_ptr_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2share_2DOCUGEN_2declatext_2esats__decltitle) (ats_ptr_type) ; ATSextern_fun(ats_ptr_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2share_2DOCUGEN_2declatext_2esats__theDeclpreamble_get) () ; ATSextern_fun(ats_ptr_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2share_2DOCUGEN_2declatext_2esats__declpreamble) (ats_ptr_type) ; ATSextern_fun(ats_ptr_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2share_2DOCUGEN_2declatext_2esats__theDeclpostamble_get) () ; ATSextern_fun(ats_ptr_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2share_2DOCUGEN_2declatext_2esats__declnamesynop) (ats_ptr_type) ; ATSextern_fun(ats_void_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2share_2DOCUGEN_2declatext_2esats__theDeclrepLst_set) (ats_ptr_type) ; ATSextern_fun(ats_ptr_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2share_2DOCUGEN_2htmlgendecl_2esats__theDeclnameLst_make_menu) () ; ATSextern_fun(ats_ptr_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2share_2DOCUGEN_2htmlgendecl_2esats__theDeclitemLst_make_content) () ; ATSextern_fun(ats_void_type, atslib_qsort) (ats_ref_type, ats_size_type, ats_size_type, ats_ptr_type) ; ATSextern_fun(ats_void_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2dcontrib_2contrib_2libgmp_2SATS_2DOCUGEN_2htmlgendecl_atxt_2edats__theDeclrepLst_initize) (ats_ptr_type) ; ATSextern_fun(ats_ptr_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2dcontrib_2contrib_2libgmp_2SATS_2DOCUGEN_2htmlgendecl_atxt_2edats__srcfilename_get) () ; ATSextern_fun(ats_void_type, _2home_2hwxi_2Research_2ATS_2dPostiats_2dcontrib_2contrib_2libgmp_2SATS_2DOCUGEN_2htmlgendecl_atxt_2edats__htmlgendecl_initize) () ; /* external dynamic terminating constant declarations */ #ifdef _ATS_PROOFCHECK extern ats_void_type ATS_2d0_2e2_2e12_2prelude_2SATS_2list_2esats__list_length_is_nonnegative_prfck () ; extern ats_void_type ATS_2d0_2e2_2e12_2prelude_2SATS_2list_vt_2esats__list_vt_length_is_nonnegative_prfck () ; extern ats_void_type ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; extern ats_void_type ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; extern ats_void_type ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; extern ats_void_type ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; extern ats_void_type ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; extern ats_void_type ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; extern ats_void_type ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; extern ats_void_type ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; extern ats_void_type ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; extern ats_void_type ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; extern ats_void_type ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; extern ats_void_type ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; extern ats_void_type ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; extern ats_void_type ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; extern ats_void_type ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; extern ats_void_type ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; extern ats_void_type ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; extern ats_void_type ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; extern ats_void_type ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; extern ats_void_type ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; extern ats_void_type ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; extern ats_void_type ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; extern ats_void_type ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; extern ats_void_type ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; extern ats_void_type ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; extern ats_void_type ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; extern ats_void_type ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; extern ats_void_type ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; extern ats_void_type ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; extern ats_void_type ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; extern ats_void_type ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; extern ats_void_type ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; extern ats_void_type ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; extern ats_void_type ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; extern ats_void_type ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; extern ats_void_type ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; extern ats_void_type ATS_2d0_2e2_2e12_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 () ; #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 xmltagging_0 (ats_ptr_type arg0, ats_ptr_type arg1) ; static ats_ptr_type comment_1 (ats_ptr_type arg0) ; static ats_ptr_type ignore_2 (ats_ptr_type arg0) ; static ats_ptr_type ignoretxt_3 (ats_ptr_type arg0) ; static ats_ptr_type pcenter_4 (ats_ptr_type arg0) ; static ats_ptr_type stacode_5 (ats_ptr_type arg0) ; static ats_ptr_type dyncode_6 (ats_ptr_type arg0) ; static ats_ptr_type prfcode_7 (ats_ptr_type arg0) ; static ats_ptr_type keycode_8 (ats_ptr_type arg0) ; static ats_ptr_type timestamp_9 () ; static ats_ptr_type patsyntax_style_10 () ; static ats_ptr_type patscode_jquery_min_js_11 () ; static ats_ptr_type patscode_tryit_bind_all_js_12 () ; static ats_ptr_type HR_13 (ats_int_type arg0) ; static ats_ptr_type sizeof_14 (ats_ptr_type arg0) ; static ats_ptr_type stacode_15 (ats_ptr_type arg0) ; static ats_ptr_type prfcode_16 (ats_ptr_type arg0) ; static ats_ptr_type dyncode_17 (ats_ptr_type arg0) ; static ats_ptr_type ref_01088_ats_int_type (ats_int_type arg0) ; static ats_int_type patscode_count_getinc_19 () ; static ats_void_type patscode_count_reset_20 () ; static ats_ptr_type ref_01088_ats_ptr_type (ats_ptr_type arg0) ; static ats_ptr_type patscode_prefix_get_22 () ; static ats_void_type patscode_prefix_set_23 (ats_ptr_type arg0) ; static ats_ptr_type patscode_save_24 (ats_int_type arg0, ats_ptr_type arg1) ; static ats_ptr_type pats2xhtmls_25 (ats_ptr_type arg0) ; static ats_ptr_type pats2xhtmld_26 (ats_ptr_type arg0) ; static ats_ptr_type pats2xhtmld_save_27 (ats_ptr_type arg0) ; static ats_ptr_type pats2xhtmld_tryit_28 (ats_ptr_type arg0) ; /* partial value template declarations */ /* static temporary variable declarations */ ATSstatic (ats_ptr_type, statmp4) ; ATSstatic (ats_ptr_type, statmp5) ; ATSstatic (ats_ptr_type, statmp53) ; ATSstatic (ats_ptr_type, statmp60) ; // ATSstatic_void (statmp101) ; // ATSstatic_void (statmp103) ; // ATSstatic_void (statmp104) ; ATSstatic (ats_ptr_type, statmp105) ; // ATSstatic_void (statmp106) ; ATSstatic (ats_ptr_type, statmp107) ; // ATSstatic_void (statmp108) ; ATSstatic (ats_ptr_type, statmp109) ; // ATSstatic_void (statmp110) ; ATSstatic (ats_ptr_type, statmp111) ; // ATSstatic_void (statmp112) ; ATSstatic (ats_ptr_type, statmp113) ; // ATSstatic_void (statmp114) ; ATSstatic (ats_ptr_type, statmp115) ; // ATSstatic_void (statmp116) ; ATSstatic (ats_ptr_type, statmp117) ; // ATSstatic_void (statmp118) ; ATSstatic (ats_ptr_type, statmp119) ; // ATSstatic_void (statmp120) ; ATSstatic (ats_ptr_type, statmp121) ; // ATSstatic_void (statmp122) ; ATSstatic (ats_ptr_type, statmp123) ; // ATSstatic_void (statmp124) ; ATSstatic (ats_ptr_type, statmp125) ; // ATSstatic_void (statmp126) ; ATSstatic (ats_ptr_type, statmp127) ; // ATSstatic_void (statmp128) ; ATSstatic (ats_ptr_type, statmp129) ; // ATSstatic_void (statmp130) ; ATSstatic (ats_ptr_type, statmp131) ; // ATSstatic_void (statmp132) ; ATSstatic (ats_ptr_type, statmp133) ; // ATSstatic_void (statmp134) ; ATSstatic (ats_ptr_type, statmp135) ; // ATSstatic_void (statmp136) ; ATSstatic (ats_ptr_type, statmp137) ; // ATSstatic_void (statmp138) ; ATSstatic (ats_ptr_type, statmp139) ; // ATSstatic_void (statmp140) ; ATSstatic (ats_ptr_type, statmp141) ; // ATSstatic_void (statmp142) ; ATSstatic (ats_ptr_type, statmp143) ; // ATSstatic_void (statmp144) ; ATSstatic (ats_ptr_type, statmp145) ; // ATSstatic_void (statmp146) ; ATSstatic (ats_ptr_type, statmp147) ; // ATSstatic_void (statmp148) ; ATSstatic (ats_ptr_type, statmp149) ; // ATSstatic_void (statmp150) ; ATSstatic (ats_ptr_type, statmp151) ; // ATSstatic_void (statmp152) ; ATSstatic (ats_ptr_type, statmp153) ; // ATSstatic_void (statmp154) ; ATSstatic (ats_ptr_type, statmp155) ; // ATSstatic_void (statmp156) ; ATSstatic (ats_ptr_type, statmp157) ; // ATSstatic_void (statmp158) ; ATSstatic (ats_ptr_type, statmp159) ; // ATSstatic_void (statmp160) ; ATSstatic (ats_ptr_type, statmp161) ; // ATSstatic_void (statmp162) ; ATSstatic (ats_ptr_type, statmp163) ; // ATSstatic_void (statmp164) ; ATSstatic (ats_ptr_type, statmp165) ; // ATSstatic_void (statmp166) ; ATSstatic (ats_ptr_type, statmp167) ; // ATSstatic_void (statmp168) ; ATSstatic (ats_ptr_type, statmp169) ; // ATSstatic_void (statmp170) ; ATSstatic (ats_ptr_type, statmp171) ; // ATSstatic_void (statmp172) ; ATSstatic (ats_ptr_type, statmp173) ; // ATSstatic_void (statmp174) ; ATSstatic (ats_ptr_type, statmp175) ; // ATSstatic_void (statmp176) ; ATSstatic (ats_ptr_type, statmp177) ; // ATSstatic_void (statmp178) ; ATSstatic (ats_ptr_type, statmp179) ; // ATSstatic_void (statmp180) ; ATSstatic (ats_ptr_type, statmp181) ; // ATSstatic_void (statmp182) ; ATSstatic (ats_ptr_type, statmp183) ; // ATSstatic_void (statmp184) ; ATSstatic (ats_ptr_type, statmp185) ; // ATSstatic_void (statmp186) ; ATSstatic (ats_ptr_type, statmp187) ; // ATSstatic_void (statmp188) ; ATSstatic (ats_ptr_type, statmp189) ; // ATSstatic_void (statmp190) ; ATSstatic (ats_ptr_type, statmp191) ; // ATSstatic_void (statmp192) ; ATSstatic (ats_ptr_type, statmp193) ; // ATSstatic_void (statmp194) ; ATSstatic (ats_ptr_type, statmp200) ; ATSstatic (ats_ptr_type, statmp201) ; ATSstatic (ats_ptr_type, statmp202) ; ATSstatic (ats_ptr_type, statmp203) ; ATSstatic (ats_ptr_type, statmp204) ; // ATSstatic_void (statmp205) ; // ATSstatic_void (statmp206) ; ATSstatic (ats_ptr_type, statmp207) ; // ATSstatic_void (statmp208) ; ATSstatic (ats_ptr_type, statmp209) ; // ATSstatic_void (statmp210) ; ATSstatic (ats_ptr_type, statmp211) ; // ATSstatic_void (statmp212) ; ATSstatic (ats_ptr_type, statmp213) ; // ATSstatic_void (statmp214) ; ATSstatic (ats_ptr_type, statmp215) ; // ATSstatic_void (statmp216) ; ATSstatic (ats_ptr_type, statmp217) ; // ATSstatic_void (statmp218) ; ATSstatic (ats_ptr_type, statmp219) ; // ATSstatic_void (statmp220) ; ATSstatic (ats_ptr_type, statmp221) ; // ATSstatic_void (statmp222) ; ATSstatic (ats_ptr_type, statmp223) ; // ATSstatic_void (statmp224) ; ATSstatic (ats_ptr_type, statmp225) ; // ATSstatic_void (statmp226) ; ATSstatic (ats_ptr_type, statmp227) ; // ATSstatic_void (statmp228) ; ATSstatic (ats_ptr_type, statmp229) ; // ATSstatic_void (statmp230) ; /* external value variable declarations */ /* function implementations */ /* // /home/hwxi/Research/ATS-Anairiats/utils/atsdoc/HATS/xhtmlatxt.hats: 1956(line=66, offs=5) -- 2149(line=73, offs=4) */ ATSstaticdec() ats_ptr_type xmltagging_0 (ats_ptr_type arg0, ats_ptr_type arg1) { /* local vardec */ ATSlocal (ats_ptr_type, tmp0) ; ATSlocal (ats_ptr_type, tmp1) ; ATSlocal (ats_ptr_type, tmp2) ; ATSlocal (ats_ptr_type, tmp3) ; __ats_lab_xmltagging_0: tmp1 = ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__atext_appstr3 (ATSstrcst("<"), arg0, ATSstrcst(">")) ; tmp2 = ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__atext_appstr3 (ATSstrcst("")) ; tmp3 = ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__atext_strsub (arg1) ; tmp0 = ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__atext_apptxt3 (tmp1, tmp3, tmp2) ; return (tmp0) ; } /* end of [xmltagging_0] */ /* // /home/hwxi/Research/ATS-Anairiats/utils/atsdoc/HATS/xhtmlatxt.hats: 2649(line=99, offs=5) -- 2735(line=100, offs=58) */ ATSstaticdec() ats_ptr_type comment_1 (ats_ptr_type arg0) { /* local vardec */ ATSlocal (ats_ptr_type, tmp6) ; ATSlocal (ats_ptr_type, tmp7) ; __ats_lab_comment_1: tmp7 = ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__atext_strsub (arg0) ; tmp6 = ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__atext_apptxt3 (statmp4, tmp7, statmp5) ; return (tmp6) ; } /* end of [comment_1] */ /* // /home/hwxi/Research/ATS-Anairiats/utils/atsdoc/HATS/xhtmlatxt.hats: 2805(line=107, offs=5) -- 2845(line=107, offs=45) */ ATSstaticdec() ats_ptr_type ignore_2 (ats_ptr_type arg0) { /* local vardec */ ATSlocal (ats_ptr_type, tmp8) ; __ats_lab_ignore_2: tmp8 = ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__atext_nil () ; return (tmp8) ; } /* end of [ignore_2] */ /* // /home/hwxi/Research/ATS-Anairiats/utils/atsdoc/HATS/xhtmlatxt.hats: 2850(line=108, offs=5) -- 2892(line=108, offs=47) */ ATSstaticdec() ats_ptr_type ignoretxt_3 (ats_ptr_type arg0) { /* local vardec */ ATSlocal (ats_ptr_type, tmp9) ; __ats_lab_ignoretxt_3: tmp9 = ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__atext_nil () ; return (tmp9) ; } /* end of [ignoretxt_3] */ /* // /home/hwxi/Research/ATS-Anairiats/utils/atsdoc/HATS/xhtmlatxt.hats: 3183(line=130, offs=1) -- 3359(line=136, offs=4) */ ATSstaticdec() ats_ptr_type pcenter_4 (ats_ptr_type arg0) { /* local vardec */ ATSlocal (ats_ptr_type, tmp10) ; ATSlocal (ats_ptr_type, tmp11) ; ATSlocal (ats_ptr_type, tmp12) ; ATSlocal (ats_ptr_type, tmp13) ; __ats_lab_pcenter_4: tmp11 = ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__atext_strcst (ATSstrcst("

")) ; tmp12 = ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__atext_strcst (ATSstrcst("

")) ; tmp13 = ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__atext_strsub (arg0) ; tmp10 = ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__atext_apptxt3 (tmp11, tmp13, tmp12) ; return (tmp10) ; } /* end of [pcenter_4] */ /* // /home/hwxi/Research/ATS-Anairiats/utils/atsdoc/HATS/xhtmlatxt.hats: 3406(line=141, offs=1) -- 3584(line=147, offs=4) */ ATSstaticdec() ats_ptr_type stacode_5 (ats_ptr_type arg0) { /* local vardec */ ATSlocal (ats_ptr_type, tmp14) ; ATSlocal (ats_ptr_type, tmp15) ; ATSlocal (ats_ptr_type, tmp16) ; ATSlocal (ats_ptr_type, tmp17) ; __ats_lab_stacode_5: tmp15 = ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__atext_strcst (ATSstrcst("")) ; tmp16 = ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__atext_strcst (ATSstrcst("")) ; tmp17 = ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__atext_strsub (arg0) ; tmp14 = ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__atext_apptxt3 (tmp15, tmp17, tmp16) ; return (tmp14) ; } /* end of [stacode_5] */ /* // /home/hwxi/Research/ATS-Anairiats/utils/atsdoc/HATS/xhtmlatxt.hats: 3610(line=150, offs=1) -- 3788(line=156, offs=4) */ ATSstaticdec() ats_ptr_type dyncode_6 (ats_ptr_type arg0) { /* local vardec */ ATSlocal (ats_ptr_type, tmp18) ; ATSlocal (ats_ptr_type, tmp19) ; ATSlocal (ats_ptr_type, tmp20) ; ATSlocal (ats_ptr_type, tmp21) ; __ats_lab_dyncode_6: tmp19 = ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__atext_strcst (ATSstrcst("")) ; tmp20 = ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__atext_strcst (ATSstrcst("")) ; tmp21 = ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__atext_strsub (arg0) ; tmp18 = ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__atext_apptxt3 (tmp19, tmp21, tmp20) ; return (tmp18) ; } /* end of [dyncode_6] */ /* // /home/hwxi/Research/ATS-Anairiats/utils/atsdoc/HATS/xhtmlatxt.hats: 3814(line=159, offs=1) -- 3992(line=165, offs=4) */ ATSstaticdec() ats_ptr_type prfcode_7 (ats_ptr_type arg0) { /* local vardec */ ATSlocal (ats_ptr_type, tmp22) ; ATSlocal (ats_ptr_type, tmp23) ; ATSlocal (ats_ptr_type, tmp24) ; ATSlocal (ats_ptr_type, tmp25) ; __ats_lab_prfcode_7: tmp23 = ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__atext_strcst (ATSstrcst("")) ; tmp24 = ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__atext_strcst (ATSstrcst("")) ; tmp25 = ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__atext_strsub (arg0) ; tmp22 = ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__atext_apptxt3 (tmp23, tmp25, tmp24) ; return (tmp22) ; } /* end of [prfcode_7] */ /* // /home/hwxi/Research/ATS-Anairiats/utils/atsdoc/HATS/xhtmlatxt.hats: 4018(line=168, offs=1) -- 4212(line=174, offs=4) */ ATSstaticdec() ats_ptr_type keycode_8 (ats_ptr_type arg0) { /* local vardec */ ATSlocal (ats_ptr_type, tmp26) ; ATSlocal (ats_ptr_type, tmp27) ; ATSlocal (ats_ptr_type, tmp28) ; ATSlocal (ats_ptr_type, tmp29) ; __ats_lab_keycode_8: tmp27 = ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__atext_strcst (ATSstrcst("")) ; tmp28 = ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__atext_strcst (ATSstrcst("")) ; tmp29 = ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__atext_strsub (arg0) ; tmp26 = ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__atext_apptxt3 (tmp27, tmp29, tmp28) ; return (tmp26) ; } /* end of [keycode_8] */ /* // /home/hwxi/Research/ATS-Anairiats/utils/atsdoc/HATS/xhtmlatxt.hats: 4259(line=178, offs=5) -- 4490(line=187, offs=4) */ ATSstaticdec() ats_ptr_type timestamp_9 () { /* local vardec */ ATSlocal (ats_ptr_type, tmp30) ; ATSlocal (ats_time_type, tmp31) ; ATSlocal (ats_ptr_type, tmp32) ; ATSlocal (ats_ptr_type, tmp33) ; ATSlocal (ats_ptr_type, tmp34) ; __ats_lab_timestamp_9: /* ats_time_type tmp31 ; */ tmp31 = atslib_time_get () ; tmp32 = atslib_ctime ((&tmp31)) ; tmp33 = ats_selsin_mac(tmp32, atslab_1) ; tmp34 = atspre_tostringf (ATSstrcst("%s"), ats_castfn_mac(ats_ptr_type, tmp33)) ; tmp30 = ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__atext_strcst (ats_castfn_mac(ats_ptr_type, tmp34)) ; return (tmp30) ; } /* end of [timestamp_9] */ /* // /home/hwxi/Research/ATS-Anairiats/utils/atsdoc/HATS/pats2xhtmlatxt.hats: 1580(line=41, offs=4) -- 3415(line=75, offs=3) */ ATSstaticdec() ats_ptr_type patsyntax_style_10 () { /* local vardec */ ATSlocal (ats_ptr_type, tmp35) ; __ats_lab_patsyntax_style_10: tmp35 = ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__atext_strcst (ATSstrcst("\n")) ; return (tmp35) ; } /* end of [patsyntax_style_10] */ /* // /home/hwxi/Research/ATS-Anairiats/utils/atsdoc/HATS/pats2xhtmlatxt.hats: 3441(line=79, offs=4) -- 3623(line=84, offs=3) */ ATSstaticdec() ats_ptr_type patscode_jquery_min_js_11 () { /* local vardec */ ATSlocal (ats_ptr_type, tmp36) ; __ats_lab_patscode_jquery_min_js_11: tmp36 = ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__atext_strcst (ATSstrcst("\n")) ; return (tmp36) ; } /* end of [patscode_jquery_min_js_11] */ /* // /home/hwxi/Research/ATS-Anairiats/utils/atsdoc/HATS/pats2xhtmlatxt.hats: 3649(line=88, offs=4) -- 3829(line=93, offs=3) */ ATSstaticdec() ats_ptr_type patscode_tryit_bind_all_js_12 () { /* local vardec */ ATSlocal (ats_ptr_type, tmp37) ; __ats_lab_patscode_tryit_bind_all_js_12: tmp37 = ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__atext_strcst (ATSstrcst("\n")) ; return (tmp37) ; } /* end of [patscode_tryit_bind_all_js_12] */ /* // /home/hwxi/Research/ATS-Anairiats/utils/atsdoc/HATS/pats2xhtmlatxt.hats: 3918(line=101, offs=4) -- 4063(line=105, offs=4) */ ATSstaticdec() ats_ptr_type HR_13 (ats_int_type arg0) { /* local vardec */ ATSlocal (ats_ptr_type, tmp38) ; ATSlocal (ats_ptr_type, tmp39) ; __ats_lab_HR_13: tmp39 = atspre_tostringf (ATSstrcst("
"), arg0) ; tmp38 = ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__atext_strptr (tmp39) ; return (tmp38) ; } /* end of [HR_13] */ /* // /home/hwxi/Research/ATS-Anairiats/utils/atsdoc/HATS/pats2xhtmlatxt.hats: 4104(line=109, offs=4) -- 4181(line=111, offs=45) */ ATSstaticdec() ats_ptr_type sizeof_14 (ats_ptr_type arg0) { /* local vardec */ ATSlocal (ats_ptr_type, tmp40) ; __ats_lab_sizeof_14: tmp40 = ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__atext_appstr3 (ATSstrcst("sizeof<"), arg0, ATSstrcst(">")) ; return (tmp40) ; } /* end of [sizeof_14] */ /* // /home/hwxi/Research/ATS-Anairiats/utils/atsdoc/HATS/pats2xhtmlatxt.hats: 4204(line=114, offs=4) -- 4386(line=120, offs=4) */ ATSstaticdec() ats_ptr_type stacode_15 (ats_ptr_type arg0) { /* local vardec */ ATSlocal (ats_ptr_type, tmp41) ; ATSlocal (ats_ptr_type, tmp42) ; ATSlocal (ats_ptr_type, tmp43) ; ATSlocal (ats_ptr_type, tmp44) ; __ats_lab_stacode_15: tmp42 = ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__atext_strcst (ATSstrcst("")) ; tmp43 = ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__atext_strcst (ATSstrcst("")) ; tmp44 = ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__atext_strsub (arg0) ; tmp41 = ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__atext_apptxt3 (tmp42, tmp44, tmp43) ; return (tmp41) ; } /* end of [stacode_15] */ /* // /home/hwxi/Research/ATS-Anairiats/utils/atsdoc/HATS/pats2xhtmlatxt.hats: 4411(line=122, offs=4) -- 4593(line=128, offs=4) */ ATSstaticdec() ats_ptr_type prfcode_16 (ats_ptr_type arg0) { /* local vardec */ ATSlocal (ats_ptr_type, tmp45) ; ATSlocal (ats_ptr_type, tmp46) ; ATSlocal (ats_ptr_type, tmp47) ; ATSlocal (ats_ptr_type, tmp48) ; __ats_lab_prfcode_16: tmp46 = ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__atext_strcst (ATSstrcst("")) ; tmp47 = ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__atext_strcst (ATSstrcst("")) ; tmp48 = ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__atext_strsub (arg0) ; tmp45 = ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__atext_apptxt3 (tmp46, tmp48, tmp47) ; return (tmp45) ; } /* end of [prfcode_16] */ /* // /home/hwxi/Research/ATS-Anairiats/utils/atsdoc/HATS/pats2xhtmlatxt.hats: 4618(line=130, offs=4) -- 4800(line=136, offs=4) */ ATSstaticdec() ats_ptr_type dyncode_17 (ats_ptr_type arg0) { /* local vardec */ ATSlocal (ats_ptr_type, tmp49) ; ATSlocal (ats_ptr_type, tmp50) ; ATSlocal (ats_ptr_type, tmp51) ; ATSlocal (ats_ptr_type, tmp52) ; __ats_lab_dyncode_17: tmp50 = ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__atext_strcst (ATSstrcst("")) ; tmp51 = ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__atext_strcst (ATSstrcst("")) ; tmp52 = ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__atext_strsub (arg0) ; tmp49 = ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__atext_apptxt3 (tmp50, tmp52, tmp51) ; return (tmp49) ; } /* end of [dyncode_17] */ /* // /home/hwxi/Research/ATS-Anairiats/prelude/DATS/reference.dats: 1828(line=57, offs=18) -- 1902(line=59, offs=4) */ ATSstaticdec() ats_ptr_type ref_01088_ats_int_type (ats_int_type arg0) { /* local vardec */ ATSlocal (ats_ptr_type, tmp54) ; ATSlocal (ats_int_type, tmp55) ; __ats_lab_ref_01088_ats_int_type: /* ats_int_type tmp55 ; */ tmp55 = arg0 ; tmp54 = atspre_ref_make_elt_tsz ((&tmp55), sizeof(ats_int_type)) ; return (tmp54) ; } /* end of [ref_01088_ats_int_type] */ /* // /home/hwxi/Research/ATS-Anairiats/utils/atsdoc/HATS/pats2xhtmlatxt.hats: 4903(line=146, offs=4) -- 4985(line=148, offs=4) */ ATSstaticdec() ats_int_type patscode_count_getinc_19 () { /* local vardec */ ATSlocal (ats_int_type, tmp56) ; ATSlocal (ats_int_type, tmp57) ; ATSlocal (ats_int_type, tmp58) ; __ats_lab_patscode_count_getinc_19: tmp57 = ats_ptrget_mac(ats_int_type, statmp53) ; tmp58 = atspre_add_int_int (tmp57, 1) ; ats_ptrget_mac(ats_int_type, statmp53) = tmp58 ; tmp56 = tmp57 ; return (tmp56) ; } /* end of [patscode_count_getinc_19] */ /* // /home/hwxi/Research/ATS-Anairiats/utils/atsdoc/HATS/pats2xhtmlatxt.hats: 5009(line=150, offs=4) -- 5055(line=150, offs=50) */ ATSstaticdec() ats_void_type patscode_count_reset_20 () { /* local vardec */ // ATSlocal_void (tmp59) ; __ats_lab_patscode_count_reset_20: ats_ptrget_mac(ats_int_type, statmp53) = 0 ; return /* (tmp59) */ ; } /* end of [patscode_count_reset_20] */ /* // /home/hwxi/Research/ATS-Anairiats/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, tmp61) ; ATSlocal (ats_ptr_type, tmp62) ; __ats_lab_ref_01088_ats_ptr_type: /* ats_ptr_type tmp62 ; */ tmp62 = arg0 ; tmp61 = atspre_ref_make_elt_tsz ((&tmp62), sizeof(ats_ptr_type)) ; return (tmp61) ; } /* end of [ref_01088_ats_ptr_type] */ /* // /home/hwxi/Research/ATS-Anairiats/utils/atsdoc/HATS/pats2xhtmlatxt.hats: 5166(line=162, offs=4) -- 5209(line=162, offs=47) */ ATSstaticdec() ats_ptr_type patscode_prefix_get_22 () { /* local vardec */ ATSlocal (ats_ptr_type, tmp63) ; __ats_lab_patscode_prefix_get_22: tmp63 = ats_ptrget_mac(ats_ptr_type, statmp60) ; return (tmp63) ; } /* end of [patscode_prefix_get_22] */ /* // /home/hwxi/Research/ATS-Anairiats/utils/atsdoc/HATS/pats2xhtmlatxt.hats: 5213(line=163, offs=4) -- 5268(line=163, offs=59) */ ATSstaticdec() ats_void_type patscode_prefix_set_23 (ats_ptr_type arg0) { /* local vardec */ // ATSlocal_void (tmp64) ; __ats_lab_patscode_prefix_set_23: ats_ptrget_mac(ats_ptr_type, statmp60) = arg0 ; return /* (tmp64) */ ; } /* end of [patscode_prefix_set_23] */ /* // /home/hwxi/Research/ATS-Anairiats/utils/atsdoc/HATS/pats2xhtmlatxt.hats: 5317(line=169, offs=4) -- 5924(line=193, offs=4) */ ATSstaticdec() ats_ptr_type patscode_save_24 (ats_int_type arg0, ats_ptr_type arg1) { /* local vardec */ ATSlocal (ats_ptr_type, tmp65) ; ATSlocal (ats_ptr_type, tmp66) ; ATSlocal (ats_bool_type, tmp67) ; ATSlocal (ats_int_type, tmp68) ; ATSlocal (ats_ptr_type, tmp69) ; ATSlocal (ats_ptr_type, tmp70) ; ATSlocal (ats_bool_type, tmp71) ; ATSlocal (ats_ptr_type, tmp72) ; ATSlocal (ats_ptr_type, tmp73) ; // ATSlocal_void (tmp74) ; // ATSlocal_void (tmp75) ; __ats_lab_patscode_save_24: tmp66 = patscode_prefix_get_22 () ; tmp67 = atspre_neq_string_string (tmp66, ATSstrcst("")) ; if (tmp67) { tmp68 = patscode_count_getinc_19 () ; tmp69 = atspre_tostringf (ATSstrcst("%s_%i"), tmp66, tmp68) ; tmp71 = atspre_eq_int_int (arg0, 0) ; if (tmp71) { tmp70 = ATSstrcst("sats") ; } else { tmp70 = ATSstrcst("dats") ; } /* end of [if] */ tmp72 = atspre_tostringf (ATSstrcst("%s.%s"), ats_castfn_mac(ats_ptr_type, tmp69), tmp70) ; tmp73 = atslib_fopen_exn (ats_castfn_mac(ats_ptr_type, tmp72), "w") ; /* tmp74 = */ atspre_fprint_string (tmp73, arg1) ; /* tmp75 = */ atslib_fclose_exn (tmp73) ; tmp65 = ATS_MALLOC(sizeof(anairiats_sum_0)) ; ats_selptrset_mac(anairiats_sum_0, tmp65, atslab_0, ats_castfn_mac(ats_ptr_type, tmp69)) ; } else { tmp65 = (ats_sum_ptr_type)0 ; } /* end of [if] */ return (tmp65) ; } /* end of [patscode_save_24] */ /* // /home/hwxi/Research/ATS-Anairiats/utils/atsdoc/HATS/pats2xhtmlatxt.hats: 5977(line=197, offs=4) -- 6234(line=206, offs=4) */ ATSstaticdec() ats_ptr_type pats2xhtmls_25 (ats_ptr_type arg0) { /* local vardec */ ATSlocal (ats_ptr_type, tmp76) ; ATSlocal (ats_ptr_type, tmp77) ; ATSlocal (ats_ptr_type, tmp78) ; ATSlocal (ats_ptr_type, tmp79) ; ATSlocal (ats_ptr_type, tmp80) ; __ats_lab_pats2xhtmls_25: tmp77 = ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__atext_strcst (ATSstrcst("
")) ;
tmp79 = libatsynmark_string_pats2xhtmlize_bground (0, arg0) ;
tmp78 = ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__atext_strptr (tmp79) ;
tmp80 = ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__atext_strcst (ATSstrcst("
\n")) ; tmp76 = ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__atext_apptxt3 (tmp77, tmp78, tmp80) ; return (tmp76) ; } /* end of [pats2xhtmls_25] */ /* // /home/hwxi/Research/ATS-Anairiats/utils/atsdoc/HATS/pats2xhtmlatxt.hats: 6263(line=208, offs=4) -- 6517(line=216, offs=4) */ ATSstaticdec() ats_ptr_type pats2xhtmld_26 (ats_ptr_type arg0) { /* local vardec */ ATSlocal (ats_ptr_type, tmp81) ; ATSlocal (ats_ptr_type, tmp82) ; ATSlocal (ats_ptr_type, tmp83) ; ATSlocal (ats_ptr_type, tmp84) ; ATSlocal (ats_ptr_type, tmp85) ; __ats_lab_pats2xhtmld_26: tmp82 = ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__atext_strcst (ATSstrcst("
")) ;
tmp84 = libatsynmark_string_pats2xhtmlize_bground (1, arg0) ;
tmp83 = ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__atext_strptr (tmp84) ;
tmp85 = ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__atext_strcst (ATSstrcst("
\n")) ; tmp81 = ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__atext_apptxt3 (tmp82, tmp83, tmp85) ; return (tmp81) ; } /* end of [pats2xhtmld_26] */ /* // /home/hwxi/Research/ATS-Anairiats/utils/atsdoc/HATS/pats2xhtmlatxt.hats: 6567(line=220, offs=4) -- 6699(line=228, offs=4) */ ATSstaticdec() ats_ptr_type pats2xhtmld_save_27 (ats_ptr_type arg0) { /* local vardec */ ATSlocal (ats_ptr_type, tmp86) ; ATSlocal (ats_ptr_type, tmp87) ; __ats_lab_pats2xhtmld_save_27: tmp87 = patscode_save_24 (1, arg0) ; tmp86 = pats2xhtmld_26 (arg0) ; return (tmp86) ; } /* end of [pats2xhtmld_save_27] */ /* // /home/hwxi/Research/ATS-Anairiats/utils/atsdoc/HATS/pats2xhtmlatxt.hats: 6754(line=232, offs=4) -- 7394(line=256, offs=4) */ ATSstaticdec() ats_ptr_type pats2xhtmld_tryit_28 (ats_ptr_type arg0) { /* local vardec */ ATSlocal (ats_ptr_type, tmp88) ; ATSlocal (ats_ptr_type, tmp89) ; ATSlocal (ats_ptr_type, tmp90) ; ATSlocal (ats_ptr_type, tmp91) ; ATSlocal (ats_ptr_type, tmp92) ; ATSlocal (ats_ptr_type, tmp93) ; ATSlocal (ats_ptr_type, tmp94) ; ATSlocal (ats_ptr_type, tmp95) ; ATSlocal (ats_ptr_type, tmp96) ; ATSlocal (ats_ptr_type, tmp97) ; __ats_lab_pats2xhtmld_tryit_28: tmp89 = patscode_save_24 (1, arg0) ; do { /* branch: __ats_lab_0 */ __ats_lab_0_0: if (tmp89 == (ats_sum_ptr_type)0) { goto __ats_lab_1_0 ; } __ats_lab_0_1: tmp91 = ats_caselptrlab_mac(anairiats_sum_0, tmp89, atslab_0) ; tmp92 = atspre_tostringf (ATSstrcst("%s.dats"), tmp91) ; tmp90 = ats_castfn_mac(ats_ptr_type, tmp92) ; break ; /* branch: __ats_lab_1 */ __ats_lab_1_0: // if (tmp89 != (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; } __ats_lab_1_1: tmp90 = ATSstrcst("TRYIT/patscode_tryit_nameless.dats") ; break ; } while (0) ; tmp93 = atspre_tostringf (ATSstrcst("
"), tmp90) ;
tmp94 = ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__atext_strptr (tmp93) ;
tmp96 = libatsynmark_string_pats2xhtmlize_bground (1, arg0) ;
tmp95 = ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__atext_strptr (tmp96) ;
tmp97 = ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__atext_strcst (ATSstrcst("
\n")) ; tmp88 = ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__atext_apptxt3 (tmp94, tmp95, tmp97) ; return (tmp88) ; } /* end of [pats2xhtmld_tryit_28] */ /* // /home/hwxi/Research/ATS-Postiats-contrib/contrib/libgmp/SATS/DOCUGEN/htmlgendecl_atxt.dats: 651(line=27, offs=3) -- 790(line=32, offs=4) */ ATSglobaldec() ats_void_type _2home_2hwxi_2Research_2ATS_2dPostiats_2dcontrib_2contrib_2libgmp_2SATS_2DOCUGEN_2htmlgendecl_atxt_2edats__theDeclrepLst_initize (ats_ptr_type arg0) { /* local vardec */ // ATSlocal_void (tmp98) ; ATSlocal (ats_ptr_type, tmp99) ; ATSlocal (ats_ptr_type, tmp100) ; __ats_lab__2home_2hwxi_2Research_2ATS_2dPostiats_2dcontrib_2contrib_2libgmp_2SATS_2DOCUGEN_2htmlgendecl_atxt_2edats__theDeclrepLst_initize: tmp99 = ATS_2d0_2e2_2e12_2prelude_2SATS_2filebas_2esats__char_list_vt_make_file (arg0) ; tmp100 = _2home_2hwxi_2Research_2ATS_2dPostiats_2utils_2libatsynmark_2SATS_2libatsynmark_2esats__charlst_declitemize (0, tmp99) ; /* tmp98 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2share_2DOCUGEN_2declatext_2esats__theDeclrepLst_set (tmp100) ; return /* (tmp98) */ ; } /* end of [_2home_2hwxi_2Research_2ATS_2dPostiats_2dcontrib_2contrib_2libgmp_2SATS_2DOCUGEN_2htmlgendecl_atxt_2edats__theDeclrepLst_initize] */ /* // /home/hwxi/Research/ATS-Postiats-contrib/contrib/libgmp/SATS/DOCUGEN/htmlgendecl_data_atxt.dats: 77(line=5, offs=27) -- 95(line=5, offs=45) */ ATSglobaldec() ats_ptr_type _2home_2hwxi_2Research_2ATS_2dPostiats_2dcontrib_2contrib_2libgmp_2SATS_2DOCUGEN_2htmlgendecl_atxt_2edats__srcfilename_get () { /* local vardec */ ATSlocal (ats_ptr_type, tmp102) ; __ats_lab__2home_2hwxi_2Research_2ATS_2dPostiats_2dcontrib_2contrib_2libgmp_2SATS_2DOCUGEN_2htmlgendecl_atxt_2edats__srcfilename_get: tmp102 = ATSstrcst("../gmp.sats") ; return (tmp102) ; } /* end of [_2home_2hwxi_2Research_2ATS_2dPostiats_2dcontrib_2contrib_2libgmp_2SATS_2DOCUGEN_2htmlgendecl_atxt_2edats__srcfilename_get] */ /* // /home/hwxi/Research/ATS-Postiats-contrib/contrib/libgmp/SATS/DOCUGEN/htmlgendecl_atxt.dats: 1051(line=48, offs=21) -- 1281(line=59, offs=4) */ ATSglobaldec() ats_void_type _2home_2hwxi_2Research_2ATS_2dPostiats_2dcontrib_2contrib_2libgmp_2SATS_2DOCUGEN_2htmlgendecl_atxt_2edats__htmlgendecl_initize () { /* local vardec */ // ATSlocal_void (tmp195) ; ATSlocal (ats_ptr_type, tmp196) ; ATSlocal (ats_ptr_type, tmp197) ; // ATSlocal_void (tmp198) ; // ATSlocal_void (tmp199) ; __ats_lab__2home_2hwxi_2Research_2ATS_2dPostiats_2dcontrib_2contrib_2libgmp_2SATS_2DOCUGEN_2htmlgendecl_atxt_2edats__htmlgendecl_initize: tmp196 = _2home_2hwxi_2Research_2ATS_2dPostiats_2dcontrib_2contrib_2libgmp_2SATS_2DOCUGEN_2htmlgendecl_atxt_2edats__srcfilename_get () ; tmp197 = atslib_fopen_exn (tmp196, "r") ; /* tmp198 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2utils_2libatsynmark_2SATS_2libatsynmark_2esats__libatsynmark_filename_set_current (tmp196) ; /* tmp199 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2dcontrib_2contrib_2libgmp_2SATS_2DOCUGEN_2htmlgendecl_atxt_2edats__theDeclrepLst_initize (tmp197) ; /* tmp195 = */ atslib_fclose_exn (tmp197) ; return /* (tmp195) */ ; } /* end of [_2home_2hwxi_2Research_2ATS_2dPostiats_2dcontrib_2contrib_2libgmp_2SATS_2DOCUGEN_2htmlgendecl_atxt_2edats__htmlgendecl_initize] */ /* // /home/hwxi/Research/ATS-Postiats-contrib/contrib/libgmp/SATS/DOCUGEN/htmlgendecl_atxt.dats: 4403(line=150, offs=16) -- 4458(line=150, offs=71) */ ATSglobaldec() ats_void_type mainats () { /* local vardec */ // ATSlocal_void (tmp231) ; __ats_lab_mainats: /* tmp231 = */ ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__fprint_filsub (stdout, ATSstrcst("htmlgendecl_atxt.txt")) ; return /* (tmp231) */ ; } /* end of [mainats] */ /* static load function */ extern ats_void_type _2home_2hwxi_2Research_2ATS_2dPostiats_2utils_2libatsynmark_2SATS_2libatsynmark_2esats__staload (void) ; // extern ats_void_type ATS_2d0_2e2_2e12_2prelude_2SATS_2unsafe_2esats__staload (void) ; extern ats_void_type ATS_2d0_2e2_2e12_2libc_2SATS_2time_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_2libatsdoc_2SATS_2libatsdoc_atext_2esats__staload (void) ; extern ats_void_type _2home_2hwxi_2Research_2ATS_2dPostiats_2share_2DOCUGEN_2declatext_2esats__staload (void) ; extern ats_void_type _2home_2hwxi_2Research_2ATS_2dPostiats_2share_2DOCUGEN_2htmlgendecl_2esats__staload (void) ; extern ats_void_type ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats__staload (void) ; extern ats_void_type ATS_2d0_2e2_2e12_2prelude_2DATS_2list_vt_2edats__staload (void) ; extern ats_void_type ATS_2d0_2e2_2e12_2prelude_2DATS_2reference_2edats__staload (void) ; ats_void_type _2home_2hwxi_2Research_2ATS_2dPostiats_2dcontrib_2contrib_2libgmp_2SATS_2DOCUGEN_2htmlgendecl_atxt_2edats__staload () { static int _2home_2hwxi_2Research_2ATS_2dPostiats_2dcontrib_2contrib_2libgmp_2SATS_2DOCUGEN_2htmlgendecl_atxt_2edats__staload_flag = 0 ; if (_2home_2hwxi_2Research_2ATS_2dPostiats_2dcontrib_2contrib_2libgmp_2SATS_2DOCUGEN_2htmlgendecl_atxt_2edats__staload_flag) return ; _2home_2hwxi_2Research_2ATS_2dPostiats_2dcontrib_2contrib_2libgmp_2SATS_2DOCUGEN_2htmlgendecl_atxt_2edats__staload_flag = 1 ; _2home_2hwxi_2Research_2ATS_2dPostiats_2utils_2libatsynmark_2SATS_2libatsynmark_2esats__staload () ; // ATS_2d0_2e2_2e12_2prelude_2SATS_2unsafe_2esats__staload () ; ATS_2d0_2e2_2e12_2libc_2SATS_2time_2esats__staload () ; ATS_2d0_2e2_2e12_2libc_2SATS_2stdio_2esats__staload () ; ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__staload () ; _2home_2hwxi_2Research_2ATS_2dPostiats_2share_2DOCUGEN_2declatext_2esats__staload () ; _2home_2hwxi_2Research_2ATS_2dPostiats_2share_2DOCUGEN_2htmlgendecl_2esats__staload () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats__staload () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_vt_2edats__staload () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2reference_2edats__staload () ; return ; } /* staload function */ /* dynamic load function */ ats_int_type _2home_2hwxi_2Research_2ATS_2dPostiats_2share_2DOCUGEN_2htmlgendecl_2edats__dynload_flag = 0 ; extern ats_void_type _2home_2hwxi_2Research_2ATS_2dPostiats_2share_2DOCUGEN_2htmlgendecl_2edats__dynload (void) ; ats_int_type _2home_2hwxi_2Research_2ATS_2dPostiats_2share_2DOCUGEN_2declatext_2edats__dynload_flag = 0 ; extern ats_void_type _2home_2hwxi_2Research_2ATS_2dPostiats_2share_2DOCUGEN_2declatext_2edats__dynload (void) ; ats_int_type _2home_2hwxi_2Research_2ATS_2dPostiats_2utils_2libatsynmark_2dynloadall_2edats__dynload_flag = 0 ; extern ats_void_type _2home_2hwxi_2Research_2ATS_2dPostiats_2utils_2libatsynmark_2dynloadall_2edats__dynload (void) ; ats_int_type ATS_2d0_2e2_2e12_2libatsdoc_2dynloadall_2edats__dynload_flag = 0 ; extern ats_void_type ATS_2d0_2e2_2e12_2libatsdoc_2dynloadall_2edats__dynload (void) ; // dynload flag declaration // extern ats_int_type _2home_2hwxi_2Research_2ATS_2dPostiats_2dcontrib_2contrib_2libgmp_2SATS_2DOCUGEN_2htmlgendecl_atxt_2edats__dynload_flag ; ats_void_type _2home_2hwxi_2Research_2ATS_2dPostiats_2dcontrib_2contrib_2libgmp_2SATS_2DOCUGEN_2htmlgendecl_atxt_2edats__dynload () { // _2home_2hwxi_2Research_2ATS_2dPostiats_2dcontrib_2contrib_2libgmp_2SATS_2DOCUGEN_2htmlgendecl_atxt_2edats__dynload_flag = 1 ; _2home_2hwxi_2Research_2ATS_2dPostiats_2dcontrib_2contrib_2libgmp_2SATS_2DOCUGEN_2htmlgendecl_atxt_2edats__staload () ; #ifdef _ATS_PROOFCHECK ATS_2d0_2e2_2e12_2prelude_2SATS_2list_2esats__list_length_is_nonnegative_prfck () ; ATS_2d0_2e2_2e12_2prelude_2SATS_2list_vt_2esats__list_vt_length_is_nonnegative_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e12_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 () ; #endif /* _ATS_PROOFCHECK */ /* marking static variables for GC */ ATS_GC_MARKROOT(&statmp4, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp5, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp53, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp60, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp105, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp107, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp109, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp111, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp113, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp115, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp117, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp119, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp121, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp123, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp125, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp127, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp129, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp131, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp133, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp135, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp137, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp139, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp141, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp143, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp145, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp147, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp149, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp151, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp153, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp155, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp157, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp159, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp161, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp163, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp165, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp167, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp169, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp171, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp173, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp175, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp177, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp179, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp181, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp183, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp185, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp187, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp189, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp191, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp193, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp200, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp201, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp202, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp203, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp204, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp207, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp209, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp211, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp213, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp215, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp217, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp219, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp221, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp223, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp225, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp227, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp229, sizeof(ats_ptr_type)) ; /* marking external values for GC */ /* code for dynamic loading */ ATS_2d0_2e2_2e12_2libatsdoc_2dynloadall_2edats__dynload () ; _2home_2hwxi_2Research_2ATS_2dPostiats_2utils_2libatsynmark_2dynloadall_2edats__dynload () ; statmp4 = ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__atext_strcst (ATSstrcst("")) ; statmp53 = ref_01088_ats_int_type (0) ; statmp60 = ref_01088_ats_ptr_type (ATSstrcst("")) ; _2home_2hwxi_2Research_2ATS_2dPostiats_2share_2DOCUGEN_2declatext_2edats__dynload () ; _2home_2hwxi_2Research_2ATS_2dPostiats_2share_2DOCUGEN_2htmlgendecl_2edats__dynload () ; /* statmp101 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2dcontrib_2contrib_2libgmp_2SATS_2DOCUGEN_2htmlgendecl_atxt_2edats__htmlgendecl_initize () ; /* statmp103 = */ patscode_count_reset_20 () ; /* statmp104 = */ patscode_prefix_set_23 (ATSstrcst("TRYIT/contrib_libgmp_gmp")) ; statmp105 = _2home_2hwxi_2Research_2ATS_2dPostiats_2share_2DOCUGEN_2declatext_2esats__decltitle (ATSstrcst("ATSLIB/contrib/libgmp/gmp")) ; /* statmp106 = */ ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__theAtextMap_insert_str (ATSstrcst("__datatok1"), statmp105) ; statmp107 = xmltagging_0 (ATSstrcst("p"), ATSstrcst("\nThis package contains an API in ATS for the libgmp package.\n")) ; /* statmp108 = */ ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__theAtextMap_insert_str (ATSstrcst("__datatok3"), statmp107) ; statmp109 = _2home_2hwxi_2Research_2ATS_2dPostiats_2share_2DOCUGEN_2declatext_2esats__declpreamble (ATSstrcst("\n#__datatok3$\n\n")) ; /* statmp110 = */ ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__theAtextMap_insert_str (ATSstrcst("__datatok2"), statmp109) ; statmp111 = comment_1 (ATSstrcst("declpreamble")) ; /* statmp112 = */ ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__theAtextMap_insert_str (ATSstrcst("__datatok4"), statmp111) ; statmp113 = _2home_2hwxi_2Research_2ATS_2dPostiats_2share_2DOCUGEN_2declatext_2esats__declnamesynop (ATSstrcst("mpz_vt0ype")) ; /* statmp114 = */ ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__theAtextMap_insert_str (ATSstrcst("__datatok5"), statmp113) ; statmp115 = _2home_2hwxi_2Research_2ATS_2dPostiats_2share_2DOCUGEN_2declatext_2esats__declnamesynop (ATSstrcst("mpq_vt0ype")) ; /* statmp116 = */ ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__theAtextMap_insert_str (ATSstrcst("__datatok6"), statmp115) ; statmp117 = _2home_2hwxi_2Research_2ATS_2dPostiats_2share_2DOCUGEN_2declatext_2esats__declnamesynop (ATSstrcst("mpf_vt0ype")) ; /* statmp118 = */ ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__theAtextMap_insert_str (ATSstrcst("__datatok7"), statmp117) ; statmp119 = _2home_2hwxi_2Research_2ATS_2dPostiats_2share_2DOCUGEN_2declatext_2esats__declnamesynop (ATSstrcst("mp_base")) ; /* statmp120 = */ ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__theAtextMap_insert_str (ATSstrcst("__datatok8"), statmp119) ; statmp121 = _2home_2hwxi_2Research_2ATS_2dPostiats_2share_2DOCUGEN_2declatext_2esats__declnamesynop (ATSstrcst("mpz_init")) ; /* statmp122 = */ ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__theAtextMap_insert_str (ATSstrcst("__datatok9"), statmp121) ; statmp123 = _2home_2hwxi_2Research_2ATS_2dPostiats_2share_2DOCUGEN_2declatext_2esats__declnamesynop (ATSstrcst("mpz_init2")) ; /* statmp124 = */ ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__theAtextMap_insert_str (ATSstrcst("__datatok10"), statmp123) ; statmp125 = _2home_2hwxi_2Research_2ATS_2dPostiats_2share_2DOCUGEN_2declatext_2esats__declnamesynop (ATSstrcst("mpz_clear")) ; /* statmp126 = */ ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__theAtextMap_insert_str (ATSstrcst("__datatok11"), statmp125) ; statmp127 = _2home_2hwxi_2Research_2ATS_2dPostiats_2share_2DOCUGEN_2declatext_2esats__declnamesynop (ATSstrcst("mpz_realloc2")) ; /* statmp128 = */ ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__theAtextMap_insert_str (ATSstrcst("__datatok12"), statmp127) ; statmp129 = _2home_2hwxi_2Research_2ATS_2dPostiats_2share_2DOCUGEN_2declatext_2esats__declnamesynop (ATSstrcst("mpz_get_int")) ; /* statmp130 = */ ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__theAtextMap_insert_str (ATSstrcst("__datatok13"), statmp129) ; statmp131 = _2home_2hwxi_2Research_2ATS_2dPostiats_2share_2DOCUGEN_2declatext_2esats__declnamesynop (ATSstrcst("mpz_get_lint")) ; /* statmp132 = */ ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__theAtextMap_insert_str (ATSstrcst("__datatok14"), statmp131) ; statmp133 = _2home_2hwxi_2Research_2ATS_2dPostiats_2share_2DOCUGEN_2declatext_2esats__declnamesynop (ATSstrcst("mpz_get_uint")) ; /* statmp134 = */ ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__theAtextMap_insert_str (ATSstrcst("__datatok15"), statmp133) ; statmp135 = _2home_2hwxi_2Research_2ATS_2dPostiats_2share_2DOCUGEN_2declatext_2esats__declnamesynop (ATSstrcst("mpz_get_ulint")) ; /* statmp136 = */ ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__theAtextMap_insert_str (ATSstrcst("__datatok16"), statmp135) ; statmp137 = _2home_2hwxi_2Research_2ATS_2dPostiats_2share_2DOCUGEN_2declatext_2esats__declnamesynop (ATSstrcst("mpz_get_double")) ; /* statmp138 = */ ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__theAtextMap_insert_str (ATSstrcst("__datatok17"), statmp137) ; statmp139 = _2home_2hwxi_2Research_2ATS_2dPostiats_2share_2DOCUGEN_2declatext_2esats__declnamesynop (ATSstrcst("mpz_get_str")) ; /* statmp140 = */ ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__theAtextMap_insert_str (ATSstrcst("__datatok18"), statmp139) ; statmp141 = _2home_2hwxi_2Research_2ATS_2dPostiats_2share_2DOCUGEN_2declatext_2esats__declnamesynop (ATSstrcst("mpz_set_int")) ; /* statmp142 = */ ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__theAtextMap_insert_str (ATSstrcst("__datatok19"), statmp141) ; statmp143 = _2home_2hwxi_2Research_2ATS_2dPostiats_2share_2DOCUGEN_2declatext_2esats__declnamesynop (ATSstrcst("mpz_set_lint")) ; /* statmp144 = */ ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__theAtextMap_insert_str (ATSstrcst("__datatok20"), statmp143) ; statmp145 = _2home_2hwxi_2Research_2ATS_2dPostiats_2share_2DOCUGEN_2declatext_2esats__declnamesynop (ATSstrcst("mpz_set_uint")) ; /* statmp146 = */ ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__theAtextMap_insert_str (ATSstrcst("__datatok21"), statmp145) ; statmp147 = _2home_2hwxi_2Research_2ATS_2dPostiats_2share_2DOCUGEN_2declatext_2esats__declnamesynop (ATSstrcst("mpz_set_ulint")) ; /* statmp148 = */ ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__theAtextMap_insert_str (ATSstrcst("__datatok22"), statmp147) ; statmp149 = _2home_2hwxi_2Research_2ATS_2dPostiats_2share_2DOCUGEN_2declatext_2esats__declnamesynop (ATSstrcst("mpz_set_double")) ; /* statmp150 = */ ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__theAtextMap_insert_str (ATSstrcst("__datatok23"), statmp149) ; statmp151 = _2home_2hwxi_2Research_2ATS_2dPostiats_2share_2DOCUGEN_2declatext_2esats__declnamesynop (ATSstrcst("mpz_set_mpz")) ; /* statmp152 = */ ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__theAtextMap_insert_str (ATSstrcst("__datatok24"), statmp151) ; statmp153 = _2home_2hwxi_2Research_2ATS_2dPostiats_2share_2DOCUGEN_2declatext_2esats__declnamesynop (ATSstrcst("mpz_set_mpq")) ; /* statmp154 = */ ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__theAtextMap_insert_str (ATSstrcst("__datatok25"), statmp153) ; statmp155 = _2home_2hwxi_2Research_2ATS_2dPostiats_2share_2DOCUGEN_2declatext_2esats__declnamesynop (ATSstrcst("mpz_set_mpf")) ; /* statmp156 = */ ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__theAtextMap_insert_str (ATSstrcst("__datatok26"), statmp155) ; statmp157 = _2home_2hwxi_2Research_2ATS_2dPostiats_2share_2DOCUGEN_2declatext_2esats__declnamesynop (ATSstrcst("mpz_set_str")) ; /* statmp158 = */ ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__theAtextMap_insert_str (ATSstrcst("__datatok27"), statmp157) ; statmp159 = _2home_2hwxi_2Research_2ATS_2dPostiats_2share_2DOCUGEN_2declatext_2esats__declnamesynop (ATSstrcst("mpz_set_str_exn")) ; /* statmp160 = */ ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__theAtextMap_insert_str (ATSstrcst("__datatok28"), statmp159) ; statmp161 = _2home_2hwxi_2Research_2ATS_2dPostiats_2share_2DOCUGEN_2declatext_2esats__declnamesynop (ATSstrcst("mpz_neg")) ; /* statmp162 = */ ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__theAtextMap_insert_str (ATSstrcst("__datatok29"), statmp161) ; statmp163 = _2home_2hwxi_2Research_2ATS_2dPostiats_2share_2DOCUGEN_2declatext_2esats__declnamesynop (ATSstrcst("mpz_neg1")) ; /* statmp164 = */ ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__theAtextMap_insert_str (ATSstrcst("__datatok30"), statmp163) ; statmp165 = _2home_2hwxi_2Research_2ATS_2dPostiats_2share_2DOCUGEN_2declatext_2esats__declnamesynop (ATSstrcst("mpz_neg2")) ; /* statmp166 = */ ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__theAtextMap_insert_str (ATSstrcst("__datatok31"), statmp165) ; statmp167 = _2home_2hwxi_2Research_2ATS_2dPostiats_2share_2DOCUGEN_2declatext_2esats__declnamesynop (ATSstrcst("mpz_abs")) ; /* statmp168 = */ ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__theAtextMap_insert_str (ATSstrcst("__datatok32"), statmp167) ; statmp169 = _2home_2hwxi_2Research_2ATS_2dPostiats_2share_2DOCUGEN_2declatext_2esats__declnamesynop (ATSstrcst("mpz_abs1")) ; /* statmp170 = */ ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__theAtextMap_insert_str (ATSstrcst("__datatok33"), statmp169) ; statmp171 = _2home_2hwxi_2Research_2ATS_2dPostiats_2share_2DOCUGEN_2declatext_2esats__declnamesynop (ATSstrcst("mpz_abs2")) ; /* statmp172 = */ ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__theAtextMap_insert_str (ATSstrcst("__datatok34"), statmp171) ; statmp173 = _2home_2hwxi_2Research_2ATS_2dPostiats_2share_2DOCUGEN_2declatext_2esats__declnamesynop (ATSstrcst("mpz_add")) ; /* statmp174 = */ ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__theAtextMap_insert_str (ATSstrcst("__datatok35"), statmp173) ; statmp175 = _2home_2hwxi_2Research_2ATS_2dPostiats_2share_2DOCUGEN_2declatext_2esats__declnamesynop (ATSstrcst("mpz_add2_int")) ; /* statmp176 = */ ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__theAtextMap_insert_str (ATSstrcst("__datatok36"), statmp175) ; statmp177 = _2home_2hwxi_2Research_2ATS_2dPostiats_2share_2DOCUGEN_2declatext_2esats__declnamesynop (ATSstrcst("mpz_add2_lint")) ; /* statmp178 = */ ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__theAtextMap_insert_str (ATSstrcst("__datatok37"), statmp177) ; statmp179 = _2home_2hwxi_2Research_2ATS_2dPostiats_2share_2DOCUGEN_2declatext_2esats__declnamesynop (ATSstrcst("mpz_add2_uint")) ; /* statmp180 = */ ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__theAtextMap_insert_str (ATSstrcst("__datatok38"), statmp179) ; statmp181 = _2home_2hwxi_2Research_2ATS_2dPostiats_2share_2DOCUGEN_2declatext_2esats__declnamesynop (ATSstrcst("mpz_add2_ulint")) ; /* statmp182 = */ ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__theAtextMap_insert_str (ATSstrcst("__datatok39"), statmp181) ; statmp183 = _2home_2hwxi_2Research_2ATS_2dPostiats_2share_2DOCUGEN_2declatext_2esats__declnamesynop (ATSstrcst("mpz_add2_mpz")) ; /* statmp184 = */ ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__theAtextMap_insert_str (ATSstrcst("__datatok40"), statmp183) ; statmp185 = _2home_2hwxi_2Research_2ATS_2dPostiats_2share_2DOCUGEN_2declatext_2esats__declnamesynop (ATSstrcst("mpz_add3_int")) ; /* statmp186 = */ ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__theAtextMap_insert_str (ATSstrcst("__datatok41"), statmp185) ; statmp187 = _2home_2hwxi_2Research_2ATS_2dPostiats_2share_2DOCUGEN_2declatext_2esats__declnamesynop (ATSstrcst("mpz_add3_lint")) ; /* statmp188 = */ ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__theAtextMap_insert_str (ATSstrcst("__datatok42"), statmp187) ; statmp189 = _2home_2hwxi_2Research_2ATS_2dPostiats_2share_2DOCUGEN_2declatext_2esats__declnamesynop (ATSstrcst("mpz_add3_uint")) ; /* statmp190 = */ ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__theAtextMap_insert_str (ATSstrcst("__datatok43"), statmp189) ; statmp191 = _2home_2hwxi_2Research_2ATS_2dPostiats_2share_2DOCUGEN_2declatext_2esats__declnamesynop (ATSstrcst("mpz_add3_ulint")) ; /* statmp192 = */ ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__theAtextMap_insert_str (ATSstrcst("__datatok44"), statmp191) ; statmp193 = _2home_2hwxi_2Research_2ATS_2dPostiats_2share_2DOCUGEN_2declatext_2esats__declnamesynop (ATSstrcst("mpz_add3_mpz")) ; /* statmp194 = */ ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__theAtextMap_insert_str (ATSstrcst("__datatok45"), statmp193) ; statmp200 = _2home_2hwxi_2Research_2ATS_2dPostiats_2share_2DOCUGEN_2declatext_2esats__theDecltitle_get () ; statmp201 = _2home_2hwxi_2Research_2ATS_2dPostiats_2share_2DOCUGEN_2declatext_2esats__theDeclpreamble_get () ; statmp202 = _2home_2hwxi_2Research_2ATS_2dPostiats_2share_2DOCUGEN_2declatext_2esats__theDeclpostamble_get () ; statmp203 = _2home_2hwxi_2Research_2ATS_2dPostiats_2share_2DOCUGEN_2htmlgendecl_2esats__theDeclnameLst_make_menu () ; statmp204 = _2home_2hwxi_2Research_2ATS_2dPostiats_2share_2DOCUGEN_2htmlgendecl_2esats__theDeclitemLst_make_content () ; /* statmp205 = */ ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__theAtextMap_insert_str (ATSstrcst("theDeclnameLst_menu"), statmp203) ; /* statmp206 = */ ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__theAtextMap_insert_str (ATSstrcst("theDeclitemLst_content"), statmp204) ; statmp207 = xmltagging_0 (ATSstrcst("title"), statmp200) ; /* statmp208 = */ ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__theAtextMap_insert_str (ATSstrcst("__tok1"), statmp207) ; statmp209 = patsyntax_style_10 () ; /* statmp210 = */ ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__theAtextMap_insert_str (ATSstrcst("__tok2"), statmp209) ; statmp211 = patscode_jquery_min_js_11 () ; /* statmp212 = */ ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__theAtextMap_insert_str (ATSstrcst("__tok3"), statmp211) ; statmp213 = patscode_tryit_bind_all_js_12 () ; /* statmp214 = */ ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__theAtextMap_insert_str (ATSstrcst("__tok4"), statmp213) ; statmp215 = xmltagging_0 (ATSstrcst("h1"), statmp200) ; /* statmp216 = */ ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__theAtextMap_insert_str (ATSstrcst("__tok5"), statmp215) ; statmp217 = ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__atext_strsub (statmp201) ; /* statmp218 = */ ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__theAtextMap_insert_str (ATSstrcst("__tok6"), statmp217) ; statmp219 = HR_13 (2) ; /* statmp220 = */ ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__theAtextMap_insert_str (ATSstrcst("__tok7"), statmp219) ; statmp221 = ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__atext_strsub (ATSstrcst("#theDeclnameLst_menu$")) ; /* statmp222 = */ ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__theAtextMap_insert_str (ATSstrcst("__tok8"), statmp221) ; statmp223 = HR_13 (2) ; /* statmp224 = */ ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__theAtextMap_insert_str (ATSstrcst("__tok9"), statmp223) ; statmp225 = ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__atext_strsub (ATSstrcst("#theDeclitemLst_content$")) ; /* statmp226 = */ ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__theAtextMap_insert_str (ATSstrcst("__tok10"), statmp225) ; statmp227 = HR_13 (2) ; /* statmp228 = */ ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__theAtextMap_insert_str (ATSstrcst("__tok11"), statmp227) ; statmp229 = ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__atext_filepath (ATSstrcst("theDeclpostamble.html")) ; /* statmp230 = */ ATS_2d0_2e2_2e12_2libatsdoc_2SATS_2libatsdoc_atext_2esats__theAtextMap_insert_str (ATSstrcst("__tok12"), statmp229) ; return ; } /* end of [dynload function] */ int main (int argc, char *argv[]) { ATS_GC_INIT() ; mainats_prelude() ; _2home_2hwxi_2Research_2ATS_2dPostiats_2dcontrib_2contrib_2libgmp_2SATS_2DOCUGEN_2htmlgendecl_atxt_2edats__dynload() ; mainats((ats_int_type)argc, (ats_ptr_type)argv) ; return (0) ; } /* end of main */ /* external codes at mid */ /* external codes at bot */ /* ****** ****** */ /* end of [htmlgendecl_atxt_dats.c] */