anchor.diff:      false.
   
   find_action([{M,F} = H|_]) when is_atom(M), is_atom(F) -> H;
  -find_action([H|_]) when H==kill; H==shutdown -> H;
   find_action([_|T]) ->
       find_action(T);
   find_action([]) ->
  -    unsubscribe.
  +    no_action.
   
   default_restart() ->
       [{3, 1}, {10, 30}, kill].
  
positive.code: %% Restart specification
  -type maxR()            :: pos_integer().
  -type maxT()            :: pos_integer().
  -type escalation()      :: kill | shutdown | {atom(), atom()}.
  -type restart()         :: [{maxR(), maxT()} | escalation()].
  
  %% Callback for function, not cast-based, reports that
  %% are invoked in-process.
  
negative.code:     lists:foreach(
        fun({R,T}) when is_integer(R), is_integer(T), R > 0, T > 0 ->
                ok;
           ({M,F}) when is_atom(M), is_atom(F) -> ok;
           (_) ->
                erlang:error({invalid_restart_spec, L})
  