18.2.2 More deterministic semantics