
#define RESERVED_ID           65535
#define MAXLINELENGTH         1024

// for debugging
extern S32 debug_print_lines;

S32 update_record_header(S32 tag, U32 ptr);
void report_error(char *err);
