A study of evaluation order semantics in expressions with side effects.