/vax1k_exec.h/1.1/Fri Aug 21 13:25:47 1998//
/files.vax1k/1.2/Wed Aug 29 14:37:01 2001//
/vax1k_exec.c/1.6/Tue Nov 20 08:46:33 2001//
D
