+
+/* Is our record of the last sal we displayed valid? If not, the
+ get_last_displayed_* functions will return NULL or 0, as appropriate. */
+
+bool last_displayed_sal_is_valid (void);
+
+/* Get the pspace of the last sal we displayed, if it's valid, otherwise
+ return nullptr. */
+