Symbol: I2C4_K