anchor.diff:                [{type,_,'fun',
                   [{type,_,product, ArgTypes},
                    ResType]}]}}, InternalTypes, DArity, ArgUpd)->
  -%    io:format("##########~p~n", [A]),
       {attribute,0,spec,
        {{Fun, Arity-DArity},
         [{type,0,'fun',
  
positive.code:            fun([_pidType | OtherArgs])->
                     [{type,0,worker,[]} | tmap(OtherArgs, IT)]
             end).
  %% -spec delete_vclock(worker(),
  %%                     riakc_pb_socket:bucket() | string(),
  %%                     riakc_pb_socket:key() | string(),
  %%                     vclock:vclock(),
  %%                     riakc_pb_socket:riak_pbc_options(),
  %%                     timeout()) ->
  %%                        ok | {error, term()}.
  
  fix_pool_auto_sp(Sp, IT)->
      fix_sp(Sp, IT, 1,
  
negative.code:        [{call, 0,
           {remote,0,{atom,0,riakc_pb_socket},{atom,0,F}},
           [{var, 0, 'Worker'} | Vars]}]}]}.
  
  pool_auto_fn(F,A)->
      Vars = varlist(A-1),
  