anchor.diff:       ?_assertMatch([0], encdec(?list_of_uint64, [0])),
        ?_assertMatch([1], encdec(?list_of_uint64, [1])),
        ?_assertMatch([1, 1], encdec(?list_of_uint64, [1, 1])),
  -     ?_assertMatch([1, 2, 3], encdec(?list_of_uint64, [1, 2, 3]))
  +     ?_assertMatch([1, 2, 3], encdec(?list_of_uint64, [1, 2, 3])),
  +     ?_assertMatch(
  +        [?min_uint64, ?max_uint64, ?max_uint64, ?min_uint64],
  +        encdec(?list_of_uint64,
  +               [?min_uint64, ?max_uint64, ?min_uint64 - 1, ?max_uint64 + 1]))
       ].
   
   list_of_int8_test_() ->
  
positive.code:      ?_assertMatch([0], encdec(?list_of_uint32, [0])),
       ?_assertMatch([1], encdec(?list_of_uint32, [1])),
       ?_assertMatch([1, 1], encdec(?list_of_uint32, [1, 1])),
       ?_assertMatch([1, 2, 3], encdec(?list_of_uint32, [1, 2, 3]))
      ].
  
  list_of_uint64_test_() ->
  
negative.code:      ?_assertMatch([0], encdec(?list_of_int16, [0])),
       ?_assertMatch([1], encdec(?list_of_int16, [1])),
       ?_assertMatch([1, 1], encdec(?list_of_int16, [1, 1])),
       ?_assertMatch([1, -2, 3], encdec(?list_of_int16, [1, -2, 3])),
       ?_assertMatch(
          [0, ?min_int16, ?max_int16, ?max_int16, ?min_int16],
          encdec(?list_of_int16,
                 [0, ?min_int16, ?max_int16, ?min_int16 - 1, ?max_int16 + 1]))
      ].
  
  list_of_int24_test_() ->
  