free() on a null pointer is a no-op.