-/* (Checked) dynamic allocation: */
-extern void *stgMallocBytes(int n, char *msg);
+/* -----------------------------------------------------------------------------
+ * (Checked) dynamic allocation
+ * -------------------------------------------------------------------------- */
+
+extern void *stgMallocBytes(int n, char *msg)
+ GNUC3_ATTRIBUTE(__malloc__);
+
+extern void* stgMallocBytesRWX(int len)
+ GNUC3_ATTRIBUTE(__malloc__);
+