\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}