Symbol: mark_termination_in_progress