let make_opt l u = try Some (make l u) with Bad _ -> None