\begin{code}
#include "rtsdefs.h"

void
ErrorHdrHook (FILE *where)
{
    fprintf(where, "\nFail: ");
}
\end{code}