adding http://www.cs.cmu.edu/~crary/papers/2009/excon-rev.elf as ex1.elf
copying ex1.elf into ex2.elf
operational semantics