I merged some recent changes from our internal tree, and there's some
bitrot; I haven't looked at what's wrong yet.  But if anyone is
interested, here's the patch as it stands.

This patch includes prologue-value.[ch].