simplify MayFail example