(* COPYRIGHT (c) 1995 AT&T Bell Laboratories.
 *
 *)
