def from_os.fin
import bend-kit-random@0.1.0.1/random.bend as Randomimport Base
156def from_os.fin(e: Result<&1, &1, U32 & String, U32 & U32 & U32 & U32>) ->
157 Result<&1, &1, U32 & String, Rng>:
158 match e:
159 case Fail{err}:
160 Fail{err}
161 case Done{(a, b, c, d)}:
162 Done{from_state(a, b, c, d)}