Pointer permission syntax

[pieter-bos]

What should be the syntax for the location in a permission assertion about pointers?

dereferenced	pointer value
p	&p
*p	p
p[i]	&p[i]
*(p+i)	p+i

Implementation-wise the pointer value is much easier, since it does not require introspecting the different kinds of dereferencing (subscript, deref)