/* V13 already committed on main. This write is intentionally omitted. */