diff --git a/fco2/testcases/stop.occ b/fco2/testcases/stop.occ
new file mode 100644
index 0000000..7e6a884
--- /dev/null
+++ b/fco2/testcases/stop.occ
@@ -0,0 +1,3 @@
+PROC main (CHAN OF BYTE in, out, err)
+  STOP
+: