anchor.diff:            when is_tuple(GenComponentMessage),
                  '$gen_component' =:= element(1, GenComponentMessage) ->
               NewComponentState =
  -                handle_gen_component_message(GenComponentMessage, State,
  -                                             ComponentState),
  +                handle_gen_component_message(GenComponentMessage, Module, On,
  +                                             State, ComponentState),
               loop(Module, On, State, NewComponentState);
           % handle failure detector messages
           {ping, Pid} ->
  
positive.code:         {'$gen_component', get_state, Pid} ->
              comm:send_local(
                Pid, {'$gen_component', get_state_response, State}),
              ComponentState
      end.
  
  
negative.code:          start/4, start/2,
           start/3]).
  -export([kill/1, sleep/2, runnable/1,
           get_state/1, get_state/2,
           get_component_state/1, get_component_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]).
  
  