Re: [GHC] #9656: Process and thread init/deinit hooks for C libraries