1. bugs to fix for CIVL:
 - report file not found nicer
 - report concrete # procs in message passing required nicer
 - check args to int div/mod nonnegative
 - check out other uses of "bundle"

2. SARL: do what Green does:
  - slice
  - persistent storage of cache
  - renaming the variables

3. Make it easy to specify a dependence relation with a library. Use this in POR. Example: send and recv are independent (usually).

4. Add scope parameter to $heap?  meaning: pointers in this heap never leave scope

5. Add visitor pattern to model?

6. No static escape analysis needed -- use dynamic escape analysis, read Matt's FMSD paper

7. Consider implementing a fence or barrier or other structures as primitives

8. Get examples from [wiki:Examples], compile