Negative translations and call-by-value