Synopsis: don't store 64 bit pointers in 32 bit integers State-Changed-From-To: open-analyzed State-Changed-By: dgaudet State-Changed-When: Sat Apr 19 14:36:17 PDT 1997 State-Changed-Why: Thanks for the patch. I have submitted it for consideration in 1.2b9. Dean