>The only question I have concerns the >lazy mutex initialization vs. the eager initialization >as discussed in the Bugzilla report. Eager initialization seems to be fine, and the proposals for lazy initializations are both more complex and less elegant. -benjamin