Index: ats2-lang-0.4.2/src/CBOOT/prelude/ats_main_prelude_dats.c
===================================================================
--- ats2-lang-0.4.2.orig/src/CBOOT/prelude/ats_main_prelude_dats.c
+++ ats2-lang-0.4.2/src/CBOOT/prelude/ats_main_prelude_dats.c
@@ -69,30 +69,30 @@ mainats_prelude () {
 // ATSlocal_void (tmp0) ;
 
 __ats_lab_mainats_prelude:
-ATS_2d0_2e2_2e12_2prelude_2DATS_2basics_2edats__dynload () ;
-ATS_2d0_2e2_2e12_2prelude_2DATS_2bool_2edats__dynload () ;
-ATS_2d0_2e2_2e12_2prelude_2DATS_2char_2edats__dynload () ;
-ATS_2d0_2e2_2e12_2prelude_2DATS_2float_2edats__dynload () ;
-ATS_2d0_2e2_2e12_2prelude_2DATS_2integer_2edats__dynload () ;
-ATS_2d0_2e2_2e12_2prelude_2DATS_2sizetype_2edats__dynload () ;
-ATS_2d0_2e2_2e12_2prelude_2DATS_2pointer_2edats__dynload () ;
-ATS_2d0_2e2_2e12_2prelude_2DATS_2reference_2edats__dynload () ;
-ATS_2d0_2e2_2e12_2prelude_2DATS_2string_2edats__dynload () ;
-ATS_2d0_2e2_2e12_2prelude_2DATS_2lazy_2edats__dynload () ;
-ATS_2d0_2e2_2e12_2prelude_2DATS_2lazy_vt_2edats__dynload () ;
-ATS_2d0_2e2_2e12_2prelude_2DATS_2printf_2edats__dynload () ;
-ATS_2d0_2e2_2e12_2prelude_2DATS_2filebas_2edats__dynload () ;
-ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats__dynload () ;
-ATS_2d0_2e2_2e12_2prelude_2DATS_2list_vt_2edats__dynload () ;
-ATS_2d0_2e2_2e12_2prelude_2DATS_2list0_2edats__dynload () ;
-ATS_2d0_2e2_2e12_2prelude_2DATS_2option_2edats__dynload () ;
-ATS_2d0_2e2_2e12_2prelude_2DATS_2option_vt_2edats__dynload () ;
-ATS_2d0_2e2_2e12_2prelude_2DATS_2option0_2edats__dynload () ;
-ATS_2d0_2e2_2e12_2prelude_2DATS_2array_2edats__dynload () ;
-ATS_2d0_2e2_2e12_2prelude_2DATS_2array0_2edats__dynload () ;
-ATS_2d0_2e2_2e12_2prelude_2DATS_2matrix_2edats__dynload () ;
-ATS_2d0_2e2_2e12_2prelude_2DATS_2matrix0_2edats__dynload () ;
-ATS_2d0_2e2_2e12_2prelude_2DATS_2ptrarr_2edats__dynload () ;
+ats_int_type ATS_2d0_2e2_2e12_2prelude_2DATS_2basics_2edats__dynload () ;
+ats_int_type ATS_2d0_2e2_2e12_2prelude_2DATS_2bool_2edats__dynload () ;
+ats_int_type ATS_2d0_2e2_2e12_2prelude_2DATS_2char_2edats__dynload () ;
+ats_int_type ATS_2d0_2e2_2e12_2prelude_2DATS_2float_2edats__dynload () ;
+ats_int_type ATS_2d0_2e2_2e12_2prelude_2DATS_2integer_2edats__dynload () ;
+ats_int_type ATS_2d0_2e2_2e12_2prelude_2DATS_2sizetype_2edats__dynload () ;
+ats_int_type ATS_2d0_2e2_2e12_2prelude_2DATS_2pointer_2edats__dynload () ;
+ats_int_type ATS_2d0_2e2_2e12_2prelude_2DATS_2reference_2edats__dynload () ;
+ats_int_type ATS_2d0_2e2_2e12_2prelude_2DATS_2string_2edats__dynload () ;
+ats_int_type ATS_2d0_2e2_2e12_2prelude_2DATS_2lazy_2edats__dynload () ;
+ats_int_type ATS_2d0_2e2_2e12_2prelude_2DATS_2lazy_vt_2edats__dynload () ;
+ats_int_type ATS_2d0_2e2_2e12_2prelude_2DATS_2printf_2edats__dynload () ;
+ats_int_type ATS_2d0_2e2_2e12_2prelude_2DATS_2filebas_2edats__dynload () ;
+ats_int_type ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats__dynload () ;
+ats_int_type ATS_2d0_2e2_2e12_2prelude_2DATS_2list_vt_2edats__dynload () ;
+ats_int_type ATS_2d0_2e2_2e12_2prelude_2DATS_2list0_2edats__dynload () ;
+ats_int_type ATS_2d0_2e2_2e12_2prelude_2DATS_2option_2edats__dynload () ;
+ats_int_type ATS_2d0_2e2_2e12_2prelude_2DATS_2option_vt_2edats__dynload () ;
+ats_int_type ATS_2d0_2e2_2e12_2prelude_2DATS_2option0_2edats__dynload () ;
+ats_int_type ATS_2d0_2e2_2e12_2prelude_2DATS_2array_2edats__dynload () ;
+ats_int_type ATS_2d0_2e2_2e12_2prelude_2DATS_2array0_2edats__dynload () ;
+ats_int_type ATS_2d0_2e2_2e12_2prelude_2DATS_2matrix_2edats__dynload () ;
+ats_int_type ATS_2d0_2e2_2e12_2prelude_2DATS_2matrix0_2edats__dynload () ;
+ats_int_type ATS_2d0_2e2_2e12_2prelude_2DATS_2ptrarr_2edats__dynload () ;
 return /* (tmp0) */ ;
 } /* end of [mainats_prelude] */
 
