This code is only used if @_INFO_MARKING@ is defined.
\begin{code}
+#include "SMmarkDefs.h"
+
#if defined(_INFO_MARKING)
\end{code}
\begin{code}
/* #define MARK_REG_MAP -- Must be done on command line for threaded code */
#include "SMinternal.h"
-#include "SMmarkDefs.h"
#if defined(GRAN)
extern P_ ret_MRoot, ret_Mark;