1. d72d16e Add proper type-checking for pointer additiion; before, we were accepting by Eli Friedman ยท 16 years ago