Index: doc/rob_thesis/examples/variadic/sum1.c
===================================================================
--- doc/rob_thesis/examples/variadic/sum1.c	(revision 74933396698c5746d8db9582869740d0dbc1a8f4)
+++ doc/rob_thesis/examples/variadic/sum1.c	(revision 74933396698c5746d8db9582869740d0dbc1a8f4)
@@ -0,0 +1,8 @@
+int sum(void){ return 0; }        // (0)
+forall(ttype Params | { int sum(Params); })
+int sum(int x, Params rest) { // (1)
+  return x+sum(rest);
+}
+int main() {
+  printf("%d\n", sum(10, 20, 30, 40, 50, 60));
+}
Index: doc/rob_thesis/examples/variadic/sum2.c
===================================================================
--- doc/rob_thesis/examples/variadic/sum2.c	(revision 74933396698c5746d8db9582869740d0dbc1a8f4)
+++ doc/rob_thesis/examples/variadic/sum2.c	(revision 74933396698c5746d8db9582869740d0dbc1a8f4)
@@ -0,0 +1,10 @@
+int sum(int x, int y){
+  return x+y;
+}
+forall(ttype Params | { int sum(int, Params); })
+int sum(int x, int y, Params rest) {
+  return sum(x+y, rest);
+}
+int main() {
+  printf("%d\n", sum(10, 20, 30, 40, 50, 60));
+}