time_travel_should_print_bc_msg
extern int time_travel_should_print_bc_msg;
if (time_travel_should_print_bc_msg)
time_travel_should_print_bc_msg = 1;
int time_travel_should_print_bc_msg;
time_travel_should_print_bc_msg = 0;