pldi14 sec 3 draft1 finally done HOLY GOD NO TIME LEFT