I don't like semantics where I have to state that the parameters and the function should be "pure". It should be opposite.
Unfortunately for your sanity, this isn't going to happen. Similarly unlikely is multiple pointer types, which Walter has repeatedly shot down. I'd suggest bringing it back up if and when discussion of D3 begins in earnest.
-Wyatt
