diff --git a/cspell.json b/cspell.json
index e115c5a7..3ee82f47 100644
--- a/cspell.json
+++ b/cspell.json
@@ -44,6 +44,7 @@
     "mult",
     "namegen",
     "nams",
+    "nats",
     "numop",
     "nums",
     "oper",
diff --git a/tests/golden_tests/run_file/nat_add_num.hvm b/tests/golden_tests/run_file/nat_add_num.hvm
new file mode 100644
index 00000000..f1c67dd6
--- /dev/null
+++ b/tests/golden_tests/run_file/nat_add_num.hvm
@@ -0,0 +1,4 @@
+(Nat.add (Nat.zero)   x) = x
+(Nat.add (Nat.succ p) x) = (Nat.succ (Nat.add p x))
+
+main = (Nat.add #4 0)
diff --git a/tests/snapshots/run_file__nat_add_num.hvm.snap b/tests/snapshots/run_file__nat_add_num.hvm.snap
new file mode 100644
index 00000000..f9a1ddb9
--- /dev/null
+++ b/tests/snapshots/run_file__nat_add_num.hvm.snap
@@ -0,0 +1,9 @@
+---
+source: tests/golden_tests.rs
+input_file: tests/golden_tests/run_file/nat_add_num.hvm
+---
+Lazy mode:
+(Nat.succ (Nat.succ (Nat.succ (Nat.succ 0))))
+
+Strict mode:
+(Nat.succ (Nat.succ (Nat.succ (Nat.succ 0))))