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

/* Last modified on Mon Feb 12 15:38:57 1990 by kalsow     */
/*      modified on Fri Nov  3 11:31:28 1989 by muller     */

/* If you want to change the marker, you also have to change the file
   report_coverage.c. */

char header[]  = "<<<<Coverage 1.0";
char trailer[] = "Coverage 1.0>>>>";