let generating_opts =
[ (* DoSignedOverflow *)
DoSignedOverflow.name, DoSignedOverflow.get, true (* set on DoAll *),
RTE_Signed_Generated.set;
(* DoMemAccess *)
DoMemAccess.name, DoMemAccess.get, true,
RTE_MemAccess_Generated.set;
(* DoDivMod *)
DoDivMod.name, DoDivMod.get, true,
RTE_DivMod_Generated.set;
(* DoDownCast *)
DoDownCast.name, DoDownCast.get, true,
RTE_DownCast_Generated.set;
(* DoCalledPrecond *)
DoCalledPrecond.name, DoCalledPrecond.get, true,
Called_Precond_Generated.set;
(* DoUnsignedOverflow *)
DoUnsignedOverflow.name, DoUnsignedOverflow.get, false (* NOT set on DoAll *),
RTE_UnsignedOverflow_Generated.set ;
]