Symbol: pwm_state_valid