diff --git a/test/ikc3/ptr.kc3 b/test/ikc3/ptr.kc3
new file mode 100644
index 0000000..ccdeaff
--- /dev/null
+++ b/test/ikc3/ptr.kc3
@@ -0,0 +1,4 @@
+quote (Ptr) 0
+(Ptr) 0
+quote (Ptr) 1
+(Ptr) 1
diff --git a/test/ikc3/ptr.out.expected b/test/ikc3/ptr.out.expected
new file mode 100644
index 0000000..09090e4
--- /dev/null
+++ b/test/ikc3/ptr.out.expected
@@ -0,0 +1,5 @@
+quote (Ptr) 0
+(Ptr) 0
+quote (Ptr) 1
+buf_parse_ptr: non-null Ptr
+void
diff --git a/test/ikc3/ptr.ret.expected b/test/ikc3/ptr.ret.expected
new file mode 100644
index 0000000..573541a
--- /dev/null
+++ b/test/ikc3/ptr.ret.expected
@@ -0,0 +1 @@
+0