+#if HAVE_IEEEFP_H
+#include <ieeefp.h>
+#endif
+
+
+#include <libpspp/i18n.h>
+#include <data/dictionary.h>
+#include <data/file-handle-def.h>
+#include <libpspp/getl.h>
+#include <data/file-name.h>
+#include <data/procedure.h>
+#include <data/settings.h>
+#include <data/variable.h>
+#include <gsl/gsl_errno.h>
+#include <language/command.h>
+#include <language/lexer/lexer.h>
+#include <language/prompt.h>
+#include <libpspp/compiler.h>
+#include <libpspp/message.h>
+#include <libpspp/version.h>
+#include <math/random.h>
+#include <output/output.h>
+#include <ui/debugger.h>
+#include <ui/terminal/msg-ui.h>
+#include <ui/terminal/read-line.h>
+#include <ui/terminal/terminal.h>
+#include <ui/terminal/terminal-opts.h>
+#include <ui/command-line.h>
+#include <ui/source-init-opts.h>
+
+#include "fatal-signal.h"
+#include "progname.h"
+#include "relocatable.h"