On Fri, 2017-06-02 at 21:37 -0700, Kees Cook wrote:> > Patches 3 and 4 need some (minor?) adjustmentsIt's currently a bug fix. Doing something further would be more thanfixing the bug and should probably be separate.