pub type Result_err_type<E> = E;