Re: [nhc-users] pointers < 2^31?