--- stack/stack.h	2002/03/11 08:53:00	1.11
+++ stack/stack.h	2002/03/14 10:39:11	1.14
@@ -25,6 +25,7 @@
 /* First, define some types. */
 
 struct cons_struct;
+struct symbol_struct;
 
 /* A value of some type */
 typedef struct {
@@ -48,6 +49,7 @@
   union {
     void *ptr;			/* Pointer to the content */
     struct cons_struct *c;	/* ...or a pointer to a cons cell */
+    struct symbol_struct *sym;	/* ...or a pointer to a symbol */
     int i;			/* ...or an integer */
     float f;			/* ...or a floating point number */
   } content;			/* Stores a pointer or an integer */
@@ -85,7 +87,7 @@
   stackitem *gc_ref;
   int gc_limit, gc_count;
 
-  cons *head;			/* Head of the stack */
+  value *head;			/* Head of the stack */
   hashtbl symbols;		/* Hash table of all variable bindings */
   int err;			/* Error flag */
   char *in_string;		/* Input pending to be read */
@@ -116,12 +118,12 @@
 void push_sym(environment*, const char*);
 extern void nl();
 extern void type(environment*);
-void print_h(cons*, int);
+void print_h(value*, int);
 extern void print_(environment*);
 extern void print(environment*);
 extern void princ_(environment*);
 extern void princ(environment*);
-void print_st(cons*, long);
+void print_st(value*, long);
 extern void printstack(environment*);
 extern void swap(environment*);
 extern void rot(environment*);
@@ -164,3 +166,4 @@
 extern void sx_3c3d(environment*);
 extern void sx_3e3d(environment*);
 extern void sx_646976(environment*);
+extern void then(environment*);