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

concrete AllLav of AllLavAbs =
  LangLav,
  ExtraLav
  ** {

flags
  coding = utf8 ;

}