+#include <stdio.h>
+
+
+
+/*****************************************************************************/
+/* data */
+/*****************************************************************************/
+
+
+
+/* Maximum length of an input line and the corresponding char array */
+#define LINEMAX 4095
+#define LINESIZE LINEMAX+1
+
+/* Input line stuff */
+extern char* line;
+extern const char* lptr; /* ### Remove this */
+
+/* Current and next input character */
+extern char CurC;
+extern char NextC;
+
+/* Struct that describes an input file */
+typedef struct IFile IFile;
+struct IFile {
+ unsigned Index; /* File index */
+ unsigned Usage; /* Usage counter */
+ unsigned long Size; /* File size */
+ unsigned long MTime; /* Time of last modification */
+ char Name[1]; /* Name of file (dynamically allocated) */
+};
+
+
+