anchor.diff:  -spec byte() -> domrec(integer()).
   byte() ->
       int(0, 255).
  +
   
   %% @doc The domain of positive integers.
   %% @spec pos_integer() -> domain(pos_integer())
  
positive.code: 
  %%-------------------------------------------------------------------
  %%
  %% Now, the specifc domains
  %%
  %%-------------------------------------------------------------------
  
  
negative.code: 
  %%
  %% Given a list, shrink HowMany of it's elements,
  %% but don't reduce the list length.
  %%
  -spec shrink_list_members([domain(T)],[T],non_neg_integer(),non_neg_integer()) ->
      {[domain(T)],[T]}.
  