anchor.diff:  
   %%-------------------------------------------------------------------
   %%
  -%% Now, the specifc domains
  +%% Now, the specific domains
   %%
   %%-------------------------------------------------------------------
   
  
positive.code: -spec byte() -> domrec(integer()).
  byte() ->
      int(0, 255).
  
  %% @doc The domain of positive integers.
  %% @spec pos_integer() -> domain(pos_integer())
  
negative.code: pick(F,SampleSize) when erlang:is_function(F,0) ->
      pick(F(),SampleSize);
  %%
  %% Simple values that generate themselves
  %%
  pick(V,_) when is_atom(V);
  	       is_number(V);
  