…
..
Makefile	…
veriexecctl.8	…
veriexecctl.c	…
veriexecctl.h	…
veriexecctl_conf.l	…
veriexecctl_parse.y	…