1 files changed, 11 insertions, 0 deletions
diff --git a/stdlib/header.c b/stdlib/header.c
new file mode 100644
index 000000000..aba20e62a
--- /dev/null
+++ b/stdlib/header.c
@@ -0,0 +1,11 @@
+char * runtime_name = "cslrun";
+char * errmsg = "Cannot exec cslrun.\n";
+
+int main(argc, argv)
+     int argc;
+     char ** argv;
+{
+  execvp(runtime_name, argv);
+  write(2, errmsg, sizeof(errmsg)-1);
+  return 2;
+}