anchor.diff:    terminate/2,
     code_change/3]).
   
  +-ifdef(TEST).
  +-include_lib("proper/include/proper.hrl").
  +-include_lib("eunit/include/eunit.hrl").
  +-export([initial_state/0, command/1, precondition/2, postcondition/3, next_state/3]).
  +-endif.
  +
   -define(SERVER, ?MODULE).
   
   -record(state, {vips = dict:new(), vip_counter = dict:new()}).
  +
  +-type vips() :: dict:dict().
  +-type ip_port() :: {tuple(), integer()}.
   
   %%%===================================================================
   %%% API
  
positive.code: %%%-------------------------------------------------------------------
  -module(minuteman_vip_server).
  -author("sdhillon").
  
  -behaviour(gen_server).
  
  %% API
  -export([start_link/0, push_vips/1, get_backend/1, get_backend/2]).
  
  %% gen_server callbacks
  -export([init/1,
  
negative.code:   VipDict = dict:from_list(Vips),
    gen_server:cast(?SERVER, {push_vips, VipDict}),
    ok.
  
  stop() -> 
    gen_server:call(?MODULE, stop).
  
  %%--------------------------------------------------------------------
  %% @doc
  %% Starts the server
  