More tinker with execute.c

Larger changes coming shortly.