/files.vax1k/1.1.1.1/Mon May 20 08:20:57 2002/-ko/
/vax1k_exec.c/1.1.1.1/Mon May 20 08:20:57 2002/-ko/
/vax1k_exec.h/1.1.1.1/Mon May 20 08:20:57 2002/-ko/
/vax1k_subr.c/1.1.1.1/Mon May 20 08:20:57 2002/-ko/
D
