db_read_line      540 ddb/db_command.c 		(void) db_read_line();
db_read_line       36 ddb/db_lex.h   int db_read_line(void);