/* * TCP input routine, follows pages 65-76 of RFC 793 very closely. */