-extern void *stgReallocWords(void *p, int n, char *msg);
-extern void barf(char *s, ...) __attribute__((__noreturn__)) ;
+extern void *stgCallocBytes(int n, int m, char *msg) GNUC3_ATTRIBUTE(__malloc__);
+extern void stgFree(void* p);
+
+extern void barf(char *s, ...) GNU_ATTRIBUTE(__noreturn__);