@@ -249,0 +261,4 @@
+    // Check `size_t_bits`
+    if !(size_t_bits == 32 || size_t_bits == 64) {
+        println!("size_t_bits cannot be {size_t_bits}. Must be 32 or 64.");
+        return; // Terminate

@@ -25,1 +18,4 @@
+# Run the .py with an actual Python interpreter.
+# This is the test oracle.
+echo ">>>>>> Running $demo with the Python interpreter to get test answers"

@@ -26,0 +21,4 @@
+echo ">>>>>> Running $demo with the Python interpreter to get test answers"
+./interpret_demo.py "$demo" > interpreted.log
+
+# Test NAC3 on 32-bits and 64-bits code output, with and without --lli,

@@ -74,2 +74,4 @@
     mcpu: Option<String>,
 
+    /// The number of bits of `size_t` of the NAC3 code generator.
+    // NOTE: Don't set a default value (e.g., `default_value = usize::BITS`). Force the user to specify to make it clear to them the `size_t` they will be using.