type RunState = RunStateRunning | RunStateAborted | RunStateSettled;