anchor.diff:  
   -compile(export_all).
   
  +-define(Mach_Eps, 1.1920928955078125e-7).
   -define(NotYetImplemented(Cond,Prop),?IMPLIES(not (Cond),Prop)).
   
   %% eqc_gen:sample(protobuffs_eqc:field_num()).
  
positive.code: 			     {{N, RData}, <<>>} = protobuffs:decode(list_to_binary(Bin), Type),
      			 in_range(Data,Type) andalso
      			     FieldNum=:=N andalso
      			     (Data==RData orelse foreign_type(Type,Data,RData))  
  	     end).
  
  prop_encode_decode() ->
  
negative.code:     	    begin
          		{{N, RData}, <<>>} = protobuffs:decode(list_to_binary(protobuffs:encode(FieldNum, Data, Type)), Type),
          		FieldNum=:=N andalso 
          		(compare(Data,RData) orelse foreign_type(Type,Data,RData))  
      	    end
  	    )).
  
  