diff --git a/fco2/testcases/_bad_tlp.occ b/fco2/testcases/_bad_tlp.occ
new file mode 100644
index 0000000..d60aa1c
--- /dev/null
+++ b/fco2/testcases/_bad_tlp.occ
@@ -0,0 +1,3 @@
+PROC foo (INT x)
+  SKIP
+:
diff --git a/fco2/testcases/_bad_tlp2.occ b/fco2/testcases/_bad_tlp2.occ
new file mode 100644
index 0000000..ab9f104
--- /dev/null
+++ b/fco2/testcases/_bad_tlp2.occ
@@ -0,0 +1,3 @@
+PROC foo (CHAN OF BYTE blah)
+  SKIP
+:
diff --git a/fco2/testcases/_bad_tlp3.occ b/fco2/testcases/_bad_tlp3.occ
new file mode 100644
index 0000000..e9403c6
--- /dev/null
+++ b/fco2/testcases/_bad_tlp3.occ
@@ -0,0 +1,3 @@
+PROC P (CHAN OF BYTE in, keyboard, out)
+  SKIP
+:
diff --git a/fco2/testcases/tlp.occ b/fco2/testcases/tlp.occ
new file mode 100644
index 0000000..061b253
--- /dev/null
+++ b/fco2/testcases/tlp.occ
@@ -0,0 +1,8 @@
+PROC tlp (CHAN OF BYTE err, out, keyboard)
+  WHILE TRUE
+    BYTE b:
+    SEQ
+      keyboard ? b
+      err ! b
+      out ! (b + 1)
+: