Testando estado inicial do TxTCP