diff --git a/tests/issues/issue413.icry b/tests/issues/issue413.icry
new file mode 100644
index 00000000..a1082248
--- /dev/null
+++ b/tests/issues/issue413.icry
@@ -0,0 +1,3 @@
+0x0 / 0x0
+pdiv 0x0 0x0
+pmod 0x0 0x0
diff --git a/tests/issues/issue413.icry.stdout b/tests/issues/issue413.icry.stdout
new file mode 100644
index 00000000..4a6fbdd0
--- /dev/null
+++ b/tests/issues/issue413.icry.stdout
@@ -0,0 +1,7 @@
+Loading module Cryptol
+
+division by 0
+
+division by 0
+
+division by 0