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

void
defaultsHook (void)
{ /* this is called *after* RTSflags has had
     its defaults set, but *before* we start
     processing the RTS command-line options.

     This default version does *nothing*.
     The user may provide a more interesting
     one.
  */
}
\end{code}