As alluded to in workers/51957, nearly all of this is about getting
the PS2 stack right.

This applies on top of, and partly reverses, the lex.c hunk of, workers/51985.