⁵Of course, many trace operations might be later optimised away; in this case, the guard resulting from the second promote would be unlikely to be so optimised.