anchor.diff:  	    {special_words()},
   	    begin
   		Decoded = special_words_pb:decode_message(special_words_pb:encode_message(SpecialWords)),
  -		lists:foldl(
  -		  fun({E,D}, Acc) -> E =:= D andalso Acc end, 
  -		  true, 
  -		  lists:zip(tuple_to_list(SpecialWords),tuple_to_list(Decoded)))
  -	    end).
  +		compare_messages(SpecialWords,Decoded)
  +	    end).
  
positive.code:     default(undefined,{location,Str,Str}).
  
  prop_protobuffs_simple() ->
      ?FORALL({Name, Address, PhoneNumber,Age,Location},
  	    {string(),string(),string(),sint32(),location()},
  	    begin
  		Msg = {person,Name,Address,PhoneNumber,Age,Location},
  		Msg == simple_pb:decode_person(simple_pb:encode_person(Msg))
  	    end).
  
  phone_type() ->
  
negative.code:     ?FORALL({Repeater},
  	    {repeater_person()},
  	    begin
  		Decoded = repeater_pb:decode_person(repeater_pb:encode_person(Repeater)),
  		compare_messages(Repeater,Decoded)
  	    end).
  
  prop_protobuffs_packed_repeated() ->
      ?FORALL({Repeater},
  	    {repeater_person()},
  	    begin
  		Decoded = packed_repeated_pb:decode_person(packed_repeated_pb:encode_person(Repeater)),
  		compare_messages(Repeater,Decoded)
  	    end).
  
  special_words() ->
  