/files.vax1k/1.1/Wed Nov 14 14:37:22 2001//
/vax1k_exec.c/1.2/Thu Mar 14 01:26:51 2002//
/vax1k_exec.h/1.2/Thu Mar 14 01:26:51 2002//
/vax1k_subr.c/1.3/Sun Nov  6 22:21:33 2005//
D
