Storage manager stuff exported
-------------------------------------------------------------------------- */
Storage manager stuff exported
-------------------------------------------------------------------------- */
extern void performGC(void);
extern void performMajorGC(void);
extern HsInt64 getAllocations( void );
extern void performGC(void);
extern void performMajorGC(void);
extern HsInt64 getAllocations( void );