anchor.diff:  		[_A0,A1,A2,A3] ->
   		     {f_atom, [try_eval(A1, fun is_atom/1), 
   			      try_eval(A2, fun is_atom/1),
  +			       try_eval_length(A3)]};
  +		[_A0,A1,A2,A3,_A4] ->
  +		    {f_atom, [try_eval(A1, fun is_atom/1), 
  +			      try_eval(A2, fun is_atom/1),
   			      try_eval_length(A3)]}
   	    end
       end.
  
positive.code: 				      true ->
  					  ActualArg;
  				      _ ->
  					  ?debug("nth:\n~p\n", [length(Ps1) + 1]),
  					  fun (P) -> lists:nth(length(Ps1) + 1, P) end
  				  end;
  			      _ ->
  
negative.code: type(erlang, spawn_monitor, 3) -> 
      mfa_type();
  type(erlang, spawn_opt, 4) ->
      {[m_atom, f_atom_type(), any, any], any};
  type(erlang, spawn_opt, 5) ->
      {[any, m_atom, f_atom_type(), any, any], any};
  type(erlang, whereis, 1) ->
  