Concerning r6387, haven't we already determined that these registers are 24-bit wide?