anchor.diff:  -define(N_BMPString, 30).
   
   -define(TAG_PRIMITIVE(Num),
  -	case S#state.erule of
  -	    ber ->
  -		#tag{class='UNIVERSAL',number=Num,type='IMPLICIT',form=0};
  -	    _ -> []
  -	end).
  +	#tag{class='UNIVERSAL',number=Num,type='IMPLICIT',form=0}).
   -define(TAG_CONSTRUCTED(Num),
  -	case S#state.erule of
  -	    ber ->
  -		#tag{class='UNIVERSAL',number=Num,type='IMPLICIT',form=32};
  -	    _ -> []
  -	end).
  +	#tag{class='UNIVERSAL',number=Num,type='IMPLICIT',form=32}).
   
   -record(newt,{type=unchanged,tag=unchanged,constraint=unchanged,inlined=no}). % used in check_type to update type and tag
    
  
positive.code:      {'ABSTRACT-SYNTAX',
        #objectclass{fields=[{fixedtypevaluefield,
  			    id,
  			    #type{tag=?TAG_PRIMITIVE(?N_OBJECT_IDENTIFIER),
  				  def='OBJECT IDENTIFIER'},
  			    'UNIQUE',
  			    'MANDATORY'},
  			   {typefield,'Type','MANDATORY'},
  			   {fixedtypevaluefield,
  			    property,
  			    #type{tag=?TAG_PRIMITIVE(?N_BIT_STRING),
  				  def={'BIT STRING',[]}},
  			    undefined,
  			    {'DEFAULT',
  
negative.code: 	    [] -> 'ASN1_OPEN_TYPE';
  	    _ -> {typefield,'Type'}
  	end,
      ObjIdTag = [{'UNIVERSAL',8}],
      C1TypeTag = [#tag{class='UNIVERSAL',
  		      number=6,
  		      type='IMPLICIT',
  		      form=0}],
      TypeIdentifierRef=#'Externaltypereference'{module=ModuleName,
  					       type='TYPE-IDENTIFIER'},
      ObjectIdentifier =
  