anchor.diff:  simple_sync_get_next3(Config) when is_list(Config) ->
       process_flag(trap_exit, true),
       put(tname, ssgn3),
  -    p("starting with Config: ~p~n", [Config]),
  +    ?IPRINT("starting with Config: "
  +            "~n      ~p", [Config]),
       Self  = self(), 
       Msg   = simple_sync_get_next3, 
       Fun   = fun() -> Self ! Msg end,
  
positive.code: sas_verify_vbs([], Exp) ->
      {error, {expected_vbs, Exp}};
  sas_verify_vbs([#varbind{oid = Oid}|Vbs], [any|Exp]) ->
      p("verified [any] oid ~w", [Oid]),
      sas_verify_vbs(Vbs, Exp);
  sas_verify_vbs([#varbind{oid = Oid, value = Value}|Vbs], [Oid|Exp]) ->
      p("verified oid ~w [~p]", [Oid, Value]),
      sas_verify_vbs(Vbs, Exp);
  sas_verify_vbs([#varbind{oid = Oid, value = Value}|Vbs], [{Oid,Value}|Exp]) ->
      p("verified oid ~w and ~p", [Oid, Value]),
      sas_verify_vbs(Vbs, Exp);
  sas_verify_vbs([Vb|_], [E|_]) ->
      {error, {unexpected_vb, Vb, E}}.
  
negative.code: 
  init_manager(AutoInform, Config) ->
  
      ?IPRINT("init_manager -> entry with"
              "~n   AutoInform: ~p"
              "~n   Config:     ~p", [AutoInform, Config]),
  
      %% -- 
      %% Start node
  