On Jan 14, 2009, at 9:55 AM, Dean McNamee wrote: > I commented both bugs with some arguments about why I think > allocation mismatches are important, I agree, and I have also added comments to both bugs. -- Darin