tcp_keyed_hash
return (tcp_keyed_hash(local_inc, V_ts_offset_secret,
new_isn = (tcp_seq)tcp_keyed_hash(inc, V_isn_secret,