Symbol: control_run