Index: doc/theses/rob_schluntz/examples/variadic/print.c
===================================================================
--- doc/theses/rob_schluntz/examples/variadic/print.c	(revision 90152a4860529aff7214be01cd22abd37012cd19)
+++ doc/theses/rob_schluntz/examples/variadic/print.c	(revision 90152a4860529aff7214be01cd22abd37012cd19)
@@ -0,0 +1,11 @@
+forall(otype T, ttype Params |
+  { void print(T); void print(Params); })
+void print(T arg, Params rest) {
+  print(arg);
+  print(rest);
+}
+void print(const char * x) { printf("%s", x); }
+void print(int x) { printf("%d", x);  }
+int main() {
+  print("x = ", 123, ".");
+}