diff --git a/examples/ec17.s b/examples/ec17.s
new file mode 100644
index 0000000000000000000000000000000000000000..32ba652550981ef291482594157c3d0ff5fa3e46
--- /dev/null
+++ b/examples/ec17.s
@@ -0,0 +1,2 @@
+MOB R1 3;
+RET R1;
\ No newline at end of file