concrete IdiomSwa of Idiom = CatSwa ** open Prelude, ResSwa in {

  flags optimize=all_subs ;

  
}