db_inputchar 63 ddb/db_extern.h int db_inputchar(int); db_inputchar 337 ddb/db_input.c while (!db_inputchar(cngetc()))