(* Copyright (C) 1992, Digital Equipment Corporation *) (* Last modified on Fri Aug 7 21:51:54 PDT 1992 by myers *) INTERFACE Debug; PROCEDURE Print (t: TEXT); END Debug.