db_print_position  531 ddb/db_command.c 		if (db_print_position() != 0)
db_print_position   85 ddb/db_examine.c 			if (db_print_position() == 0) {
db_print_position  172 ddb/db_examine.c 			if (db_print_position() != 0)
db_print_position   38 ddb/db_output.h int db_print_position(void);
db_print_position   86 ddb/db_trap.c  			if (db_print_position() != 0)