db_end_line       147 ddb/db_command.c 	    db_end_line(12);
db_end_line       173 ddb/db_examine.c 				db_end_line(width);
db_end_line        41 ddb/db_output.h void db_end_line(int);