anchor.diff:      end.
   
   
  --spec start_timer(server(), pos_integer(), pid(), term()) -> reference().
  +-spec start_timer(timeserver(), pos_integer(), pid(), term()) -> reference().
   start_timer(Server, Time, Dest, Msg) ->
       case Server of
           native -> erlang:start_timer(Time, Dest, Msg);
  
positive.code: 
  
  %% Return the number of timers that fired
  -spec fire(server()) -> pos_integer().
  fire(Server) ->
      %% Always step before firing timers, bad things will
      %% not happen if fire is called immidiately after step.
  
negative.code:     gen_server:start_link(?MODULE, Mode, []).
  
  
  -spec native() -> timeserver().
  native() ->
      native.
  
  
  -spec send_after(timeserver(), pos_integer(), pid(), term()) -> reference().
  send_after(Server, Time, Dest, Msg) ->
      case Server of
          native -> erlang:send_after(Time, Dest, Msg);
  