The Stanford checker found this. -- Dave Hansen haveblue@us.ibm.com