I think we go out of our way to do deeps copies such that method bodies can mutate their arguments. If you didn't find that to be the case, we should fix that :)