diff --git a/spdl/onetrace.spdl b/spdl/onetrace.spdl
new file mode 100644
index 0000000..26ba9c1
--- /dev/null
+++ b/spdl/onetrace.spdl
@@ -0,0 +1,29 @@
+usertype String;
+
+const Alice,Bob,Charlie: Agent;
+const Hallo: String;
+
+protocol onetrace(I)
+{
+	role I
+	{
+		var input: String;
+
+		read_1(I,I, input);
+		send_2(I,I, Hallo);
+		read_3(I,I, input);
+	}
+}
+
+run onetrace.I(Alice);
+run onetrace.I(Alice);
+run onetrace.I(Alice);
+run onetrace.I(Alice);
+
+run onetrace.I(Alice);
+run onetrace.I(Alice);
+run onetrace.I(Alice);
+run onetrace.I(Alice);
+
+run onetrace.I(Alice);
+run onetrace.I(Alice);