The execfile() docs imply it acts on locals same as exec. But in truth

it acts more like assigning to keys in locals(), i.e. modifications to
function locals aren't reflected in the locals when execfile() returns.