BAD: service code was not available for lookup in state.
BIG: the code was too big (beyond the maximum allowed size W_C)
⊖: the size of the digest (refinement output) would cross the acceptable limit.
⊚: the number of exports made was invalidly reported.
Execution succesful. The result will be followed by an octet sequence.
∞: the machine went out-of-gas during execution.
☇: unexpected program termination.
The tag to describe the [
WorkExecResult] union.