There is no need to set `uuid` to NULL as `ctx` itself will always be freed and `uuid` will not be accessible anyway.