debugnet_ack_output
error = debugnet_ack_output(pcb, seqno);
int debugnet_ack_output(struct debugnet_pcb *, uint32_t seqno /*net endian*/);