db_random         114 ddb/db_hangman.c 	stab = &db_symtabs[db_random(nsymtabs)];
db_random         123 ddb/db_hangman.c 	dfa.cnt = db_random(nsyms);