There's no reason for these values to be known anywhere else.  After
doing this, executor/execdefs.h is vestigial and can be removed.