#include "globals.h"
#include "lispregs.h"
#include "interrupt.h"
+#include "genesis/static-symbols.h"
+#include "primitive-objects.h"
+
+
/* When we need to do command input, we use this stream, which is not
* in general stdin, so that things will "work" (as well as being