Dutch call-by-value: translation to other languages