Synopsis: improve veriexecgen.8 example State-Changed-From-To: open->closed State-Changed-By: gutteridge%NetBSD.org@localhost State-Changed-When: Tue, 08 Jan 2019 01:33:17 +0000 State-Changed-Why: Patch applied. Thanks for the PR!