--- stack/stack.h	2002/03/12 14:06:05	1.12
+++ 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 */
@@ -164,3 +166,4 @@
 extern void sx_3c3d(environment*);
 extern void sx_3e3d(environment*);
 extern void sx_646976(environment*);
+extern void then(environment*);