diff --git a/libguile/print.h b/libguile/print.h
index 268c038e2..99da607c3 100644
--- a/libguile/print.h
+++ b/libguile/print.h
@@ -58,7 +58,9 @@ extern scm_option scm_print_opts[];
 extern SCM scm_print_options (SCM setting);
 extern void scm_intprint (long n, int radix, SCM port);
 extern void scm_ipruk (char *hdr, SCM ptr, SCM port);
+extern void scm_prlist (char *hdr, SCM exp, char tlr, SCM port, int writing);
 extern void scm_iprlist (char *hdr, SCM exp, char tlr, SCM port, int writing);
+extern void scm_prin1 (SCM exp, SCM port, int writing);
 extern void scm_iprin1 (SCM exp, SCM port, int writing);
 extern SCM scm_write (SCM obj, SCM port);
 extern SCM scm_display (SCM obj, SCM port);
@@ -70,7 +72,9 @@ extern void scm_init_print (void);
 extern SCM scm_print_options ();
 extern void scm_intprint ();
 extern void scm_ipruk ();
+extern void scm_prlist ();
 extern void scm_iprlist ();
+extern void scm_prin1 ();
 extern void scm_iprin1 ();
 extern SCM scm_write ();
 extern SCM scm_display ();