xmalloc.h update