anchor.diff:  %%  The radius private API
   %%----------------------------------------------------------------------
   
  --spec port(Pid :: pid()) -> Port :: pos_integer().
  +-spec port(Pid) -> Port
  +	when
  +	Pid :: pid(),
  +	Port :: pos_integer().
   %% @doc Return the `Port' which the RADIUS server is listening on.
   %% @private
   port(Pid) ->
  
positive.code: %%  The radius public API
  %%----------------------------------------------------------------------
  
  -spec start(Module :: atom(), Port :: non_neg_integer()) ->
  	{ok, Pid :: pid()}
  		| {error, Reason :: already_present
  		| {already_started, Pid :: pid()} | term()}.
  %% @doc Start a RADIUS protocol server using the callback module
  %% 	`Module' listening on `Port'.
  %%
  
negative.code: 		is_integer(Port), is_tuple(Address) ->
  	supervisor:start_child(radius, [[Module, Port, Address]]).
  
  -spec start_link(Module, Port) ->
  		{ok, Pid} | {error, Reason}
  	when
  		Module :: atom(),
  		Port :: non_neg_integer(),
  		Pid :: pid(),
  		Reason :: already_present | {already_started, Pid} | term().
  %% @doc Start a RADIUS protocol server as part of a supervision tree
  %% 	 using the callback module `Module' listening on `Port'.
  %%
  