anchor.diff:  
   
   %% gen_server.
  +
  +-record(state, {
  +          uid = undefined,
  +          uidNumber = undefined,
  +          gidNumber = undefined,
  +          homeDirectory = undefined,
  +          user_ids = [],
  +          token = [],
  +          credentials = [],
  +          sessions = []
  +}).
   
   init([]) ->
   	{ok, #state{}, 5000}.
  
positive.code:     %TODO: implement
      false.
  
  update_token(_TokenMap, State) ->
      % TODO: implement
      {ok, State}.
  
  remove_session_from_list(MonitorRef,Sessions) ->
      lists:keydelete(MonitorRef,2,Sessions).
  
negative.code:     MRef = monitor(process, Session),
      NewSessions = [ {Session, MRef} | lists:keydelete(Session,1,Sessions) ],
      {reply, ok, State#state{sessions=NewSessions}};
  handle_call({add_credential_map,CredentialMap},_From,State) ->
      {ok, NewState} = add_credential_to_state(CredentialMap,State),
      {reply, ok, NewState};
  handle_call(_Request, _From, State) ->
  	{reply, ignored, State}.
  