void initialize (struct command_line_processor *, int argc, char **argv);
void de_initialize (void);
void psppire_quit (void);
void initialize (struct command_line_processor *, int argc, char **argv);
void de_initialize (void);
void psppire_quit (void);