--# -path=.:../abstract:../common:prelude

concrete AllDut of AllDutAbs = 
  LangDut,
  IrregDut,
  ExtraDut
  ** 
{
--{} ;

}