--# -path=.:..:present:prelude

concrete PeaceSpoken_Fin of PeaceSpoken = Peace_Fin;