--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/control.h	Fri Oct 19 14:06:22 2007 +0200
@@ -0,0 +1,10 @@
+#ifndef CONTROL_H
+#define CONTROL_H
+
+extern int control_init();
+extern int control_readline();
+extern int control_rldef();
+extern int control_readint();
+extern int control_readfile();
+
+#endif