/Makefile/1.3/Wed Apr 22 15:23:09 2009//Tnetbsd-10
/veriexecgen.8/1.22/Wed Jul 31 21:50:25 2019//Tnetbsd-10
/veriexecgen.c/1.21/Thu Aug  1 08:51:52 2019//Tnetbsd-10
D