Software for Belay+ OSDI12 is easy to build/run

Software for this paper was very easy to find, build, and run, and is
quite well documented.