diff --git a/prelude/DATS/VT/list000_vt.dats b/prelude/DATS/VT/list000_vt.dats
index b38cbfe10..2291c76f1 100644
--- a/prelude/DATS/VT/list000_vt.dats
+++ b/prelude/DATS/VT/list000_vt.dats
@@ -40,6 +40,23 @@ Authoremail: gmhwxiATgmailDOTcom
 (* ****** ****** *)
 //
 (*
+HX:
+This one is also
+implemented in [gdbg000.dats]:
+*)
+#impltmp
+{ vt:vt }
+g_ptype
+<list_vt(vt)>
+( (*void*) ) =
+(
+pstrn("list_vt(");
+g_ptype<vt>((*0*)); pstrn(")"))
+//
+(* ****** ****** *)
+(* ****** ****** *)
+//
+(*
 HX-2024-09-14:
 Sat 14 Sep 2024 11:40:03 AM EDT
 *)
diff --git a/prelude/DATS/VT/optn000_vt.dats b/prelude/DATS/VT/optn000_vt.dats
index 19f399435..5ed48fc05 100644
--- a/prelude/DATS/VT/optn000_vt.dats
+++ b/prelude/DATS/VT/optn000_vt.dats
@@ -39,6 +39,23 @@ Authoremail: gmhwxiATgmailDOTcom
 (* ****** ****** *)
 (* ****** ****** *)
 //
+(*
+HX:
+This one is also
+implemented in [gdbg000.dats]:
+*)
+#impltmp
+{ vt:vt }
+g_ptype
+<optn_vt(vt)>
+( (*void*) ) =
+(
+pstrn("optn_vt(");
+g_ptype<vt>((*0*)); pstrn(")"))
+//
+(* ****** ****** *)
+(* ****** ****** *)
+//
 #impltmp
 <(*tmp*)>
 optn_vt_nil_
diff --git a/srcgen2/Makefile_xatsopt b/srcgen2/Makefile_xatsopt
index 2c2731b71..5120ec730 100644
--- a/srcgen2/Makefile_xatsopt
+++ b/srcgen2/Makefile_xatsopt
@@ -234,6 +234,10 @@ xdepend_sats
 xdepend_sats: ; $(XATSOPT) --static SATS/xdepend.sats
 ######
 all_sats:: \
+xatsmtp_sats
+xatsmtp_sats: ; $(XATSOPT) --static SATS/xatsmtp.sats
+######
+all_sats:: \
 xatsopt_sats
 xatsopt_sats: ; $(XATSOPT) --static SATS/xatsopt.sats
 ######
diff --git a/srcgen2/SATS/xatsmtp.sats b/srcgen2/SATS/xatsmtp.sats
new file mode 100644
index 000000000..752f422be
--- /dev/null
+++ b/srcgen2/SATS/xatsmtp.sats
@@ -0,0 +1,59 @@
+(***********************************************************************)
+(*                                                                     *)
+(*                         Applied Type System                         *)
+(*                                                                     *)
+(***********************************************************************)
+
+(*
+** ATS/Xanadu - Unleashing the Potential of Types!
+** Copyright (C) 2024 Hongwei Xi, ATS Trustful Software, Inc.
+** All rights reserved
+**
+** ATS is free software;  you can  redistribute it and/or modify it under
+** the terms of  the GNU GENERAL PUBLIC LICENSE (GPL) as published by the
+** Free Software Foundation; either version 3, or (at  your  option)  any
+** later version.
+** 
+** ATS is distributed in the hope that it will be useful, but WITHOUT ANY
+** WARRANTY; without  even  the  implied  warranty  of MERCHANTABILITY or
+** FITNESS FOR A PARTICULAR PURPOSE.  See the  GNU General Public License
+** for more details.
+** 
+** You  should  have  received  a  copy of the GNU General Public License
+** along  with  ATS;  see the  file COPYING.  If not, please write to the
+** Free Software Foundation,  51 Franklin Street, Fifth Floor, Boston, MA
+** 02110-1301, USA.
+*)
+
+(* ****** ****** *)
+//
+(*
+Author: Hongwei Xi
+(*
+Mon Oct  7 08:31:46 PM EDT 2024
+*)
+Authoremail: gmhwxiATgmailDOTcom
+*)
+//
+(* ****** ****** *)
+(* ****** ****** *)
+(*
+HX-2024-10-07:
+For general support
+of meta-programming in ATS3
+*)
+(* ****** ****** *)
+(* ****** ****** *)
+#include
+"./../HATS/xatsopt_sats.hats"
+(* ****** ****** *)
+#define
+ATS_PACKNAME
+"ATS3.XANADU.xatsopt-20220500"
+(* ****** ****** *)
+(* ****** ****** *)
+//
+(* ****************************************** *)
+(* ****************************************** *)
+
+(* end of [ATS3/XATSOPT_srcgen2_SATS_xatsmtp.sats] *)
diff --git a/srcgen2/UTIL/TEST/test01_mydebug.dats b/srcgen2/UTIL/TEST/test01_mydebug.dats
index 06d657bf1..698823ff7 100644
--- a/srcgen2/UTIL/TEST/test01_mydebug.dats
+++ b/srcgen2/UTIL/TEST/test01_mydebug.dats
@@ -49,7 +49,7 @@ datatype ab =
 (* ****** ****** *)
 //
 fun f_ab(x: ab): sint =
-case+ x of A => 0 | B _ => 1 | C() => 2
+case+ x of A => 0 | B _ => 1 // | C() => 2
 //
 (* ****** ****** *)
 (* ****** ****** *)
diff --git a/srcgen2/xats2js/srcgen1/TEST/JS/test11_xats2js.dats b/srcgen2/xats2js/srcgen1/TEST/JS/test11_xats2js.dats
index e0c971b56..77410d030 100644
--- a/srcgen2/xats2js/srcgen1/TEST/JS/test11_xats2js.dats
+++ b/srcgen2/xats2js/srcgen1/TEST/JS/test11_xats2js.dats
@@ -113,7 +113,7 @@ srcgen1\
 "\
 srcgen1\
 /prelude\
-/DATS/CATS/JS/Node/process.dats"
+/DATS/CATS/JS/NODE/process.dats"
 (* ****** ****** *)
 val () =
 mymain() where
diff --git a/srcgen2/xats2js/srcgen1/TEST/JS/test12_xats2js.dats b/srcgen2/xats2js/srcgen1/TEST/JS/test12_xats2js.dats
index 7f8c970a5..e75795097 100644
--- a/srcgen2/xats2js/srcgen1/TEST/JS/test12_xats2js.dats
+++ b/srcgen2/xats2js/srcgen1/TEST/JS/test12_xats2js.dats
@@ -114,7 +114,7 @@ srcgen1\
 "\
 srcgen1\
 /prelude\
-/DATS/CATS/JS/Node/process.dats"
+/DATS/CATS/JS/NODE/process.dats"
 (* ****** ****** *)
 (* ****** ****** *)
 //