Synopsis: improve veriexecgen.8 example Responsible-Changed-From-To: misc-bug-people->gutteridge Responsible-Changed-By: gutteridge%NetBSD.org@localhost Responsible-Changed-When: Tue, 08 Jan 2019 01:32:52 +0000 Responsible-Changed-Why: Take.