[tex-k] Exercise 8.6 of the TeXbook

[Hanson Char]

Hi,

I think I may have found an error in the answer of exercise 8.6 on page 305 of the TeXbook. 

> EXERCISE 8.6
> Assume that the category codes of plain TEX are in force, except that the characters
> ^^A, ^^B, ^^C, ^^M belong respectively to categories 0, 7, 10, and 11. What tokens are produced from the (rather ridiculous) input line ‘^^B^^BM^^A^^B^^C^^M^^@\M␣’? 
> (Remember that this line is followed by ⟨return⟩, which is ^^M; and recall that ^^@ denotes the ⟨null⟩ character, which has category 9 when INITEX begins.)

The current answer says the result is seven tokens as follows: 

    ^^B_7 ^^B_7 M_11 ^^B ␣_10 ^^M_11 M^^M

But shouldn't it rather be:

    ^^B_7 ^^B_7 M_11 ^^B ^^C_10 ^^M_11 M^^M

?  Only the category code of ^^C is changed to 10, but the character code remains the same (ie 3).

Thoughts?

Regards,
Hanson