directly instead of taking the address of a pointer. A return value
of NULL means the allocation failed. Updated all callers
appropriately.