(* Copyright (c) 1992 by Carnegie Mellon University *)

