/files.vax1k/1.2/Wed Aug 29 03:43:53 2001//Tnetbsd-7
/vax1k_exec.c/1.18/Fri Mar  7 01:33:44 2014//Tnetbsd-7
/vax1k_exec.h/1.8/Sat Aug 15 23:39:35 2009//Tnetbsd-7
D
