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

concrete LangExtraGrc of LangExtra = 
   LangGrc,
   ExtraGrc ;