anchor.diff:        false
     end.
   
  -close_adapt(S, [_, Id]) -> 
  +close_adapt(S, [_, Id]) ->
     case get_socket(S, Id) of
       #socket{socket = Socket} ->
         [Socket, Id];
  
positive.code: do_close_callouts(S, [Id]) ->
    Sock = get_socket(S, Id),
    case Sock#socket.tcp_state of
      close_wait -> 
        ?APPLY(sent_fin, [Id]),
        ?SET(Id, tcp_state, last_ack);
      established -> 
        ?APPLY(sent_fin, [Id]),
        ?SET(Id, tcp_state, fin_wait_1);
      _ ->
  
negative.code: 
  %% --- fin ---
  
  fin_states() ->
    [established, fin_wait_1, fin_wait_2].
  
  