tsciic_write_byte
sc->sc_i2c_tag.ic_write_byte = tsciic_write_byte;
int tsciic_write_byte(void *, uint8_t, int);