CurryInfo: allvalues-4.0.0