/sicstus.def/1.2/Thu Oct 21 17:29:36 1993 Thu Oct 21 17:29:35 1993//
