CurryInfo: icurry-3.2.0