db_readline        64 ddb/db_extern.h int db_readline(char *, int);
db_readline        61 ddb/db_lex.c   	i = db_readline(db_line, sizeof(db_line));