extern void *stgMallocWords(int n, char *msg);
extern void *stgReallocBytes(void *p, int n, char *msg);
extern void *stgReallocWords(void *p, int n, char *msg);
extern void *stgMallocWords(int n, char *msg);
extern void *stgReallocBytes(void *p, int n, char *msg);
extern void *stgReallocWords(void *p, int n, char *msg);
extern void barf(char *s, ...) __attribute__((__noreturn__)) ;
extern void belch(char *s, ...);
extern void barf(char *s, ...) __attribute__((__noreturn__)) ;
extern void belch(char *s, ...);
extern nat stg_strlen(char *str);
/*Defined in Main.c, but made visible here*/
extern void stg_exit(I_ n) __attribute__((noreturn));
extern nat stg_strlen(char *str);
/*Defined in Main.c, but made visible here*/
extern void stg_exit(I_ n) __attribute__((noreturn));