cec_pin_high
cec_pin_high(pin);
cec_pin_high(pin);
cec_pin_high(pin);
cec_pin_high(pin);
cec_pin_update(pin, cec_pin_high(pin), true);
cec_pin_high(pin);
cec_pin_high(pin);
cec_pin_high(pin);
cec_pin_high(pin);
cec_pin_high(pin);
cec_pin_high(pin);
if (!cec_pin_high(pin)) {