Is the second element returned by \Xi a gas or a machine state?

[pirapira]

In master, we have two equations about the execution function \Xi.

(σ', g', s, l, r, o) ≡ Ξ(σ,g,I)

and

Ξ(σ, g, I) ≡ X₀,₁,₂,₄((σ, μ, A⁰, I))

According to the first equation, the second element of the return value of \Xi is a number. According to the second, the second element of the return value is a machine state. This inconsistency needs to be resolved somehow.

[pirapira]

The first equation has been updated since then.