intrace           235 ddb/db_output.c 	static int intrace;
intrace           237 ddb/db_output.c 	if (intrace) {
intrace           242 ddb/db_output.c 	intrace = 1;
intrace           247 ddb/db_output.c 	intrace = 0;