pldi14 section 2 first draft done (whew)