/* Copyright (C) 1992, Digital Equipment Corporation                         */
/* All rights reserved.                                                      */
/* See the file COPYRIGHT for a full description.                            */

/* Last modified on Mon Sep 14 10:00:12 PDT 1992 by rustan                   */
/*      modified on Tue Feb 11 14:33:50 PST 1992 by muller                   */

Interface(Csetjmp)
/* Interface(Cstdio) */

