anchor.diff:  	What ->
   	    {error, What}
       end.
  -    
   
   %%% ---------------------------------------------------
   %%% 
   %%% Callback functions.
   %%% 
   %%% ---------------------------------------------------
  +-type call() :: 'which_children' | 'count_children' | {_, _}.	% XXX: refine
  +-spec handle_call(call(), term(), state()) -> {'reply', term(), state()}.
  +
   handle_call({start_child, EArgs}, _From, State) when ?is_simple(State) ->
  -    #child{mfa = {M, F, A}} = hd(State#state.children),
  +    #child{mfargs = {M, F, A}} = hd(State#state.children),
       Args = A ++ EArgs,
       case do_start_child_i(M, F, Args) of
   	{ok, Pid} ->
  
positive.code:     end.
  
  restart(simple_one_for_one, Child, State) ->
      #child{mfa = {M, F, A}} = Child,
      Dynamics = ?DICT:erase(Child#child.pid, State#state.dynamics),
      case do_start_child_i(M, F, A) of
  	{ok, Pid} ->
  
negative.code: %%          Note that the child is *always* terminated in some
  %%          way (maybe killed).
  %%-----------------------------------------------------------------
  
  -type term_err() :: 'not_found' | 'simple_one_for_one'.
  -spec terminate_child(sup_ref(), term()) -> 'ok' | {'error', term_err()}.
  terminate_child(Supervisor, Name) ->
      call(Supervisor, {terminate_child, Name}).
  
  -spec which_children(sup_ref()) -> [{term(), child_id(), worker(), modules()}].
  which_children(Supervisor) ->
      call(Supervisor, which_children).
  
  