CurryInfo: flatcurry-5.0.0 / FlatCurry.Read