Random.xs:13: warning: format not a string literal and no format arguments