anchor.diff:  defvalpart -> 'DEFVAL' '{' atom '}' : {defval, val('$3')}.
   defvalpart -> 'DEFVAL' '{' '{' defbitsvalue '}' '}' : {defval, '$4'}.
   defvalpart -> 'DEFVAL' '{' quote atom '}' 
  -     : {defval, make_defval_for_string(line_of('$1'), lists:reverse(val('$3')),
  +     : {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'), lists:reverse(val('$3')),
  +     : {defval, make_defval_for_string(line_of('$1'), lrev(defval_variable, val('$3')),
   				       val('$4'))}.
   defvalpart -> 'DEFVAL' '{' string '}' 
  -     : {defval, lists:reverse(val('$3'))}.
  +     : {defval, lrev(defval_string, val('$3'))}.
   defvalpart -> '$empty' : undefined.
   
   defbitsvalue -> defbitsnames : '$1'.
  
positive.code: 
  statusv1 -> atom : statusv1('$1').
  
  referpart -> 'REFERENCE' string : lists:reverse(val('$2')).
  referpart -> '$empty' : undefined.
  
  
  
negative.code: 
  traptype -> objectname 'TRAP-TYPE' 'ENTERPRISE' objectname varpart
  	    description referpart implies integer :
              Trap = make_trap('$1', '$4', lrev(trap, '$5'), 
                               '$6', '$7', val('$9')),
              {Trap, line_of('$2')}.
  
  