anchor.diff:  positive_integer(Interarrival) ->
       is_integer(Interarrival) andalso Interarrival > 0.
   
  +maybe_update_interarrival_timer(interarrival, _) ->
  +    gen_server:cast(?SERVER, maybe_update_interarrival_timer).
   %% ------------------------------------------------------------------
   %% gen_server Function Definitions
   %% ------------------------------------------------------------------
  
positive.code: 
  -required_variable(#{name => interarrival, value => 50, verification => positive_integer,
                       description => "a delay between creating the processes for two "
                                      "consecutive users (ms, def: 50ms)"}).
  
  -record(state, {scenario :: amoc:scenario() | undefined,
                  no_of_users = 0 :: user_count(),
  
negative.code: %% ------------------------------------------------------------------
  %% Parameters verification functions
  %% ------------------------------------------------------------------
  -export([maybe_update_interarrival_timer/2,
           positive_integer/1]).
  
  %% ------------------------------------------------------------------
  %% gen_server Function Exports
  %% ------------------------------------------------------------------
  