anchor.diff:           ,to_pkts/3
            ]).
   
  +-ifdef(TEST).
   -include_lib("proper/include/proper.hrl").
  -
  +-endif.
   
   -spec new() -> buf().
   new() ->
  
positive.code:     io_lib:format("~4.10.0B-~2.10.0B-~2.10.0B ~2.10.0B:~2.10.0B:~2.10.0B"
                    "Z+00:00",
                    [Y,M,D, H,MM,S]).
  
negative.code:             end
      end.
  
  -ifdef(TEST).
  
  prop_push_msgs() ->
      ?FORALL(MsgList, list(g_log_msg()),
              begin
  