CurryInfo: printf-3.0.0