--- /dev/null
+/*
+ * (c) The University of Glasgow, 2000-2002
+ *
+ * Win32 Console API helpers.
+ */
+#ifndef __CONSUTILS_H__
+#define __CONSUTILS_H__
+extern int set_console_buffering__(int fd, int cooked);
+extern int set_console_echo__(int fd, int on);
+extern int get_console_echo__(int fd);
+#endif