diff --git a/testdata/parser/counterexamples/integer_specification.pdl b/testdata/parser/counterexamples/integer_specification.pdl
new file mode 100644
index 0000000000000000000000000000000000000000..07c1185d7efddc971274d205eb72edbbc8a28bbf
--- /dev/null
+++ b/testdata/parser/counterexamples/integer_specification.pdl
@@ -0,0 +1,10 @@
+#version 1
+
+int check_integer_specs() {
+    int a = 0xFF;
+    // no octal support, but thats fine
+    int b = 0xxxxFF;
+    int c = 0x1x2X3x4X5x6X7x8X; // Wut
+    int d = 1FF;
+    return a;
+}
\ No newline at end of file