On Tue, 06 May 2008 17:50:31 +0800 Li Zefan <email@example.com> wrote:
I have a vague memory that the "|" was deliberate. Most of the time,
"!PageTail" will be false so most of the time we won't take the first
branch so it's probably worth omitting it and always doing the pointer
It's a somewhat dopey trick and shouldn't have been done without a comment.
otoh maybe it was a typo.