+/* Find the signalled thread. In case there's more than one signalled
+ thread, prefer the current thread, if it is signalled. If no thread was
+ signalled, default to the current thread, unless it has exited, in which
+ case return NULL. */
+
+extern thread_info *gcore_find_signalled_thread ();
+