extern void __decodeDouble_2Int (I_ *man_sign, W_ *man_high, W_ *man_low, I_ *exp, StgDouble dbl);
extern void __decodeFloat_Int (I_ *man, I_ *exp, StgFloat flt);
-#if defined(WANT_DOTNET_SUPPORT)
-#include "DNInvoke.h"
-#endif
-
/* Initialising the whole adjustor thunk machinery. */
extern void initAdjustor(void);