pub type Result_ok_type<V> = V;