> Note that the leak sanitizer doesn't seem to be deterministic.

What do you mean?