Re: [jhc] foreign ptr bugs