\begin{code} #include "rtsdefs.h" void OutOfHeapHook (request_size, heap_size) W_ request_size; /* in bytes */ W_ heap_size; /* in bytes */ { fprintf(stderr, "Heap exhausted;\nwhile trying to allocate %lu bytes in a %lu-byte heap;\nuse `+RTS -H' to increase the total heap size.\n", request_size, heap_size); } \end{code}