#ifndef LINEDATA_H
#define LINEDATA_H
#include <stdio.h>
/* Prototypes for functions exported from linedata.c: */
void initialize_line_offsets (void);
void record_line_offset (int line, int offset);
int line_offset (int line);
void dump_line_offsets (char *filename, FILE *stream);
#endif