anchor.diff:  getopt_categories(Opt) ->
       case Opt of
           {raw, _, _, _} -> #{socket => []};
  +        {raw, {_, _, _}} -> #{socket => []};
           _ -> opt_categories(Opt)
       end.
   
  
positive.code: 
  socket_setopt(Socket, {raw, Level, Key, Value}) ->
      socket:setopt(Socket, Level, Key, Value);
  socket_setopt(Socket, {Tag, Value}) ->
      case socket_opt() of
          #{Tag := {Level, Key}} ->
  
negative.code: setopt_categories(Opt) ->
      case Opt of
          {raw, _, _, _} -> #{socket => []};
          {raw, {_, _, _}} -> #{socket => []};
          {Tag, _} -> opt_categories(Tag);
          _ -> ignore
      end.
  