Right, but the question isn't why didn't the mutator see zero; the question is why did the mutator see something different on one machine compared to another. Like I said, I think that the only possibility is things like the result of getrusage().