/files.vax1k/1.1/Sat Aug 22 11:11:07 1998//
/vax1k_exec.c/1.2/Fri Jan 12 18:00:29 2001//
/vax1k_exec.h/1.1/Sat Aug 22 11:11:07 1998//
/vax1k_subr.c/1.6/Thu Mar 15 11:42:21 2001//
D
