diff --git a/contrib/githwxi/BOOTJS1/Makefile_xjsemit b/contrib/githwxi/BOOTJS1/Makefile_xjsemit
index 2b6ee7343..8c6a8f006 100644
--- a/contrib/githwxi/BOOTJS1/Makefile_xjsemit
+++ b/contrib/githwxi/BOOTJS1/Makefile_xjsemit
@@ -10,6 +10,40 @@ NODE=node
 SRCGEN2=./../../../srcgen2
 XATS2JS=./../../../srcgen2/xats2js
 ########################################################################
+########################################################################
+all_sats:: \
+xbasics_sats
+xbasics_sats: \
+$(SRCGEN2)/SATS/xbasics.sats; \
+$(NODE) --stack-size=4096 $(XATSOPT_TCHECK00) $<
+########################################################################
+all_sats:: \
+xsynoug_sats
+xsynoug_sats: \
+$(SRCGEN2)/SATS/xsynoug.sats; \
+$(NODE) --stack-size=4096 $(XATSOPT_TCHECK00) $<
+########################################################################
+all_sats:: \
+xerrory_sats
+xerrory_sats: \
+$(SRCGEN2)/SATS/xerrory.sats; \
+$(NODE) --stack-size=4096 $(XATSOPT_TCHECK00) $<
+########################################################################
+all_sats:: \
+xstamp0_sats
+xstamp0_sats: \
+$(SRCGEN2)/SATS/xstamp0.sats; \
+$(NODE) --stack-size=4096 $(XATSOPT_TCHECK00) $<
+########################################################################
+all_sats:: \
+xsymbol_sats
+xsymbol_sats: \
+$(SRCGEN2)/SATS/xsymbol.sats; \
+$(NODE) --stack-size=4096 $(XATSOPT_TCHECK00) $<
+########################################################################
+########################################################################
+all_dats:: \
+xbasics_dats
 xbasics_dats: \
 $(SRCGEN2)/DATS/xbasics.dats; \
 $(NODE) --stack-size=4096 $(XATS2JS_JSEMIT00) $< >> $@_out.js
@@ -20,6 +54,8 @@ cleanall:: ; rm -f *~
 cleanall:: ; rm -f xbasics_dats_out.js
 ########################################################################
 SRCGEN2_XSHARED=$(SRCGEN2)/xats2js/srcgenx/xshared/runtime
+########################################################################
+XATSOPT_TCHECK00=$(SRCGEN2)/UTIL/xatsopt_tcheck00_dats.js
 XATS2JS_JSEMIT00=$(XATS2JS)/srcgen1/UTIL/xats2js_jsemit00_dats.js
 ########################################################################
 ########################################################################
diff --git a/srcgen1/xinterp/srcgen1/TEST/prelude/chars.dats b/srcgen1/xinterp/srcgen1/TEST/prelude/chars.dats
index e20290104..a13d808db 100644
--- a/srcgen1/xinterp/srcgen1/TEST/prelude/chars.dats
+++ b/srcgen1/xinterp/srcgen1/TEST/prelude/chars.dats
@@ -130,7 +130,7 @@ val xyz =
 let
 val x = code('x')
 in
-strn_tabulate_f1un
+strn_tabulate$f1un
 (3, lam(i) => char(x+i))
 end // end of [val]
 val () =
diff --git a/srcgen2/DATS/xbasics.dats b/srcgen2/DATS/xbasics.dats
index b04d6b81f..2dce1a60d 100644
--- a/srcgen2/DATS/xbasics.dats
+++ b/srcgen2/DATS/xbasics.dats
@@ -37,12 +37,16 @@ Authoremail: gmhwxiATgmailDOTcom
 (* ****** ****** *)
 (* ****** ****** *)
 #include
+"./../HATS/xatsopt_sats.hats"
+#include
 "./../HATS/xatsopt_dats.hats"
 (* ****** ****** *)
+(* ****** ****** *)
 #define
 ATS_PACKNAME
 "ATS3.XANADU.xatsopt-20220500"
 (* ****** ****** *)
+(* ****** ****** *)
 #staload "./../SATS/xbasics.sats"
 (* ****** ****** *)
 (* ****** ****** *)
diff --git a/srcgen2/HATS/xatsopt_dats.hats b/srcgen2/HATS/xatsopt_dats.hats
index 6b76846c1..af50b0a6e 100644
--- a/srcgen2/HATS/xatsopt_dats.hats
+++ b/srcgen2/HATS/xatsopt_dats.hats
@@ -7,8 +7,7 @@ For ATS3/XATSOPT
 (* ****** ****** *)
 (* ****** ****** *)
 #include
-"\
-srcgen1\
+"srcgen1\
 /prelude\
 /HATS/prelude_dats.hats"
 (* ****** ****** *)
@@ -17,8 +16,7 @@ srcgen1\
 // #ifdef(_XATSOPT_JS_)
 //
 #include
-"\
-srcgen1\
+"srcgen1\
 /prelude\
 /HATS/CATS/JS/prelude_dats.hats"
 //
@@ -27,22 +25,18 @@ srcgen1\
 (* ****** ****** *)
 (* ****** ****** *)
 #staload _ =
-"\
-srcgen1\
+"srcgen1\
 /xatslib/libcats/DATS/synoug0.dats"
 (* ****** ****** *)
 (* ****** ****** *)
 #staload _ =
-"\
-srcgen1\
+"srcgen1\
 /xatslib/githwxi/DATS/genv000.dats"
 #staload _ =
-"\
-srcgen1\
+"srcgen1\
 /xatslib/githwxi/DATS/f00path.dats"
 #staload _ =
-"\
-srcgen1\
+"srcgen1\
 /xatslib/githwxi/DATS/g00iout.dats"
 (* ****** ****** *)
 (* ****** ****** *)
@@ -54,8 +48,7 @@ srcgen1\
 // #ifdef(_XATSOPT_JS_)
 //
 #staload
-"\
-srcgen1\
+"srcgen1\
 /xatslib/githwxi/DATS/CATS/JS/NODE/basics0.dats"
 //
 // #endif // end of [ifdef(_XATSOPT_JS_)]
diff --git a/srcgen2/HATS/xatsopt_sats.hats b/srcgen2/HATS/xatsopt_sats.hats
index 9864ddee8..1b6ceaea0 100644
--- a/srcgen2/HATS/xatsopt_sats.hats
+++ b/srcgen2/HATS/xatsopt_sats.hats
@@ -9,6 +9,13 @@ For ATS3/XATSOPT
 //
 #staload
 "srcgen1\
+/prelude/SATS/gint000.sats"
+//
+(* ****** ****** *)
+(* ****** ****** *)
+//
+#staload
+"srcgen1\
 /xatslib/libcats/SATS/libcats.sats"
 //
 (* ****** ****** *)