diff --git a/src/examples/echo.c b/src/examples/echo.c
new file mode 100644
index 0000000000000000000000000000000000000000..1b136f21cd748e5c2563d9418b41f09c3303e01d
--- /dev/null
+++ b/src/examples/echo.c
@@ -0,0 +1,14 @@
+#include <stdio.h>
+#include <syscall.h>
+
+int
+main (int argc, char **argv)
+{
+  int i;
+
+  for (i = 0; i < argc; i++)
+    printf ("%s ", argv[i]);
+  printf ("\n");
+
+  return EXIT_SUCCESS;
+}