--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/libtwamr/namespace.awk	Sun May 05 20:34:55 2024 +0000
@@ -0,0 +1,18 @@
+# This awk script generates namespace.h from namespace.list
+
+BEGIN {
+	print "/* Auto-generated; do not edit! */"
+	print ""
+	print "#ifndef	namespace_h"
+	print "#define	namespace_h"
+	print ""
+}
+
+NF == 1 && $1 !~ /^#/ {
+	printf "#define	%s	amr__%s\n", $1, $1
+}
+
+END {
+	print ""
+	print "#endif"
+}