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

/* Last modified on Fri Aug 17 19:18:17 1990 by muller        */

Problem reported by Thomas Roemke <modula-3@uni-paderborn.de>
