diff --git a/src/examples/exit.c b/src/examples/exit.c
new file mode 100644
index 0000000000000000000000000000000000000000..e6578969b01a3f427be021a9f15bc5efbf651fdb
--- /dev/null
+++ b/src/examples/exit.c
@@ -0,0 +1,12 @@
+/* exit.c
+
+   Terminates current user program */
+
+#include <syscall.h>
+
+int
+main (int argc, char *argv[])
+{
+  exit (argv[1]);
+  /* not reached */
+}
\ No newline at end of file