Re: [mpich-devel] lockcontention3.c bug