Update allocs.h