let
other_opts =
[
ConstFold
.name,
ConstFold
.get;
Warn
.name,
Warn
.get
(* Print not added *)
]