Re #8326. exec was public for a reason.