Still no call-by-value