On Sat, 20 Jan 2024 16:56 +0000 (GMT Standard Time), John Dallman wrote: > VSI could presumably port [valgrind], but it is clearly a long > way from being the most urgent thing for them to do. On the other hand, it would be something else that they could get essentially for free with a Linux port.