19.2.2 More deterministic semantics