Type Alias MachineStatus

MachineStatus:
    | { hostCallIndex: U64; status: typeof HOST }
    | { address: U64; status: typeof FAULT }
    | { status: typeof OK | typeof HALT | typeof PANIC | typeof OOG }