URI: 

   DIR CVS
  TEXT Makefile
  TEXT veriexecgen.8
  TEXT veriexecgen.c