anchor.diff:          true ->
               true;
           {false, _CheckStack} = R ->
  -            %ct:pal("Type check failed: ~.0p", [_CheckStack]),
  +            %%ct:pal("Type check failed: ~.0p", [_CheckStack]),
               R
       end.
   
  
positive.code:                     {false, [{Value, not_same_arity, T} | CheckStack]}
              end;
          false ->
              {false, [{Value, not_a_tuple, T} | CheckStack]}
      end.
  
  check_tuple_iter([], [], _CheckStack, _ParseState, _Count) ->
  
negative.code:         {record, FieldList} when is_list(FieldList) ->
              check_record_fields(Value, Type, CheckStack, ParseState);
          reference ->
              check_basic_type(Value, Type, CheckStack, ParseState,
                               fun erlang:is_reference/1, no_reference);
          tid ->
              % built-in < R14; otherwise ets:tid()
              inner_check(Value, integer, CheckStack, ParseState);
  