def q: $A $F $E $1C $7 $1 $B $7 $5 $14 $A redef r: $A $F $E $1C $7 $1 $B $7 $5 $14 $A $64 $0