static char rcsidsource [] = "$Header:source.h 12.0$";
/* Copyright (c) 1982 Regents of the University of California */

/* static char sccsid[] = "@(#)source.h 1.2 1/18/82"; */

/*
 * Definitions for interfacing with source management routines.
 */

char *cursource;		/* current source file name */
LINENO lastlinenum;		/* last source line number */

skimsource();			/* get seek pointers to source lines */
chkline();			/* checks to see that a line number is valid */
printlines();			/* print out from first line to second */
