From 77abdc0a9d87ec1d0a4e7d0cc0365a2be93591c4 Mon Sep 17 00:00:00 2001
From: sbosse <sbosse@uni-bremen.de>
Date: Mon, 21 Jul 2025 23:15:26 +0200
Subject: [PATCH] Mon 21 Jul 22:43:21 CEST 2025

---
 js/sql/check | 13 +++++++++++++
 1 file changed, 13 insertions(+)
 create mode 100644 js/sql/check

diff --git a/js/sql/check b/js/sql/check
new file mode 100644
index 0000000..1e420d1
--- /dev/null
+++ b/js/sql/check
@@ -0,0 +1,13 @@
+require('./c2');
+open(process.argv[2]);
+
+console.log(SQLITE_VERSION)
+if (0) {
+  console.log(memset)
+  console.log(sqlite3pager_open);
+}
+if (1) {
+  var iRef = ref(0);
+  sqlite3Randomness(4,iRef);
+  console.log(($(iRef)>>>0).toString(16))
+}