let fail_sys r = fail (`System r)