Sigh, I thought I could keep this file private to the RTS, but sadly
it's needed in order to #include RtsFlags.h, and we advertise
RtsFlags.h as a way to tweak flags through defaultsHook(). Oh well.
/* -----------------------------------------------------------------------------
/* -----------------------------------------------------------------------------
+ * $Id: Rts.h,v 1.21 2002/12/12 15:03:42 simonmar Exp $
*
* (c) The GHC Team, 1998-1999
*
*
* (c) The GHC Team, 1998-1999
*