Call by value-result

Redirect to:

• Evaluation strategy#Call by copy-restore