this function is no longer used elsewhere, and moving it reduces the
number of source files specific to the malloc implementation.