Don't rely on realloc() to follow POSIX in handling a NULL pointer