anchor.diff:      validChildType(ChildType),
       validShutdown(Shutdown, ChildType),
       validMods(Mods),
  -    {ok, #child{name = Name, mfa = Func, restart_type = RestartType,
  +    {ok, #child{name = Name, mfargs = Func, restart_type = RestartType,
   		shutdown = Shutdown, child_type = ChildType, modules = Mods}}.
   
   validChildType(supervisor) -> true;
   validChildType(worker) -> true;
   validChildType(What) -> throw({invalid_child_type, What}).
   
  -validName(_Name) -> true. 
  +validName(_Name) -> true.
   
   validFunc({M, F, A}) when is_atom(M), 
                             is_atom(F), 
  
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:     end;
  
  %%% The requests terminate_child, delete_child and restart_child are 
  %%% invalid for simple_one_for_one supervisors.
  handle_call({_Req, _Data}, _From, State) when ?is_simple(State) ->
      {reply, {error, simple_one_for_one}, State};
  
  