-extern void barf(char *s, ...) __attribute__((__noreturn__)) ;
-extern void belch(char *s, ...);
-extern void prog_belch(char *s, ...);
+extern void *stgCallocBytes(int n, int m, char *msg)
+ GNUC3_ATTRIBUTE(__malloc__);
+
+extern void stgFree(void* p);
+
+/* -----------------------------------------------------------------------------
+ * Misc other utilities
+ * -------------------------------------------------------------------------- */