-\begin{code}
-#include "rtsdefs.h"
-
-void
-PreTraceHook (StgInt fd)
-{
-/* By default, a trace msg doesn't have a header (nor a footer) */
-#if 0
- const char msg[]="Trace On:\n";
- write(fd,msg,sizeof(msg)-1);
-#endif
-}
-
-void
-PostTraceHook (StgInt fd)
-{
-#if 0
- const char msg[]="\nTrace Off.\n";
- write(fd,msg,sizeof(msg)-1);
-#endif
-}
-\end{code}