re_read
if (re_read) { /* not first time */
if (re_read) {
read_dbf(re_read)
int re_read; /* zero means first time */
extern void re_read(void);
re_read();