Some work on EPT with pass-by-reference