+/** Resize an allocated block of memory.
+ * @param[in] orig Original block to resize.
+ * @param[in] size Minimum size for new block.
+ * @param[in] file Name of file doing reallocation (ignored).
+ * @param[in] line Line number doing reallocation (ignored).
+ */
+void* DoRealloc(void *orig, size_t size, const char *file, int line)
+{
+ void* t = realloc(orig, size);
+ if (!t)
+ (*noMemHandler)();
+ return t;
+}
+#endif