Programming Assignment #2
=========================

Due 4/29 at 11:59pm

1) Choose either VST or Iris. 

2) Prove the correctness of a program (e.g., in C, 
   if you chose VST in 1) that hasn't yet been proved 
   correct in your tool of choice.