, ( "ddump-flatC", setDumpFlag Opt_D_dump_flatC)
, ( "ddump-foreign", setDumpFlag Opt_D_dump_foreign)
, ( "ddump-inlinings", setDumpFlag Opt_D_dump_inlinings)
, ( "ddump-flatC", setDumpFlag Opt_D_dump_flatC)
, ( "ddump-foreign", setDumpFlag Opt_D_dump_foreign)
, ( "ddump-inlinings", setDumpFlag Opt_D_dump_inlinings)