Index: doc/rob_thesis/examples/tuples/named.c
===================================================================
--- doc/rob_thesis/examples/tuples/named.c	(revision af68f0aaa97e163696767618f6faf47775f97d9f)
+++ doc/rob_thesis/examples/tuples/named.c	(revision af68f0aaa97e163696767618f6faf47775f97d9f)
@@ -0,0 +1,6 @@
+typedef [int x, int y] Point2D;
+Point2D p1, p2;
+int main() {
+  p1.x + p1.y + p2.x + p2.y;
+  p1.0 + p1.1 + p2.0 + p2.1;  // equivalent
+}