anchor.diff:                  end
       end.
   
  -handle_gen_component_message(Message, State, ComponentState) ->
  +-spec handle_gen_component_message(Message::tuple(), Module::module(), Handler::atom(), State::term(), ComponentState) -> ComponentState.
  +handle_gen_component_message(Message, Module, On, State, ComponentState) ->
       {_Options, _Slowest, BPState} = ComponentState,
       case Message of
           {'$gen_component', bp, barrier} ->
  
positive.code:          start/4, start/2,
           start/3]).
  -export([kill/1, sleep/2, runnable/1,
           get_state/1, get_state/2, change_handler/2]).
  -export([bp_set/3, bp_set_cond/3, bp_del/2]).
  -export([bp_step/1, bp_cont/1, bp_barrier/1]).
  
  
negative.code:         {'$gen_component', get_state, Pid} ->
              comm:send_local(
                Pid, {'$gen_component', get_state_response, State}),
              ComponentState;
          {'$gen_component', get_component_state, Pid} ->
              comm:send_local(
                Pid, {'$gen_component', get_component_state_response, {Module, On, ComponentState}}),
              ComponentState
      end.
  
  