As I mentioned in the "Have you looked as those new keywords to help the 2005 C++ compiler produce better code?", VC++ 2005 will now have that keyword in C and (!) C++. In an internal Discution List, someone pointed to this interesting paper: Restricted Pointers in C.