(define picnic-version "1.3")