pub open spec fn spec_expect<T, E: Debug>(result: Result<T, E>, msg: &str) -> T
result is Ok,
{ result->Ok_0 }