Code: int udp_to_ssc_task(struct udp_pcb * udp, uthread_id_t id) { struct packet pkt; struct fox_system * sys = &fox_sys; int next_seq, recv_err, pkt_size; int n; printf(" - %s: started.\n", __FUNCTION__); pkt_size = sizeof(pkt.seq)+sys->out_data_size; for (;;) { /* stay here while a connection is not established */ while (!connected) { uthread_sleep(10); } /* reset counters */ next_seq = 1; recv_err = 0; while ...