If the port is disconnected then what stops concurrent senders from seeing an inconsistent count here between th efetch_add and the store?