+ { "pretty-printers", 0, 0, 0, as_a_scm_t_subr (gdbscm_pretty_printers),
+ "\
+Return the list of global pretty-printers." },
+
+ { "set-pretty-printers!", 1, 0, 0,
+ as_a_scm_t_subr (gdbscm_set_pretty_printers_x),
+ "\
+Set the list of global pretty-printers." },
+