src/usr.sbin/veriexecgen