Symbol: CONTROL_PIN