Update alloc.h