Re: taocp v3 p32