diff --git a/docs/milestone2.dot b/docs/milestone2.dot
index 9ae28b05f4c7f1309ff1c615cc30a00237e2b6b3..0074d8dfe0c68569d0c2753e9c50d54d33760d72 100644
--- a/docs/milestone2.dot
+++ b/docs/milestone2.dot
@@ -2,8 +2,9 @@ digraph {
 	graph [rankdir=LR];
 subgraph complete {
 	 node [color="gray",fontcolor="gray"];
-	 regex_gen;
 	 glue;
+	 regex_svm;
+	 regex_rvm;
 }
 /* The end result of the milestone, along with the subtasks listed */
 milestone2 [color="green",style="filled"];
@@ -18,6 +19,9 @@ tests -> milestone2;
 
 regex_gen -> regex;
 regex_driver -> regex;
+regex_svm -> regex_driver;
+regex_rvm -> regex_driver;
+regex_svm_actions -> regex_driver;
 llk_driver -> llk;
 llk_gen -> llk;
 
diff --git a/docs/rvm_sample_input.rvm b/docs/rvm_sample_input.rvm
new file mode 100644
index 0000000000000000000000000000000000000000..07fdf60f82befdaa01789d244e60c076ac11ba1f
--- /dev/null
+++ b/docs/rvm_sample_input.rvm
@@ -0,0 +1,17 @@
++C
+int foo() {
+    return 42;
+}
+
++SVM /svm/simple
+@input ""
+@output "()"
+0 ACCEPT
+
++SVM /svm/string
+@input "quux"
+@outut "(<5555>)"
+1 MARK
+2 CAPTURE
+2 ACCEPT
+