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