allocate.h: Stop needlessly returning a void value in __DO_ALLOCATOR