/patch-main_c/1.1/Sun Mar 26 00:36:15 2000//
/patch-prim-sys_c/1.1/Sun Mar 26 00:36:15 2000//
/patch-stdenv_h/1.1/Sun Mar 26 00:36:15 2000//
D
