Geoff Leyland wrote: > Could any of the recent commits have had a (positive) effect on > a patch for sinking ADDOV/SUBOV? Particularly 834ff6d3? I don't think so. The patch fixed a problem that only occurs if you sink a closure object. Not something that could be an input or output of ADDOV/SUBOV. --Mike