DEBUG_1
DEBUG_1("tcp_rput_data(%d): received segment with urgent "
DEBUG_1("tcp_timer (%d): zero win", sock_id);
DEBUG_1("tcp_shutdown: sock_id %x\n", sock_id);
DEBUG_1("tcp_shutdown: tcp_state %x\n", tcp->tcp_state);