char * pspp_locale_to_utf8 (const gchar *text, gssize len, GError **err);
-void connect_help (GladeXML *xml);
+void connect_help (GladeXML *);
+
+void reference_manual (GtkMenuItem *, gpointer);
+
+struct getl_interface;
+void execute_syntax (struct getl_interface *sss);
+
#endif