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, false (* NOT set on DoAll *),
      Called_Precond_Generated.set;
      (* DoUnsignedOverflow *)
      DoUnsignedOverflow.name, DoUnsignedOverflow.get, false (* NOT set on DoAll *),
      RTE_UnsignedOverflow_Generated.set ;
    ]