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

void
ErrorHdrHook (StgInt fd)
{
    const char msg[]="\nFail: ";
    write(fd,msg,sizeof(msg)-1);
}
\end{code}