This re-arranges the alloc exec Run implementation to have validation
hoisted as high as possible.