--# -path=.:../abstract:../common concrete AllGre of AllGreAbs = LangGre, ExtraGre ** {} ;