anchor.diff:    ?SET(NewId, rseq,   {RemoteSeq, 1}),
     ?SET(NewId, socket_type, accept),
     ?SET(NewId, parent, Id),
  -  ?APPLY(sent_syn_ack, [NewId]),
  +  ?APPLY(send_syn_ack, [NewId]),
     ?SET(NewId, tcp_state, syn_rcvd).
   
   
  
positive.code:   ?MATCH(Id, ?APPLY(spawn_socket, [])),
    ?SET(Id, rip,   RemoteIp),
    ?SET(Id, rport, RemotePort),
    ?MATCH(Port, ?APPLY(sent_syn, [Id])),
    ?SET(Id, tcp_state, syn_sent),
    ?SET(Id, socket_type, connect),
    ?SET(Id, port, Port),
  
negative.code:   ?INC(Id, seq),
    ?RET(ok).
  
  send_syn_ack_callouts(S, [Id]) ->
    Sock = get_socket(S, Id),
    ?MATCH(Packet, ?APPLY(sent, [Id])),
    ?ASSERT(?MODULE, check_packet, [Packet, '_', Sock#socket.rseq, [ack, syn]]),
  