diff --git a/tests/issues/padding.icry b/tests/issues/padding.icry
new file mode 100644
index 00000000..9bc9fca5
--- /dev/null
+++ b/tests/issues/padding.icry
@@ -0,0 +1 @@
+groupBy`{5}([1 .. 24] # zero)
diff --git a/tests/issues/padding.icry.stdout b/tests/issues/padding.icry.stdout
new file mode 100644
index 00000000..b6bae14d
--- /dev/null
+++ b/tests/issues/padding.icry.stdout
@@ -0,0 +1,5 @@
+Loading module Cryptol
+Assuming a = 5
+[[0x01, 0x02, 0x03, 0x04, 0x05], [0x06, 0x07, 0x08, 0x09, 0x0a],
+ [0x0b, 0x0c, 0x0d, 0x0e, 0x0f], [0x10, 0x11, 0x12, 0x13, 0x14],
+ [0x15, 0x16, 0x17, 0x18, 0x00]]