Function lean_decode_io_error 

pub unsafe extern "C" fn lean_decode_io_error(
    errnum: c_int,
    fname: b_lean_obj_arg,
) -> lean_obj_res