src/sbin/veriexecctl
