---

1

Now in the EECS department at the University of California at Berkeley.

2

Now in the CS department at Cornell University

3

We intend to check for writes to {\tt const} data at compile time eventually.