diff --git a/testdata/parser/positive/11.pdl b/testdata/parser/positive/11.pdl
new file mode 100644
index 0000000000000000000000000000000000000000..43fea6c6c4c47556c13694ea8a084d31ce21be93
--- /dev/null
+++ b/testdata/parser/positive/11.pdl
@@ -0,0 +1,17 @@
+#version 100
+
+primitive main(in a, out b) {
+	msg x = null;
+	while (x == null) {
+		synchronous {
+			if (fires(a))
+				x = get(a);
+		}
+	}
+	while (true) {
+		synchronous {
+			if (fires(b))
+				put(b, x);
+		}
+	}
+}
\ No newline at end of file