Symbol: max_tcpci_write16