--- stack/stack.h	2002/03/12 14:53:19	1.13
+++ stack/stack.h	2002/03/14 10:39:11	1.14
@@ -166,3 +166,4 @@
 extern void sx_3c3d(environment*);
 extern void sx_3e3d(environment*);
 extern void sx_646976(environment*);
+extern void then(environment*);