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

void
PreTraceHook (FILE *where)
{
    fprintf(where, "Trace On:\n");
}

void
PostTraceHook (FILE *where)
{
    fprintf(where, "\nTrace Off.\n");
}
\end{code}