CurryInfo: random-3.0.0