savejmp           514 ddb/db_command.c 	label_t		*savejmp;
savejmp           525 ddb/db_command.c 	savejmp = db_recover;
savejmp           545 ddb/db_command.c 	db_recover = savejmp;