miri complains about a memory leak when the program terminates. This may be related to thread-local dtors not running.