\begin{code} #ifdef CONCURRENT /* the whole thing! */ #include "rtsdefs.h" void NoRunnableThreadsHook (void) { fprintf(stderr, "No runnable threads!\n"); } #endif /* CONCURRENT */ \end{code}