anchor.diff:  defvalpart -> 'DEFVAL' '{' integer '}' : {defval, val('$3')}.
   defvalpart -> 'DEFVAL' '{' atom '}' : {defval, val('$3')}.
   defvalpart -> 'DEFVAL' '{' '{' defbitsvalue '}' '}' : {defval, '$4'}.
  -defvalpart -> 'DEFVAL' '{' quote atom '}' 
  -     : {defval, make_defval_for_string(line_of('$1'), lrev(defval_atom, val('$3')),
  -				       val('$4'))}.
  -defvalpart -> 'DEFVAL' '{' quote variable '}' 
  -     : {defval, make_defval_for_string(line_of('$1'), lrev(defval_variable, val('$3')),
  -				       val('$4'))}.
  -defvalpart -> 'DEFVAL' '{' string '}' 
  -     : {defval, lrev(defval_string, val('$3'))}.
  +defvalpart -> 'DEFVAL' '{' quote atom '}' : 
  +	      {defval, make_defval_for_string(line_of('$1'), 
  +					      lreverse(defvalpart_quote_atom, val('$3')),
  +					      val('$4'))}.
  +defvalpart -> 'DEFVAL' '{' quote variable '}' : 
  +	      {defval, make_defval_for_string(line_of('$1'), 
  +					      lreverse(defvalpart_quote_variable, val('$3')),
  +					      val('$4'))}.
  +defvalpart -> 'DEFVAL' '{' string '}' : 
  +	      {defval, lreverse(defvalpart_string, val('$3'))}.
   defvalpart -> '$empty' : undefined.
   
   defbitsvalue -> defbitsnames : '$1'.
  
positive.code: 
  statusv1 -> atom : statusv1('$1').
  
  referpart -> 'REFERENCE' string : lrev(refer, val('$2')).
  referpart -> '$empty' : undefined.
  
  
  
negative.code:                 Not = make_notification('$1','$3','$5', '$7', '$8', '$9'),
                  {Not, line_of('$2')}.
  
  objectspart -> 'OBJECTS' '{' objects '}' : lreverse(objectspart, '$3').
  objectspart -> '$empty' : [].
  
  objects -> objectname : ['$1'].
  